MISRA2004规则.doc

MISRA 2004规则 Jerry整理出处：汽车工业软件可靠性联会最后更新时间：2005-7-20转载请注明：来自Sawin系统分析之窗 MISRA (The Motor Industry Software Reliability Association 汽车工业软件可靠性联会) 是位于英国的一个跨国汽车工业协会，其成员包括了大部分欧美汽车生产商。其核心使命是为汽车工业提供服务和协助，帮助厂方开发安全的、高可靠性的嵌入式软件。这个组织最出名的成果是所谓的MISRA C Coding Standard，这一标准中包括了127条C语言编码标准，通常认为，如果能够完全遵守这些标准，则你的C代码是易读、可靠、可移植和易于维护的。最近很多嵌入式开发者都以MISRA C来衡量自己的编码风格，比如著名的uC/OS-II就得意地宣称自己99％遵守MISRA标准。而《嵌入式开发杂志》也专门载文号召大家学习。编码规范通常是一个公司自定的“土政策”，居然有人去做标准，而且还得到广泛的认可，这不禁引起我强烈的兴趣。可惜这份标准的文本需要花钱去买，而且短短几十页，要价非常昂贵。MISRA在网上公布了一些文档，其中有关于MISRA C Coding Standard的Clarification报告，从中间你可以大致猜到MISRA标准本身是什么。我仔细阅读了这些文档，并且通过阅读其他一些介绍性文档，大致了解了MISRA标准的主要内容。这些条款确有过人之处，对于C/C++语言工程项目的代码质量管理能够起到良好的指导性作用，对于大部分软件开发企业来说，在MISRA的基础上适当修改就可以形成自己的规范。当然其中也有一些过于严苛的东西，这就需要各个开发部门灵活处理了。我个人的体会，编码规范虽然很简单，但是要完全执行，不折不扣，需要开发部门有很高的组织性和纪律性，并且有很好的代码评审机制。因此，如果能够严格地遵守编码规范，本身就是一个开发部门实力的证明。 内容 环境Rule1.1（强制）:所有的代码应该遵守ISO?9899:1990“Programming?Language?C”Rule1.2（强制）:只有当具备统一接口的目标代码的时候才可以采用多种编译器和语言Rule1.4（强制）?检查编译器/连接器以确保支持31一个有效字符，支持大小写敏感语言扩展Rule?2.1(强制)：汇编语言应该封装起来并且隔离：例如：#define?NOP?asm(“??NOP”)Rule?2.2(强制)?:源代码只能采用/*…*/风格的注释Rule2.3(强制):?字符序列/*不能在注释中使用注:C语言不支持注释的嵌套即使一些编译器支持这个语言扩展Rule?2.4(建议)：代码段不能注释掉注：应采用#IF?或者#ifdef来构成一个注释，否则代码里如果有注释会改变代码的作用文档化Rule?3.3(建议)：编译器对于整数除法运算的实施应该写入文档例编译器：-5/3?=?-1?余-2?有些编译器结果是-2于＋1字符集Rule?4.1(强制)：只能使用ISO标准定义的字符集标识符Rule6.5?(强制):在内部范围的标识符不能和外部的标识符用同样的名字，因为会隐藏那个标识符例：nt16_t?i:Void?f(){ int16_t?i; i=3；}Rule?5.2(强制):?typedef?名称只能唯一，不能重复定义Rule?5.4(强制):?标记名应该是唯一的标识符Rule?5.7(建议):标识符不能重复使用类型Rule?6.1(强制):Char类型只能用来存储使用字符Rule?6.2(强制):signed和unsigned?char?只能用来存储和使用数据值Rule6.3(建议)对于基本的类型使用Typedef来表示大小和有无符号例：Typedef?char?char_tTypedef?signed?int?int32_t?约束Rule?7.1(强制)：不要用八进制数注:整型常数以”0“开始会被认为是8进制例：code[1]=109??????? code[2]=100??????? code[3]=052??????? code[4]=071如果是对总线消息初始化，会有危险声明和定义Rule?8.1(强制)：函数都应该有原型声明，且相对函数定义和调用可见Rule8.2?(强制)：无论何时一个对象和函数声明或者定义，它的类型应该明确声明Rule?8.5(强制):头文件中不要定义对象或者函数Rule8.3(强制)：每个函数声明中的参数的类型应该和定义中的类型一致Rule?8.8(强制):外部变量或者函数只能声明在一个文件中注：一般来讲，声明在头文件中