| 基于ASP的程序切片 |
| |
| 引用本文： | 翟仲毅,王雪松,赵岭忠.基于ASP的程序切片[J].桂林电子工业学院学报,2012(1):29-34. |
| |
| 作者姓名： | 翟仲毅 王雪松 赵岭忠 |
| |
| 作者单位： | [1]桂林电子科技大学计算机科学与工程学院,广西桂林541004 [2]桂林电子科技大学电子工程与自动化学院,广西桂林541004 |
| |
| 基金项目： | 国家自然科学基金（60803033 61063002）; 广西自然基金（2011GXNSFA018166;2011GXNSFA018164）; 武汉大学软件工程国家重点实验室开放基金（SKLSE2010-08-06）; 广西研究生教育创新计划资助项目（2010105950812M28） |
| |
| 摘 要： | 针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法。ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题。基于ASP的切片方法,可以把切片的查找转化为回答集的求解。另外,对传统数据流切片算法进行了改进;改进后的算法可以减少重复计算,提高了运行效率。通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器（DLV、Smodels、Cmodels）的执行效率,基于Cmod-els的改进算法的运行效率是最高的。
|
| 关 键 词： | 程序切片 数据流 回答集编程 |
Program slicing based on ASP |
| |
| Zhai Zhongyi,Wang Xuesong,Zhao Lingzhong.Program slicing based on ASP[J].Journal of Guilin Institute of Electronic Technology,2012(1):29-34. |
| |
| Authors: | Zhai Zhongyi Wang Xuesong Zhao Lingzhong |
| |
| Affiliation: | 1.School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China; 2.School of Electronic Engineering and Automation,Guilin University of Electronic Technology,Guilin 541004,China) |
| |
| Abstract: | Program slicing plays an important role in application of program comprehension and program testing.Therefore,a novel answer set programming（ASP） based solution to program slicing is proposed.ASP is a method for declarative problem solving,which can represent the problem of program slicing efficiently.Program slicing based on ASP is a method which translates locating of slice into computing the answer sets of ASP program.In addition,the traditional slicing algorithm with data flow is improved,which can reduce repetitive computation and enhance the operating efficiency for the process of program slicing.The experiment shows the correctness and efficiency of this method and compares the efficiency of three ASP solver（DLV、Smodels、Cmodels）,the improved algorithm based on Cmodels is the best one. |
| |
| Keywords: | program slicing dataflow answer set programming（ASP） |
| 本文献已被 维普 等数据库收录！ |
|
