Parasoft C/C++test通过自动化标准所需的软件测试方法,帮助用户降低实现合规性的成本。Parasoft的解决方案包括静态分析、度量分析、单元测试、代码覆盖和对象/程序集覆盖,为团队提供了一种实用的方法来防止、暴露和纠正功能安全系统中的错误。
为机载系统开发符合DO-178B/C标准的软件并非易事,但Parasoft有助于减轻负担,提供广泛的开发测试和验证工具(编码标准合规性分析、数据和控制流分析、单元测试、应用监控、工作流组件等)。
Parasoft C/C++test的测试功能、可配置上下文和报告机制为软件开发团队提供了经过验证的工具,帮助他们实现DO-178B/C标准。Parasoft C/C++test用户能够通过使用先进的软件测试方法节省时间来降低实现 DO-178B/C标准的成本。自动生成的报告和仪表盘为团队提供了一种实用的方法来防止、暴露和纠正软件中的错误,并在自动化工具确认的帮助下准备审计所需的文档。
Parasoft的程序覆盖率工具(ASMTool)满足DO-178B/C中A级别所提出的可执行对象代码的建议。ASMTool 可以毫不费力地从可执行目标代码生成结构覆盖率报告。报告结构覆盖率,可轻松查看编译器生成的代码,这些代码不能直接追溯到源代码语句。它还跟踪 switch 语句,在机器语言指令级别提供对测试执行路径的全面洞察。
ASMTool还支持从软件集成过程(目标硬件测试)和桌面开发环境(用于单元测试的Parasoft C/C++test)中收集结构覆盖率。
|
|