软件测试(第1章).ppt

检查局部数据结构是为了保证临时存储在模块内的数据在程序执行过程中完整、正确。局部数据结构往往是错误的根源，应仔细设计测试用例，力求发现下面几类错误： 不合适或不相容的类型说明； 变量无初值； 变量初始化或缺省值有错； 不正确的变量名（拼错或不正确地截断）； 出现上溢、下溢或地址异常。 除了局部数据结构外，如果可能，单元测试时还应该查清全局数据（例如FORTRAN的公用区）对模块的影响。 在模块中应对每一条独立执行路径进行测试，单元测试的基本任务是保证模块中每条语句至少执行一次。此时设计测试用例是为了发现因错误计算、不正确的比较和不适当的控制流造成的错误。此时基本路径测试和循环测试是最常用且最有效的测试技术，计算中常见的错误包括： 误解或用错了算符优先级； 混合类型运算； 变量初值错误； 精度不够； 表达式符号错误。 比较判断与控制流常常紧密相关，测试用例还应致力于发现下列错误： 不同数据类型的对象之间进行比较； 错误地使用逻辑运算符或其优先级； 因计算机表示的局限性，期望理论上相等而实际上不相等的两个量相等的情况； 比较运算或变量出错； 循环终止条件有错或不可能出现； 迭代发散时不能退出； 错误地修改了循环变量。 一个好的设计应能预见各种出错条件，并预设各种出错处理通路，出错处理通路同样需要认真测试，测试时应着重检查下列问题： 输出的出