c++ - 是否存在经过认证的(ISO 26262或类似的)C++标准库？

Question

Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。












想改善这个问题吗？更新问题，以便将其作为 on-topic用于堆栈溢出。

7个月前关闭。



Improve this question




尽管存在经过认证的C++工具链(编译器等)，但我没有找到任何经过认证的C++标准库(STL)。

有人知道有人提供这个吗？

最佳答案

认证要求严格遵循ISO26262和ASPICE标准，这意味着将所有文档从系统级写到单元级，并在所有级别进行测试，并与文档并行(请参阅ISO26262中的V模型)。同样，这将要求STL的安全性案例是“上下文无关的安全要素”，这将要求发明所有图书馆零件使用的假设，并为用户创建安全手册，从而仅需要以预期方式使用图书馆。这将使开发成本增加一个数量级，然后将不存在该市场，因为使用它需要编写自定义内存管理器，该管理器将从静态分配的空间中分配内存，然后分析完整的应用程序以证明它将更新需要更多的内存，然后再进行这个预先分配的数量，这将是一项主要工作，因此理论上可以通过认证的STL，但是提到的原因很可能会阻止一个STL的发展。

关于c++ - 是否存在经过认证的(ISO 26262或类似的)C++标准库？ ，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/52340145/

上一篇：c++ - 将颜色从RGB转换为NV12

下一篇：c++ - 如何将我的程序添加到 macOS 的文件和文件夹右键菜单？

相关文章：

c++ - 不允许向 vector 中添加更多元素

c# - 如何在 C# 中处理大文件？

date - 给定 ISO 8601 周数，在 LibreOffice Calc 电子表格中获取该周第一天的日期

c - ISO C 是否允许分配的内存在程序终止后挂起？

c++ - 为什么没有将 yield 添加到 C++0x 中？

c++ - STL Pass 迭代器与容器

c++ - opengl降低图像质量是否正常？

c++ - 如何构造对象 vector (具有静态成员)

c++ - 三次贝塞尔曲线交互

c++ - 节点队列(链表)C++

Answer 1

认证要求严格遵循ISO26262和ASPICE标准，这意味着将所有文档从系统级写到单元级，并在所有级别进行测试，并与文档并行(请参阅ISO26262中的V模型)。同样，这将要求STL的安全性案例是“上下文无关的安全要素”，这将要求发明所有图书馆零件使用的假设，并为用户创建安全手册，从而仅需要以预期方式使用图书馆。这将使开发成本增加一个数量级，然后将不存在该市场，因为使用它需要编写自定义内存管理器，该管理器将从静态分配的空间中分配内存，然后分析完整的应用程序以证明它将更新需要更多的内存，然后再进行这个预先分配的数量，这将是一项主要工作，因此理论上可以通过认证的STL，但是提到的原因很可能会阻止一个STL的发展。