论文部分内容阅读
程序切片是一种程序分析技术,它是通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序的。人们在调试一个程序的时候总是从错误语句s开始,并沿着依赖关系跟踪到它影响的程序部分。程序切片自动计算这些依赖,在程序理解、程序分析、调试、测试、软件维护、程序集成和软件质量保证等方面对程序员有所帮助。文章总结前人观点通过图示构造的方法得到面向过程的程序切片。