P6 P7 P8 P9 P10 P11

1-2-3-5-7-12-14-16 1-2-3-5-7-12-14-13 1-3-5-7-8-13 1-3-5-7-8-9-13 1-3-5-7-8-9-10-13 1-3-5-7-8-9-10-11 等腰 不是 不是 不是 不是 一般 5.3.2程序测试用例生成及验证结果 y=X*B;(B从上文可知)

X=[1,10*exp(conj(x1))*conj(x2)*conj(x3),10*exp(conj(x2))*conj(x3),exp(conj(x3))*conj(x1)*conj(x2),100*exp(2*conj(x1))*conj(x2)^2*conj(x3)^2,100*exp(conj(x1))*exp(conj(x2))*conj(x2)*conj(x3)^2,10*exp(conj(x1))*exp(conj(x3))*conj(x1)*conj(x2)^2*conj(x3),100*exp(2*conj(x2))*conj(x3)^2,10*exp(conj(x2))*exp(conj(x3))*conj(x1)*conj(x2)*conj(x3),exp(2*conj(x3))*conj(x1)^2*conj(x2)^2] 当x1=3,x2=8,x3=16时y=25999

程序将生成25999个测试用例，用生成的测试用例执行程序得到的运行结果为 由运行结果我们可知

36

六、结束语

这次设计的重点是构造出多种高度、复杂度及输入参数的程序结构及代码的编写。难点是为程序插桩和数据拟合。软件测试的理论与方法的研究与应用是一个新的学术热点，也越来越受到大家的重视，而测试用例的研究仍处于不完善阶段，而软件测试是保证软件质量的重要手段，合适的测试用例个数能提高测试效率，减少工作量，节约成本。因此，总结出一个程序结构与测试用例个数之间的函数有着重要的理论意义和应用价值。

在此次设计中以程序结构图、控制流图分析、程序插桩等为辅助方法，采用随机生成测试用例方法执行程序以实现全路径覆盖，经过多次的实验结果拟合出公式。最后利用判定三角形的程序进行验证。虽然公式得到验证，但存在一定缺陷，并不是每次都能实现全路径覆盖。

37