Parasoft对航空航天电子标准遵从性的支持 

Parasoft开发测试平台(DTP) 是针对航空航天电子行业标准最全面可用的综合合规性解决方案。Parasoft强大的开发测试能力帮助公司、组织减少遵从航空航天和航天电子行业标准所需要的时间和精力,检测软件的缺陷和健壮性,实现保障软件质量的要求。我们独特的政策驱动的测试方法确立了可重复的、可监控的和可审计的测试进程。
  • 信息安全支持
  • 工具认证和保护
  • 实现您的信息安全需求
  • 实现 DO-178B/C合规性
  • Parasoft 政策驱动的方法
  • 符合 DO-178 B/C 指导方针
  • 支持 JSF++AV 编码标准
  • 生产可追溯的无缺陷的软件产品
  • 符合联合攻击战斗机 (JSF) 软件开发要求
  • 在关键的行业标准上使用政策驱动的规则集

DO-178B/C 合规性检测

Parasoft软件开发合规性解决方案包括开发测试工具,例如静态分析、 单元测试、 代码审查、 和很多支持 DO-178B/C合规性的方法。我们史无前例的软件开发测试平台通过如下方法帮助航空航天电子领域的软件工程师们构建可靠、健壮的代码:
  • 单元测试
  • 可追溯性
  • 静态代码分析
  • 同行代码审查
  • 代码覆盖率分析

信息安全支持  

Parasoft强大的测试能力满足2011年国防授权法案的规定,具体包括:
  • 测试网络应用的安全问题
  • 用自动化可审计的进程来测试和验证代码
  • 自动化软件缺陷预防检测,贯穿整个软件开发生命周期

JSF++AV 编码标准的支持

Parasoft的解决方案对洛克希德·马丁公司的联合战斗型空间飞行器编码标准(JSF++AV )提供了即取即用的分析支持。为了促进快速的修正,每一条检查到的JSF违规都会被优选, 分配给编写相关代码的开发人员, 同时向他或她的IDE工具中发送问题代码的直接链接和规则的描述。 每一条规则的描述都会提供规则的概述、优点、违规示例、对如何修复违规的解释说明和修复示例中违规的示范。 这一过程不仅支持了代码的合规性,同时也帮助工程师对编码标准有一个更加深入的理解。

Parasoft策略驱动开发

策略驱动开发在业务需求和特定质量实践之间架起一座桥梁,确保软件开发团队不会走一些可能使可靠性、安全性和性能大打折扣的捷径。通过定义关键业务方面的应用,例如遵循行业标准,在平台上轻松地设置您的项目等来开始使用。
Parasoft自动关联自动化及手动测试、源代码和开发任务的需求,实现了对开发过程前所未有的实时可见性,请求式认证状态和双向的需求可追溯性。我们集中的报告系统记录了所有代码改的变更记录,因此团队可以确切地知道哪一个测试需要重新运行,哪些代码需要再次复查。
在调整软件开发工作,如静态代码扫描,单元测试,同行代码审查,覆盖率分析和运行时错误检测等的同时,降低公司目标与软件开发生命周期相关的风险。这样做的好处包括增加可追溯性,明确责任分工和尽早预防缺陷。这些都可以帮助您避免昂贵的产品召回,商业诉讼或市场地位受到损害。

工具对代码质量的保护  

自动错误检测工具,例如 Parasoft的C/C++Test集成开发测试平台 ,必须持续的测试并验证结果。 Parasoft专业的服务和公司、组织一起致力于如何在不冲击其他工具功能的前提下,开发测试平台的各个组件实现期望的目标。