桂林电子科技大学学报
桂林電子科技大學學報
계림전자과기대학학보
JOURNAL OF GUILIN UNIVERSITY OF ELECTRONIC TECHNOLOGY
2012年
1期
29-34
,共6页
程序切片%数据流%回答集编程
程序切片%數據流%迴答集編程
정서절편%수거류%회답집편정
针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法.ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题,基于ASP的切片方法,可以把切片的查找转化为回答集的求解.另外,对传统数据流切片算法进行了改进；改进后的算法可以减少重复计算,提高了运行效率.通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器(DLV、Smodels、Cmodels)的执行效搴,基于Cmodels的改进算法的运行效率是最高的.
針對程序切片在程序理解和程序測試方麵的應用,提齣瞭一種基于ASP的程序切片方法.ASP是一種聲明性問題解決方法,它可以高效地描述程序切片問題,基于ASP的切片方法,可以把切片的查找轉化為迴答集的求解.另外,對傳統數據流切片算法進行瞭改進；改進後的算法可以減少重複計算,提高瞭運行效率.通過實驗錶明瞭此改進法的正確性和高效性;併且比較瞭3種ASP求解器(DLV、Smodels、Cmodels)的執行效搴,基于Cmodels的改進算法的運行效率是最高的.
침대정서절편재정서리해화정서측시방면적응용,제출료일충기우ASP적정서절편방법.ASP시일충성명성문제해결방법,타가이고효지묘술정서절편문제,기우ASP적절편방법,가이파절편적사조전화위회답집적구해.령외,대전통수거류절편산법진행료개진；개진후적산법가이감소중복계산,제고료운행효솔.통과실험표명료차개진법적정학성화고효성;병차비교료3충ASP구해기(DLV、Smodels、Cmodels)적집행효건,기우Cmodels적개진산법적운행효솔시최고적.
