静态测试工具 - 论证报告 - 图文

LDRA的测试软件被定位成验证DO-178B标准的工具，同样，它本身也应当被作为个案来验证。这就是说，当评估工具的价值的同时，还必须考虑供应商的协助水平，以便对工具进行认证。作为随LDRA Testbed DO-178B分析包而来的一部分，LDRA将帮助客户和FAA评估LDRA公司和LDRA工具包。Penny & Giles公司公司已经进行了这个过程。

3.1.3.3.3 “神州”飞船项目软件测试

中国的载人航天工程于1992年1月被正式批准，并命名为“921工程”载人飞船工程由航天员、飞船应用、载人飞船、运载火箭、发射场、着陆场和航天测控与通信等七大系统构成。飞船从论证到发射，共要进行四次无人实验，两次载人飞行，要想发射载人飞船，最起码要有三个条件：一、性能可靠的大推力火箭；二、完备的维持生命系统；三、万无一失的卫星回收技术。在这些复杂的电子系统中，系统的可靠性是关键，而构成这些系统的系统软件又是该系统关键之关键，在这之初，欧洲阿丽亚那5的失败就是软件导致的沉痛教训。我国的载人航天工程从项目成立开始就按照软件工程化思路来进行管理和设计，严格对软件进行质量过程控制。为此，航天集团专门成立了软件专家小组，设立了七个航天软件评测机构，对不同的关键性软件进行测试和评估。

LDRA Testbed软件测试工具成功用于载人航天工程软件测试。由于载人航天工程中各主要系统采用了大量的计算机技术，因此软件质量已成为整个系统质量的关键，整个项目开发过程中采用严格的软件工程管理，从需求分析、设计到软件测试。

为了保证实时性与可靠性，大多数系统采用汇编语言与C语言混合方式编程。而为了保证软件质量，要求按高指标软件测试标准进行。经过深入的工具评估，航天科技集团订购了超过50多个使用许可的LDRA Testbed/TBrun/TBsafe软件测试工具包。同时为了满足嵌入式系统测试的需要，定制了RTMonitor实时监控器，配合LDRA Testbed进行系统级软件测试。目前这个工具包在整个项目各个开发部门与软件测试部门得到广泛使用，为载人飞船开发提供关键的静态分析、动态和单元测试功能。

10

3.2 总体实施方案

该方案实施主要分析下面几个步骤：

1. 需求追踪 2. 测试管理 3. 编码规则检查 4. 数据流分析 5. 软件度量分析 6. 单元集成测试 7. 代码覆盖率分析

8. RTInsightPro嵌入式系统测试

3.2.1 需求追踪

需求管理现在被认为是进行项目管理的一种最好的方法。它甚至在以下标准中被强制要求实施：CMMI level 3及以上，航空电子设备验证（DO-178B，DO-254），航天，国防，铁路运输（EN-50128），汽车（IEC 61508），医疗系统和电信系统。

可以通过多种方式得到需求：WORD或者PDF文档，Excel表格；需求管理工具，例如DOORS，RequisitePRO以及用户自己开发的工具或者BUG跟踪系统。

TBreq通过和包含了LDRA Testbed和TBrun(单元测试工具)的LDRA工具包的集成， 能够提供一套完整的解决方案来帮助测试团队实现测试规格说明,单元测试场景,测试数据以及代码覆盖率验证与您的高层次的设计规格说明之间的映射。TBreq直接和你的管理工具（DOORS，ReqPro，Word，Excel）接口来保证在整个软件生命周期中实现需求跟踪以及保证对于需求覆盖的完整性。

在LDRA工具包里，TBreq根据需求直接生

成测试规格说明和可执行的测试用例。测试结果直接自动的返回到需求管理工

11

具，从而实现“round-trip的需求跟踪验证”。

TBreq的一个主要的特点是它从任一需求管理工具和数据源中获取需求（高层的需求，派生出来的需求，低层的需求）的能力；同时它提供一个直观的接口进行跟踪，产生测试用例和需求验证。所有的这些特点使得TBreq成为当今市场上最有效的针对需求管理的解决方案。

由验证权威机构给出的资质认可可以使用工具的结果和工具进行的验证减少或者替代相关的手工劳动；

TBreq符合绝大多数的苛刻性质量标准：CMMI，适合航空电子设备的DO-178B和DO-254标准，适合铁路运输的EN-50128和适合汽车行业的IEC 61508标准。同时工具也符合空中客车的A380和A340的项目标准，还有F-35联合攻击战斗机及其它的一些重要项目的标准。

TBreq能够根据所有这些质量标准进行调整，同时LDRA也能够在相关的资质认证过程中提供帮助LDRA能够提供DO-178B的工具资质验证包来帮助实现该验证过程；

TBreq提供了质量和验证标准对于实现多层次，双向需求追踪和冲突分析所必须的特性：

? 和大多数主流的第三方需求管理工具实现集成来增加需求的可见性，并

且实现从设计，编码到测试的追踪 ? 生成需求测试追踪矩阵

? 从源代码和需求中生成测试规格说明，同时自动生成测试用例

? 和LDRA Testbed（实现代码评审，质量评审，设计评审和覆盖率分析），

TBrun（实现自动单元测试，包括测试驱动生成，测试用例生成，测试报告生成，主机/目标机测试和回归测试）无缝集成 ? 需求的测试覆盖分析和冲突分析 ? 自动侦测需求，源代码和测试数据的变更

? Upstream和Downstream的冲突分析能够进行回归风险管理

3.2.2 测试管理

12

TBmanager 为TBreq带来了新的全球化的协助能力。主要特点包括： ? TBmanager支持对开发和验证工作

空间的分配，从而允许管理人员根据编码，分析和测试任务来进行相应的需求分派。TBmanager和LDRA的分析和测试确认工具Testbed和TBrun的无缝集成，能够提供全面的

? 通过安全的网络对TBmanager进行

访问，可以支持工作空间的现场或者非现场方式的登入/登出操作。同时提

供一个管理“电子公告牌”，对在全球任一地方进行的开发和确认工作进行“实况查看”。

3.2.3 编码规则检查

对于程序员来说，能工作的代码并不等于“好”的代码。“好”代码的指标很多，包括易读、易维护、易移植和可靠等。其中，可靠性非常重要，尤其是在那些对安全性要求很高的系统中，如飞行器、汽车和工业控制中。这些系统的特点是：只要工作稍有偏差，就有可能造成重大损失或者人员伤亡。一个不容易出错的系统，除了要有很好的硬件设计（如电磁兼容性），还要有很健壮或者说“安全”的程序。

鉴于编码规则的重要性，无论是国内还是国外相关组织、行业或企业都制定了相应的软件编码规则，这些规则限制了编程随意性，提高编码的安全性，大大提高软件代码的质量。

国内、外编码标准主要有：

? MISRA C—汽车行业安全性C编码规则（最新版本为MISRA C-2004）； ? DERA C—英国防务软件编程规则；

13