VectorSoftware白皮书-覆盖率单元测试.PDFVIP

Vector Software 白皮书 利用VectorCAST 进行DO-178B/C 软件验证 引言 本白皮书介绍了如何利用VectorCAST 嵌入式软件测试平台来实现DO-178B 和DO-178C ，《机 载系统和设备合格审定中的软件考虑》（Software Considerations in Airborne Systems and Equipment Certification）第6 节中所规定的软件验证过程的目标。本白皮书也将突出两个标 准中第12 节（软件工具的鉴定过程）的不同之处。 DO-178B 和DO-178C 标准是什么 DO-178B 第一版由RTCA Incorporated 于1992 年12 月发布。该文档概述了开发航空设备的 组织和认证机构（如：FAA ，EASA ，加拿大交通部）的指导方针。后来RTCA 和EUROCAE （该组织发布了 ED-12B）一起发展了 DO-178B 标准。该标准发布后，认证机构软件团队 （CAST）即为其编写了说明文件。 DO-178C 将逐渐取代DO-178B ，成为主要标准，认证机构将用该标准审批所有基于软件的 商业航空系统。DO-178C 根据航空软件开发过程中的经验和收集到的信息对DO-178B 进行 了修订。名为DO-178C （ED-12C）的新文献于2011 年11 月完成，并于同年12 月通过RTCA 审批。2012 年1 月，该文献正式出台。 DO-178B 和DO-178C （DO-178B/C）都规定了开发航空系统应该遵循的流程。DO-178B/C 的软件验证过程中一个十分重要的要求就是，要在符合高层级和低层级的软件测试需求的情 况下，使结构代码覆盖率达到要求。 根据系统安全评估，确立了几种故障状态类别。这些故障状态类别决定了需要达到什么样的 安全完整性等级才能安全地操作航空电子设备。DO-178B/C 以异常的软件行为是否会引起 或导致系统功能的故障为标准，将软件划分为 5 个安全等级。下表是故障状态类别与 DO-178B/C 中规定的所要达到的结构覆盖之间的关系。 等级 故障定义 对应的结构覆盖 修正条件/判定覆盖（MC/DC ）， A 软件异常使系统出现致命的故障 判定覆盖语句覆盖 B 软件异常使系统出现危险或非常重大的故障 判定覆盖语句覆盖 C 软件异常使系统出现重大故障 语句覆盖 D 软件异常使系统出现小故障 无要求 E 软件异常没有影响系统 无要求 创提信息科技（上海）有限公司 VectorCAST 是什么 VectorCAST 系列工具能够帮助获取并报告DO-178B/C 预先规定的各个等级的代码的结构覆 盖率数据 （包括A 等级），以及生成DO-178B/C 审查所需的所有测试材料。VectorCAST 产 品系列包括5 项相辅相成的技术： VectorCAST/C++ 这些工具可对用C ，C++ ，Ada 编写的源代码进行自动化单元测试和集成测试。覆盖 VectorCAST/Ada 率数据可以与VectorCAST/Cover 结合，使覆盖率达到100%。 VectorCAST/Cover 在对C ，C++或Ada 代码进行功能测试或系统测试时自动生成代码覆盖率数据 VectorCAST/RGW 能够将需求与VectorCAST 测试用例连接起来 （需求管理） VectorCAST/RSP 扩展了VectorCAST/C++ 或VectorCAST/Ada 的功能，可在嵌入式目标或模拟器环境 （运行时支持包） 下对实时应用程序执行测试。 VectorCAST/Manage 用于自动完