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

上一篇 / 下一篇  2021-08-24 15:59:17 / 个人分类:Parasoft

在过去几年里,飞机失事事故频发,究竟是人为因素,还是软件质量问题?
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测试试用

TAG:

 

评分:0

我来说两句

我的栏目

日历

« 2021-12-01  
   1234
567891011
12131415161718
19202122232425
262728293031 

数据统计

  • 访问量: 1130
  • 日志数: 19
  • 建立时间: 2021-06-28
  • 更新时间: 2021-09-08

RSS订阅

Open Toolbar