控制流测试

 

 

注意：只给菱形框和矩形框定义数字

 

全路径覆盖：选择程序中所有可能的路径（可执行）

语句覆盖原则：最弱覆盖标准，所有点都走走一遍

分支覆盖原则：所有的条件（true和false）都走一遍

谓词覆盖（条件组合覆盖）：影响所有条件的组合（true和false）都执行一次。

 

 

生成测试输入：

谓词解释：用全局变量和常量来描述条件