在C ++中验证DO-178B / C合规性

Question

有人问before在航空电子编程中使用了哪些编程语言，主要是C，Ada以及符合DO-178B / C的C ++。

更具体地说，当我问：用什么具体方法来验证软件是否符合DO-178B / C时，我会把我的问题集中在C ++上？

我已经找到了很多关于DO-178B / C需要验证的细节，而不是在实践中如何具体实现。

据我了解，操作码本身是分析的，而不仅仅是来源？

Answer 1

我认为问题将更多地在于按照DO-178验证OOT代码时的挑战。该文档对与OOT的每个基本特征有关的潜在结构覆盖问题进行了详细说明。它提供了适当验证方法的建议，可以在here中找到。

Answer 2

DO-178B / C不是“编码标准”，因此您无法验证软件是否兼容。 DO-178B / C是一个指南，该指南指定了在整个软件开发生命周期中应如何开发软件以及应创建什么工件的方式，以实现所需的关键度并“可认证”。在认证过程中，FAA或EASA等机构将使用DO-178B / C验证软件计划，软件开发和验证过程，软件验证结果的符合性。

DO-178C和补充文件DO-332定义了对面向对象编程使用的一些限制，这些限制可以理解为C ++语言的允许子集。

Answer 3

PerForce 是根据 DO-178 标准开发软件的顶级强大框架。 this 帖子完整地解释了您在 DO-178 标准中需要什么，以及 PerForce 可以为您做什么。