软件工程实践：白盒测试与基本路径设计

在本次软件工程理论与实践的实验3——软件测试设计中，学生们被引导进行白盒测试的实践操作。白盒测试是一种基于程序内部逻辑结构的测试方法，它强调对程序控制流的分析。实验的核心内容是基于伪代码实现的一个简单程序，该程序包含两个变量x和y，并根据用户输入的n和i执行不同的更新操作。 伪代码描述了一个循环结构，其中n减一，对于每个迭代，检查i的值来决定x或y的更新。实验要求学生首先绘制程序的控制流图，这有助于理解代码的执行顺序和条件分支。控制流图显示了程序中的控制转移，包括条件判断和循环结构，如while循环从步骤②开始，到步骤⑧结束。 环路复杂度（V(G)）的计算是评估程序复杂性的指标，通过计算边（E）的数量减去顶点（N）的数量再加上2（表示源和汇），在这个例子中V(G) = E - N + 2 = 4，意味着存在4个独立的路径。 实验的第二个关键任务是设计基本路径测试用例。基本路径是指程序中所有可能的执行路径，这里是四个独立路径： 1. 当i等于0时，执行1-2-9（x = y + 2） 2. 当i等于1时，执行1-2-3-5-6-8-2-9（y = y + 10） 3. 当i不等于0且不等于1时，执行1-2-3-5-7-8-2-9（x = y + 20） 4. 一个额外的路径1-2-3-4-8-2-9，当i等于2时，但这里没有对应的伪代码行，可能是遗漏或错误。 学生需要为这些基本路径设计测试数据，如输入n和i的值，预期的程序行为，以及验证程序是否按预期输出结果。例如，测试用例{n=5, i=0}可能会期望输出{x=2, y=0}，而{n=3, i=1}可能会期望输出{x=0, y=10}。 这个实验不仅锻炼了学生对软件测试策略和方法的理解，还提升了他们设计和执行测试用例的能力，以及分析测试结果的能力，这些都是软件工程师必备的重要技能。通过实践，学生能够将理论知识应用到实际项目中，为未来的职业生涯打下坚实的基础。