��(2) 局部数据结构测试 ：设计测试用例检查数据类型说明、初始化、缺省值等方面的问题，还要查清全程数据对模块的影响。
��应设计测试用例以检查以下各种错误：不正确或不一致的数据类型说明；使用尚未赋值或尚未初始化的变量；错误的初始值或错误的缺省值；变量名拼写错或书写错；不一致的数据类型。可能的话，除局部数据之外的全局数据（例如FORTRAN中的COMMON
数据）对模块的影响也需要查清。
��(3) 路径测试 ：选择适当的测试用例，对模块中重要的执行路径进行测试。对基本执行路径和循环进行测试可以发现大量的路径错误。
��常见的不正确计算有：运算的优先次序不正确或误解了运算的优先次序；运算的方式错，即运算的对象彼此在类型上不相容；算法错；初始化不正确；运算精度不够；表达式的符号表示不正确，等。常见的比较和控制流错误有：不同数据类型量的相互比较；不正确的逻辑运算符或优先次；因浮点数运算精度问题而造成的两值比较不等；关系表达式中不正确的变量和比较符�"差1"错，即不正确地多循环一次或少循环一次；错误的或不可能的循环终止条件；当遇到发散的迭代时不能终止的循环；不适当地修改了循环变量等。
��
|