(32) 每一个逻辑表达式是否都得到了正确表达
(33) 逻辑表达式的操作数是否均为逻辑值
(34) 程序中的Begin…End和Do…While等语句中，End是否对应
(35) 程序、模块、子程序和循环是否能够终止
(36) 是否存在永不执行的循环
(37) 是否存在多循环一次或少循环一次的情况
(38) 循环变量是否在循环内被错误地修改
(39) 多分支选择中，索引变量是否能超过可能的分支数
(40) 如果(39),该情况是否能够得到正确处理
(41) 子程序接受的参数类型、大小、次序是否和调用模块相匹配
(42) 全局变量定义和用法在各个模块中是否一致
(43) 是否修改了只作为输入用的参数
(44) 常量是否被做为形式参数进行传递
B 动态测试
(1) 测试数据是否具有一定的代表性
(2) 测试数据是否包含测试所用的各个等价类(边界条件、次边界条件、空白、无效)
(3) 是否可能从客户那边得到测试数据
(4) 非(3)的情况下，所用的测试数据是否具有实际的意义
(5) 是否每一组测试数据都得到了执行
(6) 每一组测试数据的测试结果是否与预期结果一致
(7) 文件的属性是否正确
延伸阅读
文章来源于领测软件测试网 https://www.ltesting.net/
