【摘要】 程序分片是一种对程序进行自动分解的方法.本文在对循环语句的控制结构作静态分析的基础上,提出了一种改进的程序分片算法.用新算法所求得的分片在任何情况下都不会比用原有的由Mark Weiser提出的算法所求得的分片大.而且对某些类型的程序,前者将远远小于后者.另外,还扼要地讨论了程序分片在程序验证中的应用.更多还原

【Abstract】 Program Slicing is a method for decomposing programs automatically. This paper proposes an improved slicing algorithm on the static analysis of the control structure of loop statements. No bigger than that obtained by Weiser’s slicing algorithm, the slice obtained by the new algorithm is much smaller for certain kinds of programs. The application of program slicing in verification is briefly discussed.更多还原