Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking

Author

García-Fanjul, José ; De La Riva, Claudio ; Tuya, Javier

Author_Institution

Comput. Sci. Dept., Oviedo Univ.

fYear

2006

fDate

29-31 Aug. 2006

Firstpage

127

Lastpage

130

Abstract

Testing compositions of Web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing method for compositions of Web services. A formal verification tool (the SPIN model checker) is used to automatically generate test suites for compositions specified in an industry standard language: BPEL. Adequacy criteria is employed to define a systematic procedure to select the test cases. Preliminary results have been obtained using a transition coverage criterion

Keywords

Internet; business data processing; conformance testing; formal specification; program testing; program verification; BPEL industry standard language; SPIN model checker formal verification tool; Web service compositions; adequacy criteria; conformance test suites; Application software; Automatic testing; Computer industry; Computer science; Formal verification; Investments; Software testing; System testing; Unified modeling language; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Testing: Academic and Industrial Conference - Practice And Research Techniques, 2006. TAIC PART 2006. Proceedings

Conference_Location

Windsor

Print_ISBN

0-7695-2672-1

Type

conf

DOI

10.1109/TAIC-PART.2006.11

Filename

1691678