路径前缀测试策略的研究与实现

本文介绍了一个构造TD-P对(测试数据——路径对)的测试策略,首次将符号执行技术应用到由Prather R.E.等人提出的路径前缀测试策略上,从而克服了在静态路径测试中符号执行技术所遇到的困难,并第一次将测试数据之间的靠近性原理引入到测试数据产生算法中。利用这一方法只需要用户的极少干涉,就能产生测试数据。最后,给出了一个测试支持工具PPTS,并在PC机上实现了文中所提出的算法。

软件测试中TD—P对构造法新探

提出了构造TD—P对(测试数据—路径对)的测试策略,给出了一个测试支持工具PPTS(Path-Prefix Testing System)——路径前缀测试系统。在此系统中,首次将符号执行技术应用到动态执行系统中,从而克服了在静态测试系统中符号执行技术所遇到的三大难点;同时第一次将测试数据间的靠近性原理引入到测试数据的产生算法中。此系统已在IBM—PC机上实现。