软件测试白盒测试实验报告.docVIP

西南科技大学计算机学院 实验报告 实 验 名 称 实 验 地 点 实 验 日 期 指 导 教 师 学 生 班 级 学 生 姓 名 学 生 学 号 1237 提 交 日 期 三角形判定 题目内容描述测试用例的编写 程序代码 #include iostream using namespace std; void main() { int b; int c; int a; cin a b c; if (a*b*c != 0 (a + b cb + c aa + c b)) { if (a == bb == c) { cout 您输入的是等边三角形！; } else if ((a + b ca == b) || (b + c ab == c) || (a + c ba == c)) { cout 您输入的是等腰三角形！; } else if ((a*a + b*b == c*c) || (b*b + c*c == a*a) || (a*a + c*c == b*b)) { cout 您输入的是直角三角形！; } else { cout ”普通三角形”; } } else{ cout 您输入的不能构成三角形; } } 程序流图 程序基本路径： 一：1 2 3 11 预期输出二1 2 4 5 11 预期输出 三1 2 4 6 7 11 预期输出 四1 2 4 6 8 9 11 预期输出 五预期输出 测试实验用例： 一语句覆盖 测试用例 对应输出 A=1,b=0,c=10 非三角行 A=3,B=4,C=5 直角三角形 A=2 B=3 C=2 等腰三角形 A=4 B=4 C=4 等边三角形 A=5 B=6 C=7 普通三角形 二：条件覆盖： 测试用例 通过路径 具体取值 A=101 B=78 C 98 输出:非三角型 路径一 A100 0B100 0C100 A=2 B=3 C 4 输出:普通三角型 路径五 0B100 0B100 0C100 A=3 B=4 C=5 输出直角三角形 路径四 0B100 0B100 0C100 (a*a+b*b==c*c)|| (b*b+c*c==a*a)|| (a*a+c*c==b*b) A=3 B=3 C=3 输出等边三角形 路径三 0B100 0B100 0C100 a==bb==c A=4 B=4 C=5 输出等腰三角形 路径二 0B100 0B100 0C100 a==b||b=C||C=A 三：判定条件覆盖: 测试用例 执行路径 覆盖条件 A=0、B=6 C=5 输出:非三角形 路径一 F1 A=6、B=5、C=7 输出:普通三角形 路径五 A=3 B=4 C=5 输出:直角三角形 路径四 A=3、B=3 C=3 输出:等边三角形 路径三 F3 A=2、B=5、C=5 输出:等腰三角形 路径 T1 F2 测试分析 测试中未发现明显错误“白盒”法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。“白盒”法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。