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

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