软件工程 白盒测试

阅读下列程序： PROCEDURE SAMPAL (A，B：REAL； VAR X：REAL); BEGIN IF (A>3) AND (B=2) THEN X:=X/A IF (A=6) OR (X>4) THEN X:=X+1 END; 为上述程序设计测试用例（参考教材相关例题）。