• 工具介绍
• VectorCAST/C++
• VectorCAST/Ada
• VectorCAST/RSP
• 工具材料
• 许可与环境
• 支持的编译器与芯片
• 客户案例
• 客户赞扬
• VectorCAST/Cover
• VectorCAST/Manage
• VectorCAST/ Requirements Gateway

工具介绍 > VectorCAST/RSP > 客户案例

Athena Technologies选择 VectorCAST来测试软件

ADAHRS Certification Project

美国弗吉尼亚州Warrenton的Athena Technologies有限公司提供最可靠、最耐用的军民用、有无人控制的飞行器提供高等硬件、软件与控制系统的服务，服务包括从设计到集成。

Athena的飞行控制与导航系统（flight control and navigation systems）包括完全综合飞行控制系统与传感器。他们的产品提供高效率、可靠性强与多功能，并且他们的产品体积比较小、供电需求与成本都比较低，因此Athena很快成为航空航天工业中的飞行控制与导航的标准。

Athena拥有ISO 9001检查证、符合CMMI-III标准、他们也采取Radio Technical Commission on Aeronautics的建议来开发他们的飞行控制与导航系统，包括DO-178B (软件开发), DO-160(电力系统测试)与DO-254(硬件设计)。

自从2007年以来Athena开始证明Micro INSTM, SensorPac® Air Data, Attitude, 与Heading Reference System (ADAHRS)三个商业产品。ADAHRS是为下一代新产品提供功能的基本产品。

因为ADAHRS的开发过程必须符合DO-178B Level B标准，Athena需要测试全部软件，也需要证明所有代码是有效的。

Athena Technologies选择了 VectorCAST的软件作为测试工具

Athena决定这个项目的自动化很关键，他们也觉得一个自动单元测试工具会降低创造测试用例的时间。

Athena的工程副总裁Chris Brown说：“我们从外界收集材料，在Green Hills网站找到伙伴公司的推荐，接受了我们DER（DO-178B的证明的工程师）的推荐，我们也从网络中找到DO178B代码覆盖的工具”。

Athena调查了测试工具怎样满足他们的需求，他们评估了许多工具， 他们也评估了VectorCAST，本工具被Green Hills的工程师所推荐。他们选择VectorCAST工具来执行ADAHRS的单元、集成与系统测试。

- VectorCAST与Green Hills环境的集成。VectorCAST与Green Hills不但有很长的集成历史，而且Vector Software的支持人员和工程师非常了解Green Hills的环境，如果有技术问题他们与Green Hills支持部门的关系也很好。

VectorCAST支持Athena的所有开发环境，因此Athena工程师能够在电脑或目标板中执行测试。

Athena的Chris Brown说：“我们从一开始就很欣赏Vector Software。VectorCAST是一组功能多、易懂易用的工具，与Green Hills MULTI环境的集成很好，现在已经有很多嵌入式软件的工程师都是用VectorCAST测试环境。“

Athena在各个测试阶段（单元，集成与系统阶段）都使用VectorCAST来测试他们的完成软件。

Vector Software提供的技术培训非常有效，因此Athena工程师能够立刻使用VectorCAST。他们在测试阶段开始之前购买此工具，所以他们能够学会用法，配置工具在目标板中执行测试，并决定部门规则来保障测试阶段的效率。

Marshall Aerospace使用PRQA的静态分析器与VectorCAST/C&C++的动态测试工具、符合DO178B Level C标准

Centre Daily Times提供的材料。.

PRQA | Programming Research发布Marshall Aerospace使用自己的QA.C与MISRA静态分析器与VectorCast C/C++的动态测试工具来在Hercules C130航空航天软件开发项目中符合DO 178B Level C标准。

Marshall Aerospace是一个航空航天系统的领先公司。他们刚刚创立一个技术开发部门来提高他们的硬件软件开发的能力，并开发航空航天与军用革新的产品。

Marshall Aerospace评估许多提供公司的静态分析器与动态测试工具之后，他们选择Programming Research的工具，因为PRQA的航空航天商业的经验很高、它们的工具也是节省成本的。

Marshall Aerospace的高级软件工程师Lee Jaques说：“我们决定符合所有MISRA的编程规则。使用QAC.C来符合MISRA很容易，此工具也让我们早地指出与排除错误，因此我们能够降低测试与代码改变的时间。“

Marshall Aerospace希望在别的开发项目使用这些工具、符合DO178B Level A的标准。如果您需要更多材料，请拜访www.marshallaerospace.com.

Honeywell使用VectorCAST/Ada与VectorCAST/C来符合DO-178B标准与测试军用航空航天的软件

这些注解是 Honeywell ASCa In Honeywell ASCa Inc提供的材料。

Honeywell Canada成功地使用VectorCAST来规定软件质量的标准，并在许多民用军用的航空航天领域中测试安全与关键的应用。

Honeywell ASCa Inc.的“Software Principal Engineer” Wayne Young介绍说：“VectorCAST是独一无二的工具，帮助我们提高飞行软件的质量与可靠性。Boeing 777LR等民用和C5与JSF等军用产品都受益于VectorCAST。这个工具是我们单元测试与软件集成实验室的主力”。到目前为止Honeywell的开发项目依靠VectorCAST来测试Ada与C语言的软件。Vector也提供工具证明文档来符合美国FAA软件证明要求。

Honeywell International是一个技术与制造领域中领先的公司，年销售额是220亿万美元，他们给国际客户提供航空航天的产品与服务、民用房屋控制系统、汽车制造的产品、涡轮增压器、特制化学品、纤维、电子与高等材料。Honeywell的总部在美国新泽西Morris Township，他们也是30个道琼斯(Dow Jones Industrial Average)公司中的一个的公司与Standard & Poor's 500 Index的公司。如果您需要更多材料，请拜访www.honeywell.com

Lockheed Martin使用Vector Software VectorCAST/Ada来测试C130J的软件、使其符合DO-178B标准

这个客户的证据文件是美国乔治亚Marietta的Lockheed Martin Aeronautical Systems (LMAS) 提供的，这份文件介绍了关于他们在C130J Hercules项目中使用AdaCAST(VectorCAST Ada)的经验。 他们在开发C130J过程中使用AdaCAST来创造单元测试与美国FAA结构测试的驱动程序。

项目概况

C130J项目是由60年代C130的航空器演变而来的。我们的客户开发操作航行程序的时候使用AdaCAST， 这个程序达到22万项代码左右。

产品概况

客户在测试工具中选择AdaCAST因为AdaCAST是唯一能够读写所有函数与数据的工具。AdaCAST也提供自动占位程序与自动驱动程序的功能，因此能够隔离各个软件部件。Vector也提供了客户的特殊需求。

对于项目要求的工具使用说明与工具易懂易用的特点促使了AdaCAST的成功。学会怎么使用AdaCAST来执行基本测试活动最多只需要一天，学会项目特别的用法与技术最多只需要一个星期。AdaCAST也生成结果一致的报告， 美国FAA与Lockheed Martin QA组织能够很容易地检验这些报告。在所有应用代码中有98%是由AdaCAST来测试的。虽然我们没提供比较AdaCAST与别的测试工具或手写测试的降低成本度量的文件，Lockheed Martin测试顾问Mark Hall指出：“在工业中开发软件预算的50%是达到美国FAA Level A结构测试的成本。在C130J项目中，软件预算的10%是执行结构测试的成本”。