软件测试(代码走查、检查与审查).doc

.代码走查、审查与检查代码检查（code inspections）利用错误列表进行错误检查数据引用错误1、是否有引用的变量未赋值或未初始化？这是最常见的编程错误，在各种环境中引发。在每个引用数据项（如变量、数据元素、结构中的域）时，应试图非正式地“证明”该数据项在当前的位置具有确定的值。2、小标的值是否在范围内？3、是否存在非整数小标？4、是否存在虚调用？5、当使用别名时属性是否正确？6、记录和结构的属性是否匹配？7、是否计算位串的地址？是否传递位串参数？8、基础的存储属性是否正确？9、跨过程的结果定义是否匹配？10、索引或小标操作是否有“仅差一个”的错误？11、继承需求是否得到满足？运算错误1、是否存在非算数变量间的运算？2、是否存在混合模式的运算？3、是否存在不同字长变量间的运算？4、目标变量的大小是否小于赋值大小？5、中间结果是否上溢或者下溢？6、是否存在被0除？7、是否存在二进