Title :
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.
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;
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
DOI :
10.1109/TAIC-PART.2006.11
