基于程序切片的可达路径选择的研究

摘要

测试作为软件开发过程中的一个重要环节,是保证软件质量的重要保证。对白盒测试(结构测试)和测试用例的生成来说,如何选择测试路径直接影响着测试的充分性和有效性,以及测试用例的质量,单纯地测试程序难以达到良好的效果,不能保证软件的质量。本文的主要是采用程序切片中静态切片技术并结合最小谓词策略对程序进行可达路径的选择,并以一个实例进行了说明。