程序切片技术研究及其在软件测试数据生成中的应用
本文全面系统地阐述了程序切片技术并研究了现有的研究成果,在已有动态切片算法基础上,引入了支配关系这一概念,提出了一种新的基于前向分析的动态切片算法。通过引入支配关系表示出程序中谓词的覆盖范围,由支配关系的传递性,清晰地表示出源程序的程序结构;从而实现了对每条语句或语句块而言,只要关心在动态执行过程中语句或语句块的本身,该语句或语句块有无支配点以及邻近支配点的执行情况即可判断出该语句是否应包含在相应的切片中。实验表明,这种切片算法是行之有效的。
软件技术;程序切片;软件测试
北京化工大学
硕士
计算机应用技术
赵瑞莲
2005
中文
TP311.52;TP311.1
50
2005-11-16(万方平台首次上网日期,不代表论文的发表时间)