实验四：黑盒测试 - 因果图法及测试用例设计

以昆明学院软件工程专业软件测试实验四为例

任务1：文件修改功能测试

问题描述：
程序根据输入的第一列（字符）和第二列（数字）判断是否修改文件。若第一列非A/B，输出错误信息N；若第二列非数字，输出错误信息M；若均正确，则修改文件。

实验步骤

1. 分析原因与结果

   • 原因（输入条件）：
     • C1：第一列是A或B。
     • C2：第二列是数字。
   • 结果（输出）：
     • E1：修改文件（C1和C2均为真）。
     • E2：输出错误信息N（C1为假）。
     • E3：输出错误信息M（C2为假）。

2. 绘制因果图

   • 逻辑关系：
     • C1 ∧ C2 → E1
     • ¬C1 → E2
     • ¬C2 → E3
   • 约束条件：
     • C1和C2独立，无互斥或包含关系。

3. 转化为决策表

   规则	C1	C2	E1	E2	E3
   1	T	T	X
   2	F	T		X
   3	T	F			X
   4	F	F		X	X

4. 设计测试用例

   测试用例ID	输入（第一列, 第二列）	预期输出
   TC1	A, 5	修改文件
   TC2	C, 5	错误信息N
   TC3	A, X	错误信息M
   TC4	C, X	错误信息N和M

5. 执行测试并填写缺陷报告

   • 若实际输出与预期不符，记录缺陷（如：输入C,5时未提示N）。

任务2：三角形问题测试

问题描述：
输入三个整数a、b、c，判断是否构成三角形及类型（等边、等腰、一般、非三角形）。

实验步骤

1. 分析原因与结果

   • 原因（输入条件）：
     • C1：a > 0
     • C2：b > 0
     • C3：c > 0
     • C4：a + b > c
     • C5：a + c > b
     • C6：b + c > a
     • C7：a = b
     • C8：a = c
     • C9：b = c
   • 结果（输出）：
     • E1：非三角形（C1-C6任一不满足）。
     • E2：等边三角形（C7 ∧ C8 ∧ C9）。
     • E3：等腰三角形（C7 ∨ C8 ∨ C9，但非等边）。
     • E4：一般三角形（其他情况）。

2. 绘制因果图

   • 逻辑关系：
     • E1：¬C1 ∨ ¬C2 ∨ ¬C3 ∨ ¬C4 ∨ ¬C5 ∨ ¬C6
     • E2：C7 ∧ C8 ∧ C9
     • E3：(C7 ∨ C8 ∨ C9) ∧ ¬E2
     • E4：否则

3. 简化决策表

   规则	C1-C3	C4-C6	C7-C9	输出
   1	T	T	全等	等边
   2	T	T	部分等	等腰
   3	T	T	不等	一般
   4	F	-	-	非三角形

4. 设计测试用例

   测试用例ID	a	b	c	预期输出
   TC1	5	5	5	等边三角形
   TC2	5	5	3	等腰三角形
   TC3	3	4	5	一般三角形
   TC4	1	2	3	非三角形
   TC5	-1	2	3	非三角形

5. 执行测试并记录缺陷

   • 例如，输入(5,5,10)时，若输出“等腰三角形”则存在缺陷（应为非三角形）。

实验报告内容

1. 实验目的：掌握因果图法的概念和应用。
2. 实验步骤：按上述步骤详细描述。
3. 测试用例表：列出所有测试用例及预期结果。
4. 缺陷报告：记录测试中发现的问题（如实际输出与预期不符）。
5. 总结：分析因果图法的优缺点及适用场景。

关注博主及时获取后续更新