虽然存在经过认证的 C++ 工具链(编译器等),但我没有找到任何经过认证的 C++ 标准库 (STL)。
有谁知道有人提供这个吗?
认证要求严格遵循ISO26262和ASPICE标准,这意味着编写从系统到单元级别的所有文档,并在所有级别上进行测试,与文档并行(参见ISO26262中的V模型)。此外,这将要求 STL 的安全案例作为“脱离上下文的安全元素”,这将要求发明所有库部件的使用假设,并为用户创建安全手册,这将要求仅以预期方式使用库。这将增加一个数量级的开发成本,然后这种市场将不存在,因为使用它需要编写自定义内存管理器,该管理器将从静态分配的空间分配内存,然后分析完整的应用程序以证明它会更新需要比预分配的内存更多的内存,这将是一项重大任务,因此理论上可以存在经过认证的 STL,但上述原因可能会阻止 STL 的开发。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)