Parasoft开发测试平台(DTP) 是针对航空航天电子行业标准最全面可用的综合合规性解决方案。
在过去几年里，飞机失事事故频发，究竟是人为因素，还是软件质量问题/span>
2018年10月印尼狮航的坠落事件，189人罹难。
2019年3月，埃塞俄比亚航空公司一架波音737 MAX 8客机在飞往肯尼亚途中坠毁。机上149名乘客和8名机组成员，无人生还。
短短半年时间，同一机型两次空难，其中一次的失事原因已明确为软件设计缺陷。第一次事故中，失事飞机的迎角传感器“数据错误”触发“防失速”自动操作，导致机头不断下压，飞行员多次手动拉升未果，飞机最终坠海。
适航认证对于当今机载软件的重要性
随着我国大型商用飞机计划的实施，主机厂必将明确要求设备供应商提供的设备符合适航要求，取得适航认证是大型商用飞机能否投入商业运营的前提。
DO-178标准作为判断软件在机载环境中是否安全可靠的指南，即机载软件适航认证的标准依据。DO-178强调面向目标，要求软件必须满足其级别对应的所有目标，同时要给出足够的证据表明每一步是如何完成的，同时也要求验证过程是可以重现的。
DO-178是面向整个软件生命周期的，把机载软件生命周期定义为：
怎样的开发测试平台才值得信赖/strong>
专为 DO-178合规性打造的Parasoft 开发测试平台将行业最广泛的开发测试实践平台与 Parasoft开创性的开发项目管理架构结合起来。
这为公司、组织提供了前所未有的对各种C、C++、Java、.NET代码软件开发生命周期的过程可见性和可控性。开发测试实践的功能包括静态代码分析、单元测试、代码覆盖率分析、同行代码审查、运行时错误检测和可追溯性。
Parasoft如何满足适航认证
-
行业认证质量包： Parasoft 提供了 DO-178B/C 认证集合，囊括了一系列的文件（函数需求规则说明，工具认证计划和工具认证规程等）以及使工具具有在 DO-178B/C 项目上使用的资格的一系列测试用例。
-
代码覆盖率： 对于 C 和 C++来说，这就包括语句、分支、路径、和 MC/DC覆盖率。所有支持的覆盖率都会在GUI界面或代码监听报告中高亮显示 。
-
自动化回归测试：Parasoft的单元测试提供了自动化回归测试，使团队能够方便地进行代码重测和复审。
-
主机、模拟器、目标板上执行测试： Parasoft 单元测试自动化执行完整的测试流程，包括测试用例生成、交叉编译、部署、执行并将结果（包括覆盖率）返回到GUI界面，测试执行的顺序完全是可定制化的。
-
策略确立、应用和监管：Parasoft基于策略的方法确保公司对软件质量要求的实现，利用自动化架构确保一致的、稳定的策略应用，并通过可见性和可审核性自动化监管政策是否合规。
- 数据流分析： Parasoft 数据流分析组件模拟可能的应用程序执行路径——跨越多个函数和文件，同时确定这些路径是否会引发一些特定类目的运行时错误。
Parasoft——领先的自动化测试工具，满足绝大多数行业标准
标签：行业认证标准
来源：慧都
声明：本站部分文章及图片转载于互联网，内容版权归原作者所有，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！