软件测试 白盒测试(大学软件工程课程实验)

实验目的:学习逻辑覆盖测试法。 实验任务:阅读下列程序: 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; 为上述程序设计测试用例(参考教材相关例题)。 实验要求:形成相应的实验报告。包括: 1、 画出程序流程图,程序图 2、