软件工程一元二次方程白盒测试.docxVIP

4.完成软件白盒测试技术中的逻辑覆盖测试应用设计实验。 (理论考试重点内容实践) 一元二次方程白盒测试要求 自备C 语言程序（可从 C 语言程序设计的教科书上摘录若干典型程序,其他 C++、C#、Java 程序均可）； #include iostream #include math.h using namespace std; int main() { float a,b,c,mid,x1,x2,real,image; cout 请输入三个实数:; cin abc; cout \n 方程; if(fabs(a)= 0) cout 不是二次方程，解为： -c/bendl; else { mid= b*b-4*a*c; if(fabs(mid)= 0) cout 有两个相等的实数根：-b/(2*a)endl; else if (mid0) { } else { } } } x1=(-b+sqrt(mid))/(2*a); x2=(-b-sqrt(mid))/(2*a); cout 有两个不相等的实数根：x1和 x2 endl; x1 = -b/(2*a); x2 = sqrt(-mid)/(2*a); cout 有两个复数根：endl; cout real + image iendl; cout real - image iendl; _.i1－＿toP11ocegg petupned(0x0)和s46a打程百两， ＇一不． 相等们工数 _.i 1 － ＿ to P11ocegg petupned (0x0) 和 s 4 6 a 启 ： - 1 2 ｀P士 e s s＿any ｀ P士 e s s ＿ 亡二l key execution time 5_613 continue_ continue_ ·36方程有酉i·复贷根 · 3 6 —8 - 5 +8 . 5 i -9.5-9.5i Jet Jet Uln e d any ke9 to  n}(0x0) n} continue.  execution time 4-448 s根据该程序绘制对应的程序流程图； s 分别根据程序流程图给出符合语句覆盖、判定覆盖、条件覆盖、路径覆盖以及判定/条件覆盖和条件组合覆盖的的测试用例以及预期的运行结果； 语句覆盖 测试用例 期望结果 路径 测试结果 A=0 b=任意 c=任意 不是二次方程 1-2 A=1 b=6 c=4 求两个不等实根 1-2-3-4-5-9 X1=-0.38 x2=-2.618 A=1 b=4 c=4 两个相等的实数根 1-2-3-4-6-7-9 X1=x2=2 A=6 b=6 c=2 求两个复数根 1-2-3-4-6-8-9 X1=-0.5+0.866i x2=-0.5-0.866i 判定覆盖、条件覆盖、路径覆盖以及判定/条件覆盖和条件组合覆盖 测试用例 期望结果 路径 测试结果 A=0 b=任意 c=任意 不是二次方程 1-2 A=1 b=6 c=4 求两个不等实根 1-2-3-4-5-9 X1=-0.38 x2=-2.618 A=1 b=4 c=4 两个相等的实数根 1-2-3-4-6-7-9 X1=x2=2 A=6 b=6 c=2 求两个复数根 1-2-3-4-6-8-9 X1=-0.5+0.866i x2=-0.5-0.866i 根据程序流程图画出流图，并确定线性独立路径的基本集合，然后给出符合各集合的测 试用例； 路径 1：1-2-12 路径 2：1-2-3-4-5-10-11 路径 3：1-2-3-4-6-7-9-10-11 路径 4：1-2-3-4-6-8-9-10-11 根据上述测试用例执行程序,对比实际运行结果和预期运行结果,结果比对最好采用表格的形式。 预期运行结果 不是二次方程 求两个不等实根 两个相等的实数根求两个复数根 对以上实验结果进行适当地分析与总结。 实际运行结果 X1=-0.38 x2=-2.618 X1=x2=2 X1=-0.5+0.866i x2=-0.5-0.866i 本次实验主要是运用白盒测试的方法，设计测试用例。白盒测试主要包括语句覆盖、判 定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和路径覆盖。白盒测试试图穷举路径测试， 一般来说，穷举路径测试是不可能的，即使每条路径都测试了，也还是有可能出错。通过本次实验，还了解了各种覆盖的区别与联系。