2-白盒测试

图和图覆盖准则 测试中的图 控制流图： 有限状态集：（源于规格文档） 各种设计图： 点+边 = 图 点：有穷非空集合 边：点对 初始结点 终结结点 多个初始结点的情况，规定一个哑结点，作为初始结点   路径：点的序列，相邻结点必须构成有效边 测试路径：表达测试的执行（出发点是初始结点，终点是终结结点） 此门课：一条测试只能执行一条测试路径（前提条件：测试环境是确定性的） 图覆盖准则 语法可达：在通

>>阅读原文<<