白盒测试：基本路径测试及测试用例设计.doc

### 白盒测试：基本路径测试及测试用例设计 #### 实验背景及目标 本实验旨在通过一个具体的示例来深入理解白盒测试的基本概念和技术。实验的主要目的是让参与者熟悉控制流图、独立路径、圈复杂度以及程序基本路径集的概念，并能够运用这些理论来分析和测试程序。此外，实验还强调了如何使用McCabe方法来确定程序的基本路径集，进而设计有效的测试用例。 #### 实验任务解析 本次实验的任务是针对一个简单的C语言模块——`getit`函数进行基本路径测试。该函数的功能是判断输入的整数是否为质数。实验具体步骤包括： 1. **绘制流程图**：首先需要根据给定的代码绘制出该函数的流程图，以便于后续的分析。 2. **绘制控制流图**：基于流程图，进一步绘制出该函数的控制流图。控制流图是一种用于表示程序控制流结构的图形表示方式，它有助于识别程序中的控制流路径。 3. **计算圈复杂度**：使用McCabe公式计算控制流图的圈复杂度，即`V(G) = E - N + 2`，其中`E`是边的数量，`N`是节点的数量。 4. **确定基本路径集**：在控制流图的基础上，找出所有独立路径构成的基本路径集。 5. **设计测试用例**：基于基本路径集设计具体的测试用例，以确保测试覆盖了所有可能的执行路径。 6. **执行测试与填写缺陷报告**：执行测试用例，并记录测试过程中发现的任何问题或缺陷。 #### 测试用例设计 在本实验中，我们基于四个基本路径集设计了四组测试用例： - **路径1**: `1→2→3→4→6→7→10` - 测试用例：`i=2`, `m=1`, `k=1` - 预期结果：程序应该输出“1不是质数”，因为1不是一个质数。 - **路径2**: `1→2→3→4→5→6→7→10` - 测试用例：`i=2`, `m=0`, `k=0` - 预期结果：程序应该输出“0不是质数”，因为0不是一个质数。 - **路径3**: `1→2→3→4→6→9→10` - 测试用例：`i=2`, `m=16`, `k=4` - 预期结果：程序应该输出“16不是质数”，因为16可以被2整除。 - **路径4**: `1→2→3→4→5→6→9→10` - 测试用例：`i=2`, `m=4`, `k=2` - 预期结果：程序应该输出“4不是质数”，因为4可以被2整除。 #### 实验总结 通过本次实验，我们可以清楚地看到如何运用白盒测试技术来进行有效的程序测试。通过绘制流程图和控制流图，我们能够清晰地理解程序的逻辑结构和控制流。接着，通过计算圈复杂度并确定基本路径集，我们能够确定程序的所有独立路径。基于这些路径设计的测试用例能够帮助我们全面地测试程序，确保其功能正确无误。值得注意的是，在测试过程中发现的任何缺陷都应该被记录下来，并在之后进行修复。这样的过程不仅能够提高软件的质量，还能帮助开发人员更好地理解和改进自己的代码。