静态白盒测试原则错误发现越早,纠正错误的成本就越月底,纠正错误的可能性就越大,纠正错误时引起其他错误的可能性也就越小。
静态白盒测试方法代码检验法的定义:代码检验法主要检查代码和程序设计的一致性,代码结构的合理性,代码编写的标准性、可读性,代码逻辑表达的正确性等方面。 主要参考文档:编程文档、程序源代码列表、编码规范、代码缺陷检查表等。
优点:可以快速发现缺陷,一旦发现错误,可以通过代码时钟精确定位,降低纠错成本。
坏处:既需要时间,又需要知识和经验的积累。
代码审核和走码检查的共同点:以组为单位读码是一组规程和错误检查方法的集合。
代码审核规程和方法:在代码审核会议上,程序作者逐条语句讲述程序的逻辑结构,参与者根据“代码缺陷检查表”分析程序,检查包括代码标准规范和错误列表在内的内容。
代码进度检查规程和方法:在代码进度检查会议上,参与者按《设计规格书》使用计算机执行代码
静态结构分析法很少使用
静态质谱测定法很少使用