文件名称：编程语言和编码环境-中国县域统计年鉴2016(乡镇卷)
文件大小：457KB
文件格式：PDF
更新时间：2024-06-23 12:01:04
MISRA
4.1 软件工程环境 使用编程语言产生源代码只是软件开发过程中的一个活动。如果只在这样的活动中坚持 佳实践而不考虑其他开发问题，只能带来有限的价值。在安全相关系统的开发中尤其如此。 这些问题在 MISRA 指南[9]中都提到了，比如： 文档化开发过程 能够满足 ISO 9001/ISO 90003/Tick IT [11，12，13]标准的质量体系 项目管理 配置管理 风险分析（Hazard Analysis） 需求 设计 编码 确认（Verificaiton） 有效性验证（Validation） 软件开发者有必要证明他们整个的开发过程对其所开发的系统来说是合适的。这样的声 明只有当执行完确定系统安全集成度的风险分析活动后才算完成。 4.2 编程语言和编码环境 在软件开发过程的编码阶段，语言子集只是许多方面之一，而如果不考虑其他开发问题， 只在这一方面中坚持 佳实践，只能带来有限的价值。紧接语言的选择之后的，其他关键问 题是： 培训 风格指南（Style guide） 编译器选择和有效性验证 检查工具的验证 度量 测试覆盖率 在这些问题上做出的所有选择及其原因都要记录成文档，并对任何执行的活动保持适当 的记录。然后，在需要时这样的文档可以包含进安全性声明中。 4.2.1 培训（Training） 为了确保 C 代码编写者具有合适的熟练程度和能力，应该提供正规训练： 嵌入式应用中 C 编程语言的使用