彩票走势图

什么是DO-178B/C和ED 12 B/C？

DO-178B和DO-178 C（在欧洲称为ED-12 B/C，为简单起见在此页面上称为DO-178B/C）提供了指导，以供航空航天软件工程师使用，以确保适航性。FA-178的适航性要求中未明确规定DO-178标准，但它是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的Assembly Coverage Tool（ASMTool）满足DO-178B/C Level A提出的可执行目标代码建议。ASMTool可以毫不费力地从Executable Object Code生成结构覆盖率报告。报告结构覆盖率时，可以很容易地查看对编译器生成的代码的了解，这些代码不能直接追溯到源代码语句。它还跟踪开关语句，从而在机器语言指令级别提供对测试执行路径的全面了解。

ASMTool还支持从软件集成过程（目标硬件测试）和桌面开发环境（用于单元测试的Parasoft C/C++test）收集结构覆盖率。

白皮书

开发适用于机载系统的DO-178B/C兼容软件

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

点击下载白皮书