文件名称：MISRA_C_2004中文版.pdf
文件大小：440KB
文件格式：PDF
更新时间：2023-04-01 03:57:43
MISRA C 2004 软件静态测试 白盒测试
MISRA协会在1994 年发布了它的“Development Guidelines for Vehicle Based Software”[9]， 描述了软件开发过程中所有应该使用的方法集。特别地，在使用中因为考虑安全集成度而做 出的语言、编译器和语言特性的选择，成为首要考虑的事情。MISRA 指南[9]中的节3.2.4.3（b） 和表3 描述了这些。推荐的方法之一是使用已经应用于航空、能源和国防工业中的标准化的 语言子集。本文档定义了这样一个合适的C 语言子集。