论文部分内容阅读
为弥补传统程序切片方法在切片点变量选择上的局限性，提出了一种灵活的切片准则，并基于该切片准则给出了一种新的切片方法．该方法将程序划分成一种块状结构，把切片划分为块内切片和块外切片，利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果．实验结果表明，该方法是可行的，弥补了现有程序切片方法的缺陷．