文件名称：条件覆盖-白盒测试技术
文件大小：929KB
文件格式：PPT
更新时间：2024-05-13 02:07:53
白盒测试
条件覆盖 在实际程序代码中，一个判定中通常都包含若干条件。 条件覆盖的目的是设计若干测试用例，在执行被测程序后，要使每个判定中每个条件的可能值至少满足一次。 对DoWork函数的各个判定的各种条件取值加以标记。 对于第一个判定( (x>3)&&(z<10) )： 条件x>3 取真值记为T1，取假值记为-T1 条件z<10 取真值记为T2，取假值记为-T2 对于第二个判定( (x==4)||(y>5) )： 条件x==4 取真值记为T3，取假值记为-T3 条件y>5 取真值记为T4，取假值记为-T4