软件质量保证与测试课件 4.8符号测试.pptxVIP

软件质量保证与测试;符号测试;符号测试;符号测试;符号测试;符号测试;符号测试;符号测试中的解释程序需要在被测试程序的判定点计算谓词。例如，对程序段P1进行符号测试时判断输入数据C是否=60。很显然，一个IF语句就会形成两个执行分支。;

一个判断语句if……then…else的两个分支在一般情况下需要进行并行计算。语法路径的分支形成一棵“执行树”，树中每一个结点都是一个表示执行到该结点时累加判定的谓词，也就是包含输入符号、判断和运算的表达式。;一旦解释程序对被测源程序的每一条语法路径都进行了符号计算，就会对每一条路径给出一组输出，它是用输入符号，再加上遍历这条路径所必须满