基于ASP的程序切片

• 作者: 王雪松 翟仲毅 赵岭忠
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 程序切片 数据流 回答集编程
• 年，卷（期）: 2012,（1）
• 页码范围: 29-34
• 分类号: TP301
• 字数: 3694字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2012.01.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵岭忠	桂林电子科技大学计算机科学与工程学院	64	229	8.0	11.0
2	王雪松	桂林电子科技大学电子工程与自动化学院	13	26	3.0	5.0
3	翟仲毅	桂林电子科技大学计算机科学与工程学院	5	24	2.0	4.0