2021年西安电子科技大学软件工程作业

附加题：1、对下列子程序进行调试：procedure example(y,z: real; var x: real)begin if (y>1) and (z=0) then x:=x/y; if (

附加题： 1、对下列子程序进行调试： procedure example(y,z: real; var x: real) begin if(y>1) and (z=0) then x:=x/y; if(y=2) or （x=l) then x:=x+l; end. 该子程序接收x, y, z值，并将计算结果x值返回给调用程序。答题要 求： (1)画出步骤图。 (2)用白盒法设计测试用例，并写出它所满足是何种覆盖标准、预期 结果和路径。 答：（1）步骤图 （2）用白盒法中条件组合覆盖设计测试用例： ①y=2, z=0, x=4; ②y=2, z=1, x=1; ③y=1, z=0, x=2;