有人问过before航空电子编程使用哪些编程语言，主要是 C、Ada 以及符合 DO-178B/C 的 C++。
更具体地说，当我问:使用哪些具体方法来验证软件是否符合 DO-178B/C 时，我会将我的问题集中在 C++ 上？
关于 DO-178B/C 需要验证的内容，我发现了很多细节，但没有找到它在实践中如何具体实现的细节。
据我了解，分析的是操作码本身，而不仅仅是源代码？
最佳答案
我认为问题更多的是关于根据 DO-178 验证 OOT 代码时的挑战。本文档详细解释了与 OOT 的每个基本特征相关的潜在结构覆盖问题。它提供了适当验证方法的建议，可以在 here 中找到。 .
关于c++ - 在 C++ 中验证 DO-178B/C 合规性，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/49464806/