金喜正规买球

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

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

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

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

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

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

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

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

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

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

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

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

告诉我们你的需求

Parasoft如何满足适航认证

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

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

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

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

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

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

申请Parasoft测试试用