白盒测试用例设计.ppt

显然，要测试这个小程序，需要至少提供4个测试用例才能作到逻辑覆盖，使得ac、ad、bc及bd操作均得到检验。其实，这里的4是图中的第1个分支谓词引出的两个操作，及第2个分支谓词引出的两个操作组合起来而得到的，即 2×2=4。并且，这里的2是由于两个并列的操作，即1+1=2 而得到的。 例如，下图表达了两个顺序执行的分支结构。当两个分支谓词P1和P2取不同值时，将分别执行a或b及c或d操作。 对于一般的、更为复杂的问题，估算最少测试用例个数的原则也是同样的： 如果在N-S图中存在有并列的层次A1、A2，A1和A2的最少测试用例个数分别为a1、a2，则由 A1、A2 两层所组合的 N-S图对应的最少测试用例数为a1×a2。 如果在N-S图中不存在有并列的层次，则对应的最少测试用例数由并列的操作数决定，即N-S图中除谓词之外的操作框的个数。 例：如下图所示的两个N-S图，至少需要多少个测试用例完成逻辑覆盖？ 对于第一个N-S图： 由于图中并不存在并列的层次，最少测试用例数由并列的操作数决定，即为1+1+1=3。 对于第二个N-S图： 由于图中没有包含并列的层次，最少测试用例数仍由并列的操作数决定，即为1+1+1+1+1=5。 例：如下图所示的N-S图，至少需要多少个测试用例完成逻辑覆盖？ 分析该N-S图： 图中的2345和67是并列的两层。其中，234