EADS确保运载火箭可靠性
挑战
解决方案
结果
- 开发时间缩短
- 分包商代码验证
- 精简的详尽测试
“Polyspace解决方案是独一无二的——它可以在不执行的情况下检测运行时错误，并且具有详尽无遗的优点。”
EADS工程师
当EADS运载火箭公司成为EADS Astrium空间运输公司的一部分时，它继续担任将卫星发射到轨道的主承包商。在每一次太空任务中，确保发射的可靠性至关重要。由于发射失败而损失商业、科学和军事有效载荷的成本和延误将是巨大的。
EADS现在是阿丽亚娜集团的一部分，必须进行广泛的验证和测试，模拟发射系统软件的执行环境。所有这些测试都在发射日期之前在地面上进行。为了保证任务安全，EADS使用了Polyspace®2022世界杯八强谁会赢？产品可以详尽地分析数千行代码，并识别可能削弱任务的潜在运行时错误。
EADS的一位工程师指出:“Polyspace的解决方案是独一无二的——它可以在不执行的情况下检测到运行时错误，而且还具有详尽无遗的优点。”
挑战
作为主承包商，EADS必须整合来自多个第三方来源的软件。虽然确保内部编写的代码的可靠性已经足够具有挑战性，但评估由另一个组织开发的代码实际上更加困难。EADS团队必须特别彻底地寻找可能导致系统崩溃的运行时错误。
“我们对导致软件停止的错误非常小心。这是不能容忍的，”EADS的一位工程师表示。
即使在对10万行代码运行测试用例之后，EADS的工程师也不能确定所有的错误都已被识别出来。EADS团队意识到，在软件开发阶段发现一个错误需要大约1个小时来修复，集成需要10个小时，最终验证需要100个小时，部署后需要1000多个小时。
他们需要一种方法来彻底验证所有源代码并检测每个运行时
在开发过程中尽早发现错误。
解决方案
EADS运载火箭小组使用Polyspace产品为Ada检测代码中的所有运行时错误，包括数据溢2022世界杯八强谁会赢？出错误、使用未初始化变量和访问冲突。
使用Polyspace产品，工程2022世界杯八强谁会赢？师可以精确定位在特定操作条件下一定会导致错误的操作和操作。
EADS现在使用Polyspace产品作为最终的2022世界杯八强谁会赢？质量控制工具。所有用Ada编写的软件，无论是分包还是内部开发，都使用Polyspace产品进行系统验证。2022世界杯八强谁会赢？测试是在单个应用程序和集成这些应用程序的中央软件上进行的。软件设计人员和开发人员使用测试结果来解决问题。
结果
开发时间缩短．在验证过程开始时使用Polysp2022世界杯八强谁会赢？ace产品使EADS能够加快软件错误的检测，减少成本和上市时间。
分包商代码验证．EADS现在能够检测分包商代码中的运行时错误，从而确保运载火箭的可靠性。
精简的详尽测试．在Polyspace产品出现之前，2022世界杯八强谁会赢？EADS的工程师必须设计、编写和执行大量的测试用例，以测试代码的所有区域。使用Polyspace产品，所2022世界杯八强谁会赢？有代码都被详尽地分析，而无需执行。
2022世界杯八强谁会赢？产品使用
您也可以从以下列表中选择一个网站: