 |
|
|
| 返回 | 主页 |
MISRA2004概览 上
[摘要]
MISRA是汽车工业C语言编程指导，是嵌入式C语言的编程指导，目前在各个行业，包括：航空，航天，船舶，电信，医疗等行业广泛采纳，是最优秀的嵌入式C语言标准，在MISRA1998版的基础上，最新发布的MISRA2004有一下改进：
121条强制遵守，20条建议遵守
复杂规则细化
模糊规则明确
引入一些数学...
MISRA是汽车工业C语言编程指导，是嵌入式C语言的编程指导，目前在各个行业，包括：航空，航天，船舶，电信，医疗等行业广泛采纳，是最优秀的嵌入式C语言标准，在MISRA1998版的基础上，最新发布的MISRA2004有一下改进：
121条强制遵守，20条建议遵守
复杂规则细化
模糊规则明确
引入一些数学操作的规则
规则分类包括：
环境
语言扩展
文档化
字符集
标识符
类型
约束
声明和定义
初始化
数学类型转换
指针类型转换
表达式
控制语句表达式
控制流
Swith语句
函数
指针和数组
结构和联合
预处理指令
标准库
运行时失效
下面概要的介绍MISRA2004中的一些规则：
<环境>
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 (强制):在内部范围的标识符不能和外部的标识符用同样的名字，因为会隐藏那个标识符
例：
Int16_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_t
Typedef 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(强制):外部变量或者函数只能声明在一个文件中
注：一般来讲，声明在头文件中，然后包含在定义和使用的文件中
Rule 8.12(强制)：数组声明为外部，应该明确声明大小或者直接初始化确定
例：extern int array2[ ] /* 违反Rule8.8 */
<初始化>
Rule 9.1(强制):所有变量在使用之前都应该赋值
<数学类型转换(隐式)>
Rule 10.1(强制):整型表达式不要隐式转换为其他类型：
a）转换到更大的整型
b）表达式太复杂
c）表达式不是常数是一个函数
d）表达式不是一个常数是一个返回表达式
Rule 10.2(强制)：浮点数表达式不要隐式转换为其他类型：
a）转换到更大的浮点数
b）表达式太复杂
c）表达式是一个函数
d）表达式是一个返回表达式
<数学类型转换(明确)>
Rule 10.3(强制):整型表达式的值只能转换到更窄小且是同样符号类型的表达式
Rule 10.4(强制):浮点表达式的值只能转换到更窄小的浮点表达式
<数学类型转换>
Rule 10.6(强制):所有的 unsigned类型都应该有后缀”U“
Rule 11.1(强制)：指针不能转换为函数或者整型以外的其他类型
其它培训参考信息：
McCabe推荐的代码走查方法 下
McCabe推荐的代码走查方法 上
软件测试培训考试题目
嵌入式测试中数据获取的几种方式
软件许可证的安装与配置
为什么要进行烦人的单元测试？ 下
为什么要进行烦人的单元测试？ 上
嵌入式软件测试策略
信息来自互联网，敬请核实，谨慎使用
