对下列子程序进行调试：procedure example(y,z: real; var x: real)beginif (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)用白盒法设计测试用例，并写出它所满足的是何种覆盖标准、预期结果以及路径。