Program Slicing:Its Improved Algorithm and Application in Verification

【摘要】 <正> 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.更多还原

【Abstract】 Program slicing is a method for automatical program decomposition.This paper presents an improved slicing 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 algorithm developed by Mark Weiser.Moreover,the former will be much smaller than the latter for certain kinds of programs.In addition,a brief discussion of using slicing in program verification has been given for the sake of extending the application area of program slicing.更多还原