飞机失事，软件“背锅”？软件测试对机载软件有多重要？

小咪咪 2022-09-06 10:20 110阅读 0赞

在过去几年里，飞机失事事故频发，究竟是人为因素，还是软件质量问题？

2018年10月印尼狮航的坠落事件，189人罹难。

2019年3月，埃塞俄比亚航空公司一架波音737 MAX 8客机在飞往肯尼亚途中坠毁。机上149名乘客和8名机组成员，无人生还。

短短半年时间，同一机型两次空难，其中一次的失事原因已明确为软件设计缺陷。第一次事故中，失事飞机的迎角传感器“数据错误”触发“防失速”自动操作，导致机头不断下压，飞行员多次手动拉升未果，飞机最终坠海。

![飞机失事，软件“背锅”？软件测试对机载软件有多重要？][5c4fab9cd4d3f2ae57321be95af1908b.png]

**适航认证对于当今机载软件的重要性**

随着我国大型商用飞机计划的实施，主机厂必将明确要求设备供应商提供的设备符合适航要求，取得适航认证是大型商用飞机能否投入商业运营的前提。

DO-178标准作为判断软件在机载环境中是否安全可靠的指南，即机载软件适航认证的标准依据。DO-178强调面向目标，要求软件必须满足其级别对应的所有目标，同时要给出足够的证据表明每一步是如何完成的，同时也要求验证过程是可以重现的。

DO-178是面向整个软件生命周期的，把机载软件生命周期定义为：

![飞机失事，软件“背锅”？软件测试对机载软件有多重要？][5a0fb68c002d5ffd0c2e1074cd257abc.png]

**怎样的开发测试平台才值得信赖？**

专为 DO-178合规性打造的[Parasoft 开发测试平台][Parasoft]将行业最广泛的开发测试实践平台与 Parasoft开创性的开发项目管理架构结合起来。

这为公司、组织提供了前所未有的对各种C、C++、Java、.NET代码软件开发生命周期的过程可见性和可控性。开发测试实践的功能包括静态代码分析、单元测试、代码覆盖率分析、同行代码审查、运行时错误检测和可追溯性。

[Parasoft开发测试平台(DTP)][Parasoft]是针对航空航天电子行业标准最全面可用的综合合规性解决方案。其强大的开发测试能力帮助公司、组织减少遵从航空航天和航天电子行业标准所需要的时间和精力，检测软件的缺陷和健壮性，实现保障软件质量的要求。

![飞机失事，软件“背锅”？软件测试对机载软件有多重要？][adbc20589f4ff9215bf44e7904dc1f01.png]

[申请Parasoft测试试用][Parasoft 1]

**Parasoft如何满足适航认证**

*  **行业认证质量包：** **Parasoft** 提供了 DO-178B/C 认证集合，囊括了一系列的文件（函数需求规则说明，工具认证计划和工具认证规程等）以及使工具具有在 DO-178B/C 项目上使用的资格的一系列测试用例。
 *  **代码覆盖率：** 对于 C 和 C++来说，这就包括语句、分支、路径、和 MC/DC覆盖率。所有支持的覆盖率都会在GUI界面或代码监听报告中高亮显示 。
 *  **自动化回归测试：****Parasoft**的单元测试提供了自动化回归测试，使团队能够方便地进行代码重测和复审。
 *  **主机、模拟器、目标板上执行测试：** **Parasoft** 单元测试自动化执行完整的测试流程，包括测试用例生成、交叉编译、部署、执行并将结果（包括覆盖率）返回到GUI界面，测试执行的顺序完全是可定制化的。
 *  **策略确立、应用和监管：****Parasoft**基于策略的方法确保公司对软件质量要求的实现，利用自动化架构确保一致的、稳定的策略应用，并通过可见性和可审核性自动化监管政策是否合规。
 *  **数据流分析：** **Parasoft** 数据流分析组件模拟可能的应用程序执行路径——跨越多个函数和文件，同时确定这些路径是否会引发一些特定类目的运行时错误。

--------------------

**Parasoft——领先的自动化测试工具，满足绝大多数行业标准**

[Parasoft][Parasoft 2]是一家专门提供软件测试解决方案的公司，帮助企业打造无缺陷的软件。

**从开发到质量检查，Parasoft的技术通过集成静态和运行时分析，单元、功能和API测试，以及服务虚拟化，在不牺牲质量和安全性的情况下加快软件交付，节约交付成本。**

强大的报告和分析功能可帮助用户快速查明有风险的代码区域，并了解新代码更改如何影响其软件质量，而突破性的技术将人工智能和机器学习添加到软件测试中，使组织更容易采用和扩展跨开发和测试团队的有效的软件测试实践。

Parasoft针对C/C++、Java、.NET和嵌入式的开发测试都有着30多年的深入研究，很多全国500强企业使用Parasoft的产品实现了软件快速、高质量的交付。

[申请Parasoft测试试用][Parasoft 1]

[5c4fab9cd4d3f2ae57321be95af1908b.png]: /images/20220829/8519cc282b3140578b2d04abd95435e1.png
[5a0fb68c002d5ffd0c2e1074cd257abc.png]: /images/20220829/554d1d0a6e944fb4a7b5e30c10e5d7d2.png
[Parasoft]: https://www.evget.com/product/3660
[adbc20589f4ff9215bf44e7904dc1f01.png]: /images/20220829/fd4ede5722734fbe8e196a3efed49552.png
[Parasoft 1]: https://www.evget.com/consult/parasoft#Aps_contact
[Parasoft 2]: https://www.evget.com/consult/parasoft