软件测试-第五章.pptVIP

1 2 3 4 5 6 7 8 4 4 5 5 8 8 T T T 求最大公因数程序的符号执行树 该程序的符号执行数： 从树的根结点到每片叶子结点 都构成了程序的一条路径， 控制流上注明的是路径条件。 在分支处，一个分支谓词的符号值实际上是对输入数据的限制要求。 路径条件是该路径的谓词系统，它由多个等式或不等式组成。 通过求解不等式，得到满足路径上各限制谓词的测试数据。 若不等式无解，则相应的路径为不可行路径， 这便是符号测试的意义所在。 5.5 符号测试 符号测试可以看作是测试与验证的一个折衷方法。 一方面，它沿用了传统的程序测试方法，通过运行被测 程序来检验它的可靠性。 另一方面，由于一次符号测试的结果代表了一大类普通 测试的运行结果，实际上是证明了程序接受此类输入，所得 输出是正确的，还是错误的。 最为理想的情况是，程序中仅有有限的几条执行路径。 如果对这有限的几条路径都完成了符号测试，就能较有把 握地确认程序的正确性了。 问题的关键在于是否能够开发出比传统的编译器功能更强， 能够处理符号运算的编译器或解释器。 5.5 符号测试 在实际运用时，符号测试可按以下步骤进行： ①利用符号执行解释器对被测程序进行符号执行。 ②若是遇到程序不能继续执行的情况，要求用户 干预，或是遍历执行树的各分支路径。 ③化简得到的路径条件。 ④用解线性不等式方法