基于ASP的程序切片

摘要：

针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法.ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题,基于ASP的切片方法,可以把切片的查找转化为回答集的求解.另外,对传统数据流切片算法进行了改进；改进后的算法可以减少重复计算,提高了运行效率.通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器(DLV、Smodels、Cmodels)的执行效搴,基于Cmodels的改进算法的运行效率是最高的.

关键词：程序切片、数据流、回答集编程

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60803033,61063002;广西自然基金2011GXNSFA018166,2011GXNSFA018164;武汉大学软件工程国家重点实验室开放基金SKLSE2010-08-06;广西研究生教育创新计划资助项目2010105950812M28

在线出版日期：2012-06-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：29-34