VectorCAST与RTCA/DO-178B工具给予资格的过程

Requirements and Technical Concepts for Aviation (RTCA) Document Number RTCA/DO-178B是航空航天的标准，DO-178B的规则是，如果使用软件工具来消除、降低或自动化DO-178B的过程，并确认此软件工具的结果， 需要验证此工具(基于资格-qualification)。VectorCAST能够在开发项目中符合DO-178B Section 12.2.2工具自动化的规则， 遵循开发项目认证部门的Designated Engineering Representative (DER)来生成开发项目的DO-178B鉴定资料。

给予VectorCAST等软件确认工具资格是工具公司与合作开发项目公司共同的责任。执行系统安全性的评估（system safety assessment）来界定软件失败情况的类型，以下这些情况的类型指出软件需要满足哪种鲁棒性。 DO-178B标准给出了五种类型的定义，这些类型指出软件失败时的后果严重程度。下面的表格显示了在DO-178B中的与测试需求对应的类型。

VectorCAST支持DO-178B标准所有关键类型的代码覆盖要求。另外，VectorCAST也具有下面这些特点与优势：

• 自动地生成与编程所有测试桩与驱动程序
• 能够自动地生成最大、最小与中间变量数值的测试用例； 能够使用测试数值范围的“固定增加“（fixed increments）
• 能够使用图形用户界面或者命令来执行测试用例
• 不需要重新编译来改变、执行测试用例
• 回归测试是完全自动的
• C与C++语言的编码标准
• 分析代码的基本路径与复杂性
• 在主机或嵌入式目标板中执行测试用例

Vector Software在一个开发项目中生成以下的资料来证明我们的工具:

Tool Operational Requirements (TOR) 文档包括:

• 使用可检查的需求来确认工具的功能
• 项目的操作环境
• 软件配置管理过程
• 我们怎样确认VectorCAST满足测试的需求

Tool Qualification Document (TQD)包括:

• 工具的证明资料与结果

我们的工具证明过程包括与客户和证明机构或DER的联系

• 一，Vector Software给客户提供证明文档的基线草稿版本，请求反馈
• 二，Vector Software改变文档与测试用例
• 三，Vector Software使用客户的编译器版本与客户的VectorCAST版本来执行工具的证明测试环境
• 四，Vector Software向客户提供证明文档的第一个版本以请求最后批示
• 五，Vector Software提供证明文档与所有测试命令，因此如果客户需要，客户能够自己执行测试用例

使用Vector Software证明文档的一些最近项目包括：

• Sikorsky S-92直升机的转子防冰系统(RIPS)
• 在A380中Cabin压力控制系统
• 防冲撞系统
• Boeing 777 LR的飞航
• F/D 728的飞行燃料、 接近与驾驶系统
• Agusta A109轻量级直升机

• FAA Aircraft Certification Products and Services（英）
• FAA Certification Authorities Software Team (CAST)（英）
• FAA Notice 8110.49, "Software Approval Guidelines," (June 2003)（英）