联系热线：400-633-6258
使用Parasoft遵从DO-178B/C标准
DO-178B/C和ED 12 B/C的定义
DO-178B和DO-178 C(在欧洲称为ED-12 B/C -为简单起见，在本页中称为DO-178B/C) 为航空软件工程师提供指导，以确保适航性。但它是 FAA 发布其技术标准指令 (TSO) 批准过程的关键组成部分，因此 DO-178 被认为是必不可少的。
通过源代码分析、单元测试和代码覆盖率来加强DO-178B/C合规性
Parasoft C/C++test通过自动化标准所需的软件测试方法，帮助用户降低实现合规性的成本。Parasoft的解决方案包括静态分析、度量分析、单元测试、代码覆盖和对象/程序集覆盖，为团队提供了一种实用的方法来防止、暴露和纠正功能安全系统中的错误。
Parasoft如何帮助实现DO-178B/C标准
为机载系统开发符合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)中收集结构覆盖率。
|
|