基于程序切片的可达路径选择的研究
测试作为软件开发过程中的一个重要环节,是保证软件质量的重要保证。对白盒测试(结构测试)和测试用例的生成来说,如何选择测试路径直接影响着测试的充分性和有效性,以及测试用例的质量,单纯地测试程序难以达到良好的效果,不能保证软件的质量。本文的主要是采用程序切片中静态切片技术并结合最小谓词策略对程序进行可达路径的选择,并以一个实例进行了说明。
白盒测试 静态切片 可达路径 软件开发
王磊 马建红 樊世燕 周华 辛政华
河北工业大学计算机科学与软件学院,天津 300401
国内会议
北京
中文
422-425
2008-01-01（万方平台首次上网日期，不代表论文的发表时间）