软件可靠性安全性技术.pptVIP

敬请批评指正谢 谢 ！ 准则分类 (1) 声明定义类 (2) 版面书写类 (3) 分支控制类 (4) 指针使用类 (5) 跳转控制类 (6) 运算处理类 (7) 过程调用类 (8) 语句使用类 (9) 调用返回类 (10) 程序注释类 (11) 循环控制类 (12) 类型转换类 (13) 初始化类 (14) 比较判断类 (15) 名称、符号与变量使用类 4.1.1.15 字符型变量必须明确定义是有符号还是无符号 void static_p(void) { char c = c; /* ... */ } 违背 4.1.1.20 禁止在#include ……中使用绝对路径名 #include C:\VC\include\stdio.h void Dummy(void) { /* ... */ } 头文件路径应该在编译器的选项中予以设置说明 违背 4.2.1.2 循环体必须用大括号括起来 int static_p(int p_1) { int j = 10; int k = 0; /* ... */ for (k = 0; k 10; k = k + 1) j=j+1; return j; } 违背 4.2.1.3 then/else中的语句必须用大括号括起来 (二院简化为: else中的语句必须用大括号括起来) int static_p(int p_1, int p_2) { int i = 1; int j = 2; /* ... */ if (p_1 0) { i = i - 1; } else i = i + 1; ? return i; } 违背 4.2.1.4 逻辑表达式的连接必须使用括号 void static_p(void) { bool flag = true; unsigned int y = 0u, x = 0u, z = 1u; /* ... */ if (x 0 || z + y != 0 !flag) { flag = false; } } 违背 4.2.1.5 禁止在头文件前有可执行代码 void static_p(void) { #include myfile.h /* ... */ } 违背 4.2.1.6 宏参数必须用括号括起来 #define static_p(x) x = 0 ? x : -x void test_p(void) { unsigned int result; int a = 6, b = 5; /* ... */ result = static_p(a - b); result = static_p(a) + 1; /* ... */ } 违背 4.2.1.7 嵌入汇编程序的过程必须是纯汇编程序 void static_p(void) { unsigned int x; x = 0u; _asm { mov eax, x } } 违背 4.2.1.9 禁止字符串中单独使用“\”而非“\0” (二院进一步明确为: 4.2.1.9 字符型数组赋值时，必须使用“\0”终止字符串) void static_p(void) { unsigned char str[5]; str[0]=a; str[1]=b; str[2]=c; /* 其它处理 */ } 违背 4.3.1.1 禁止条件判别成立时相应分支无执行语句 void static_p(void) { unsigned int value_x = 1u; /* ... */ if (value_x == 0u); /* ... */ if (value_x == 0u){;} } 违背 4.3.1.4 在switch语句中必须有default语句 如果switch语句中缺省了default语句，当所有的case语句的表达式值都不匹配时，则会跳转到整个switch语句后的下一个语句执行。强制default语句的使用体现出已考虑了各种情况的编程思想。 4.3.1.7 禁止switch的case语句不是由break终止 如果某个case语句最后的break被省略，在执行完该case语句后，系统会继续执行下一个case语句。case语句不是由break终止，有可能是编程者的粗心大意，也有可能是编程者的特意使用。为了避免编程者的粗心大意，因此禁止switch的case语句不是