(参考)软件可靠性安全性技术.pptVIP

* 编程准则违背的 典型实例 * “4.8.1.4 禁止使用不起作用的语句” (二院补充) 的典型实例 该准则在某软件中以“x-0;”的形式违背了，而经过确认是由于编程人员误将“x=0;”的“=”号写成了“-”号所致，其结果是导致变量x的赋值失败。 * “4.6.1.15 禁止在条件判别语句中使用赋值操作符” 的典型实例一 该准则在某软件中以“if(the_i=5)”的形式违背了，而经过确认是由于编程人员误将“if(the_i==5)”的“==”写成了“=”所致，其结果是该判别条件无论变量the_i为何值都将执行该分支的处理。 * “4.6.1.15 禁止在条件判别语句中使用赋值操作符” 的典型实例二 在某软件中有如下语句： if((uiSendLen == 0x55AA) (uiRecvLen == 0x66BB) (uiBaud = 0x77CC)) 其中将条件(uiBaud==0x77CC)判别误写为(uiBaud=0x77CC)的赋值，后果是即使uiBaud不为 0x77CC，其他条件满足仍能走入真分支。 * “4.14.1.4 逻辑判别表达式如果存在运算项， 必须要使用括号” (二院补充) 的典型实例 该准则在某软件中以“if(tbc0x80==0x80)”的形式违背了，导致当tbc=0x80时条件判别走