论文部分内容阅读
Program slicing is a method for automatical program decomposition.This paper presents an improvedslicing algorithm on the basis of static analysis of the control structure of loop statements.The slice obtainedby the new algorithm is guaranteed to be no larger than that obtained by the previous slicing algorithmdeveloped by Mark Weiser.Moreover,the former will be much smaller than the latter for certain kinds ofprograms.In addition,a brief discussion of using slicing in program verification has been given for the sakeof extending the application area of program slicing.
Program slicing is a method for automatical program decomposition. This paper presents an improvedslicing algorithm on the basis of static analysis of the control structure of loop statements. The slice obtained by the new algorithm is guaranteed to be no larger than that obtained by the previous slicing algorithmdeveloped by Mark Weiser. Moreover, the former will be much smaller than the latter for certain kinds ofograms. In addition, a brief discussion of using slicing in program verification has been for the sake of extending the application area of program slicing.