Automatic Timed Test Case Generation for Web Services Composition

被引：12

作者：

Lallali, Mounir ^{[1
]}

Zaidi, Fatiha ^{[2
,3
]}

Cavalli, Ana ^{[1
]}

Hwang, Iksoon ^{[1
]}

机构：

[1] TELECOM SudParis CNRS SAMOVAR, 9 Rue Charles Fourrier, F-91011 Evry, France

[2] Univ Paris Sud, UMR, LRI, F-91405 Orsay, France

[3] CNRS, F-91405 Orsay, France

来源：

PROCEEDINGS OF THE SIXTH IEEE EUROPEAN CONFERENCE ON WEB SERVICES | 2008年

关键词：

D O I：

10.1109/ECOWS.2008.14

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In order to specify the composition of Web services, WS-BPEL was defined as an orchestrating language by an international standards consortium. In this paper we propose a method to test composite Web service described in BPEL. As a first step, the BPEL specification is transformed into an Intermediate Format (IF) model that is based on timed automata, which enables modeling of timing constraints. We defined a conformance relation between two timed automata (of implementation and specification) and then proposed an algorithm to generate test cases. Test case generation is based on simulation where the exploration is guided by test purposes. The proposed method was implemented in a set of tools which were applied to a common Web service as a case study.

引用

页码：53 / +

页数：2

共 50 条

[41] Towards automatic regression test selection for web services
Ruth, Michael
Oh, Sehun
Loup, Adam
Horton, Brian
Gallet, Olin
Mata, Marcel
Tu, Shengru
[J]. COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 729 - +
[42] Tool for automatic test case generation
Sarala, S
Valli, S
[J]. KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2004, 108 : 65 - 74
[43] Automatic software test case generation
Department of Computer Engineering, Alzahra University of Tehran, Vanak St., Tehran, Iran
不详
[J]. J. Softw. Eng., 3 (91-101):
[44] Automatic Test-Case Generation
Machado, Patricia
Sampaio, Augusto
[J]. TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 59 - +
[45] Verification of Web Services with Timed Automata
Diaz, Gregorio
Pardo, Juan-Jose
Cambronero, Maria-Emilia
Valero, Valentin
Cuartero, Fernando
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (02) : 19 - 34
[46] Automatic composition of Semantic Web Services - A theorem proof approach
Ye, Li
Chen, Junliang
[J]. SEMANTIC WEB - ASWC 2006, PROCEEDINGS, 2006, 4185 : 481 - 487
[47] New automatic Web services composition method based on ontology
Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China
不详
[J]. J. Comput. Inf. Syst., 2007, 4 (1575-1580):
[48] A loosely coupled architecture for automatic composition of web services applications
[J]. Zuñiga, J.C. (juan.carlos@usp.br), 1600, Inderscience Enterprises Ltd., 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland (09):
[49] Magallanes: a web services discovery and automatic workflow composition tool
Javier Ríos
Johan Karlsson
Oswaldo Trelles
[J]. BMC Bioinformatics, 10
[50] Automatic Web services composition algorithm based on optimal matching
王俊丽
丁志军
侯玉兵
[J]. Journal of Central South University, 2011, 18 (04) : 1169 - 1177

← 1 2 3 4 5 →