白盒测试实验(共2页).doc

实验三 白盒测试实验1根据流程图编写程序，并使用逻辑覆盖测试方法测试。X8 AND Y5X0 OR Y0引用语句1引用语句2NYNYX16 OR Y10语引用句3NY语句1：k=x*y-1； j=sqrt(k)； 语句2：j=x*y+10；语句3：j=j%3；要求：（1）画出该程序的控制流图。（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径。#includestdio.hvoid main() int x=0,y=0,k=0; float j=5; printf(请输入X，Y的值); scanf(%d%d%dn,&x,&y,&j); if(x8&y5) if(x16|y10)j=j%3; printf(%dn,j); else return 0;