基于程序依赖图的静态BPEL程序切片技术

被引：2

作者：

王洪达 ^{[1
]}

邢建春 ^{[1
]}

宋巍 ^{[2
]}

杨启亮 ^{[1
]}

机构：

[1] 解放军理工大学工程兵工程学院

[2] 南京理工大学计算机科学与技术学院

来源：

计算机应用 | 2012年 / 32卷 / 08期

基金：

高等学校博士学科点专项科研基金;

关键词：

Web服务组合; BPEL程序依赖图; 静态程序切片; 异步调用依赖;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。

引用

页码：2338 / 2341

页数：4

共 15 条

[1] Source Code Prioritization Using Forward Slicing for Exposing Critical Elements in a Program [J].

Mitrabinda Ray ;

Kanhaiya lal Kumawat ;

Durga Prasad Mohapatra .

Journal of Computer Science & Technology, 2011, 26 (02) :314-327

[2]

BPEL4WS unit testing:test case generation using a concurrent path analysis approach. YAN JUN,LI ZHONG-JI,YUAN YUAN. ISSRE 06:17th International Symposium on Software ReliabilityEngineering . 2006

[3]

Slicing object-oriented software. LARSEN L,HARROLD M J. ICSE’’96:Proceedings of the 18th International Conference on Soft-ware Engineering . 2006

[4]

An abstract GFSM model for optimal andincremental conformance testing of Web services. LI L,CHOU W,GUO W P. ICWS’’09:Proceedings of the IEEE International Conference on Web Services . 2009

[5]

Control flow analysis and coveragedriven testing for Web services. LI L,CHOU W,GUO W P. ICWS’’08:Proceedings of the2008 IEEE International Conference on Web Services . 2008

[6]

A Graph-Search Based Approach to BPEL4WS Test Generation. Y.Yuan,,Z.J.Li,,W. Sun. International Conference on Software Engineering Advances . 2006

[7]

Static slicing ofconcurrent object-oriented programs. ZHAO JIANJUN,CHENG JINGDE,USHIJIM K. COMPSAC’’96:Pro-ceedings of the 20th Conference on Computer Software and Applica-tions . 2006

[8]

Refactoringand publishing WS-BPEL processes to obtain more partners. SONG WEI,MA XIAOXING,CHEUNG S C,et al. IEEE International Conference on Web Services . 2011

[9]

Web Services Business ProcessExecution Language Version 2.0. Alexandre Alves等. http://docs.oasis-open.org/wsbpel/2.0/ . 2011

[10]

程序切片技术及其应用[M]. 科学出版社 , 李必信编著, 2006

← 1 2 →