软件编写规范 MISRA(中英版)的知识.pdfVIP

软 件 编 程 规 范 目 录 一 Environment环境 二 LanguageExtensions语言扩展 三 Documentation文档 四 CharacterSets字符集 五 Identifiers标识符 六 Types类型 七 Constants常量 八 DeclarationsandDefinitions声明与定义 九 Initialization初始化 十 ArithmeticTypeConversion数值类型转换 十一 PointTypeConversion指针类型转换 十二 Expressions表达式 十三 ControlStatementExpressions控制语句表达式 十四 ControlFlow控制流 十五 SwitchStatements switch语句 十六 Functions函数 十七 PointersandArrays指针和数组 十八 StructuresandUnions结构与联合 十九 PreprocessingDirectives预处理指令 二十 StandardLibraries标准库 二十一Run-TimeFailures运行时错误 1 一 环境 1.1 AllcodeshallconformtoISO9899:1990“Programminglanguages– C”, amended and corrected by ISO/IEC 9899/COR1:1995, ISO/IEC 9899/AMD1:1995, andISO/IEC 9899/COR2:1996. 规则1.1（强制）： 所有代码都必须遵照ISO9899:1990 “Programminglanguages-C”， 由ISO/IEC9899/COR1:1995，ISO/IEC9899/AMD1:1995，和ISO/IEC9899/COR2:1996 修订。 1.2Norelianceshallbeplacedonundefinedorunspecifiedbehaviour. 规则1.2（强制）： 不能有对未定义行为或未指定行为的依赖性。 这项规则要求任何对未定义行为或未指定行为的依赖，除非在其他规则中做了特殊说明，都 应该避免。如果其他某项规则中声明了某个特殊行为，那么就只有这项特定规则在其需要时 给出背离性。 1.3 Multiplecompilersand/orlanguages shallonlybeusedifthereis a common defined interface standard forobject code towhich the languages/compilers/assemblers conform. 规则1.3（强制）：多个编译器和/或语言只能在为语言/编译器/汇编器所适合的目标代码 定义了通用接口标准时使用。 如果一个模块是以非C语言实现的或是以不同的C编译器编译的，那么必须要保证该模块能 够正确地同其他模块集成。C语言行为的某些特征依赖于编译器，于是这些行为必须能够为 使用的编译器所理解。例如：栈的使用、参数的传递和数据值的存储方式（长度、排列、别 名、覆盖，等等）。 1.4 Thecompiler/linkershallbecheckedtoensurethat31character significance and case sensitivity are supported for external identifiers. 规则1.4（强制）： 编译器/链接器要确保31 个有效字符和大小写敏感能被外部标识符支 持。 ISO标准要求外部标识符的头6个字符是截然不同的。然而由于大多数编译器/链接器允许 至少31 个有效字符（如同内部标识符），因此对这样严格而并不具有帮助性的限制的适应 性被认为是不必要的 。 必须检查编译器/链接器具有这种特性，如果编译器/链接器不能满足这种限制，就使用编译 器本身的约束。 1.5 Floating-point implementations should comply witha defined fl