动态白盒测试与代码覆盖：条件覆盖和判定-条件覆盖解析

该资源是一份关于软件测试的练习材料，特别关注条件覆盖和判定条件覆盖这两种测试技术。练习涉及到的代码片段展示了不同条件的执行情况，并提供了可能的测试路径。 在软件测试中，动态白盒测试是一种重要的方法，它侧重于程序的内部逻辑结构，确定测试内容和方法。动态白盒测试包括多种覆盖标准，如语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖和路径覆盖等。 1. **语句覆盖**：此方法要求设计的测试用例至少要执行一次程序中的每一条可执行语句。在示例代码中，如果存在分支或循环，需要确保测试用例能够涵盖所有可能的执行路径，以达到100%的语句覆盖。 2. **判定覆盖**：判定覆盖要求每个判断的真假至少各执行一次。例如，对于`if(a>0 AND b>0) Then`，需要有测试用例使得`a>0`和`b>0`同时为真，以及至少一个测试用例使得两者之一为假。 3. **条件覆盖**：条件覆盖更进一步，不仅要考虑判定的整体真假，还要确保每个条件（如`a>0`和`b>0`）的真假状态都被测试到。这包括了条件的真(T)、假(F)以及可能的边界情况。 4. **判定-条件覆盖**：这是条件覆盖和判定覆盖的结合，要求每个判断的每个可能的条件组合都至少被执行一次。在示例中，这包括`a>0 AND b>0`为真和为假的组合，以及`a>1 OR c>1`的组合。 练习中给出的代码片段涉及了条件判断和变量更新，比如`i:=i+1; result:=result+i; (i<N) and (result<=maxint)`。根据这些条件，需要设计不同的测试用例以满足条件覆盖和判定-条件覆盖的要求。例如，当`N < 0`时，程序会执行`N := -N; output(too large); exit`，这需要单独的测试用例来覆盖这种情况。 测试用例的设计通常包括对边界值的测试，如最小值、最大值、零值和负值，以确保程序在各种输入条件下都能正确工作。在提供的练习中，`N < 0`被视为一种边界条件，需要通过测试用例进行验证。 总结来说，这个练习是为了提高测试者对软件内部逻辑的理解，特别是如何有效地运用条件覆盖和判定-条件覆盖来设计测试用例，确保程序的每一个关键部分都得到了充分的测试。