// //

Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>

X
DO-178B/C

使用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

Parasoft中国官网|DO-178B/C

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)中收集结构覆盖率。

Parasoft中国官网|DO-178B/C
WHITEPAPER

Developing DO-178B/C Compliant Software for Airborne Systems

Parasoft通过提供集成解决方案来自动执行DO-178B/C中指定的软件验证和确认过程以及软件质量任务,从而帮助减轻合规性负担。阅读本文,了解使用Parasoft C/C++test预防、揭露和纠正错误的实用方法。

Download