软件可靠性分解.ppt

敬请批评指正谢 谢 ！ 准则分类 (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中的