Parasoft的开发测试平台是用于实现遵守航空航天和航空电子行业标准最全面的解决方案。Parasoft强大的开发测试功能帮助企业减少了在遵守航空航天和航空电子设备行业标准上所花的时间和需要,满足软件保证的要求,并检测缺陷和漏洞。我们独特的策略驱动方式建立了一个可重复的、可监控的和可审核的过程。

Parasoft开发测试符合DO-178B/C合规

Parasoft的软件开发合规解决方案,包括开发测试工具,如静态代码分析、单元测试、代码审查,以及更多支持DO-178B/C的。我们首开先河的开发测试平台帮助软件工程师在航空航天和航空电子设备上,将质量贯穿到他们的代码,通过:

  • 软件开发管理
  • 静态代码分析
  • 单元测试
  • 代码审查
  • 覆盖分析
  • 跟踪
  • 更多

对JSF++AV编码标准的支持

Parasoft的解决方案提供即刻使用的代码分析,符合洛克希德·马丁公司的联合攻击战斗机飞行器的C++编码标准。为了促进快速修复,任何检测到的编码标准违规行为会被优先并分配给相应的工程师,直接链接到有问题的代码和规则说明。这个过程不仅支持合规,而且还有助于工程师对开发的标准有更深的了解。

演示的工具资质和保护

自动预防缺陷工具,如Parasoft的C/C++测试,必须确保一致的和准确的验证和验证结果合格。Parasoft的专业服务与组织协同工作,证明我们开发测试平台的所有组件按预期运行,并没有对其他工具的功能产生不利影响。

信息安全保障支持

Parasoft的功能满足在2011国防授权法案规定的信息安全保障的要求。功能包括:

  • 在整个开发生命周期的自动化软件漏洞检测
  • 测试Web应用程序的安全性开发
  • 自动化的和可审计的流程进行测试和验证码

Parasoft策略驱动方法

策略驱动的开发在商业预期与特定的质量实践之间建立了桥梁,以确保软件开发团队避免可能会危及可靠性、安全性和性能的捷径。开始于定义应用程序的关键业务环节,如符合行业标准,并在平台里轻松设置你的策略。

Parasoft自动地将需求与自动和手动测试、源代码以及开发任务关联起来,从而对开发进程前所未有的实时可见性,按需访问验证状态,双向需求跟踪。我们集中的报告系统记录改进并跟踪状态,因此团队知道哪些测试需要重新运行,哪些代码需要重新审查。

与组织的业务目标相对齐来调整软件开发活动,如静态代码分析、单元测试、同行代码审查、覆盖率分析和运行时错误检测,从而降低了软件开发生命周期相关的风险。其优点包括增加的可追踪性、问责性,和早期预防缺陷。

选择了该产品的航空电子和航空客户