白盒测试技术作业第二题

语句1：k=x*y-1； j=sqrt(k)；  
语句2：j=x*y+10； 
语句3：j=j%3；   

要求： 
（1）画出该程序的控制流图。 
（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径。