gpt4 book ai didi

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

转载 作者:太空宇宙 更新时间:2023-11-04 12:50:04 25 4
gpt4 key购买 nike

有人问过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/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com