摘要
传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。
The slices of BPEL obtained are not complete if traditional program slicing technique is used. Therefore, a static BPEL program slicing technique based on BPEL program dependence graphs was proposed. This technique computed slices based on BPEL program dependence graphs, which were created according to the characteristics of BPEL. The results of case analysis prove that the technique based on BPEL program dependence graphs can obtain more complete slices, and thus giving software engineers more help to test, debug and maintain BPEL programs.
出处
《计算机应用》
CSCD
北大核心
2012年第8期2338-2341,共4页
journal of Computer Applications
基金
国家自然科学基金资助项目(61003019
61073031)
高等学校博士学科点专项科研基金资助项目(20113219120021)
