Title :
A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL
Author :
Huiqun Zhao ; Jing Sun ; Xiaodong Liu
Author_Institution :
Dept. of Comput. Sci., North China Univ. of Technol., Beijing, China
Abstract :
With the rapid increase of Web Service applications, the reliability of web service and service composition has drawn particular attention from researchers and industries. Many methods for testing and verifying the reliability have been discussed, however, the existing methods are weak in test automation and therefore difficult in tackling the dynamic features of modern SOA based application. The traditional method of model checking and the technique of test suite generation have a large potential for the reliability verification of web services and service composition. In this paper, an approach to integrating the test suite generation technique with model checking is presented. The approach takes advantage of model checking to verify BPEL script at the logical level, and to generate test suite automatically based on the model description, and finally to select test cases with respect to the counterexamples of model checking output. The approach contributes a set of algorithms and its implementation to support a translation from BPEL to LOTOS, and LTS(Labeled Transition Systems, LTS in short) to TTCN(Test and Testing Control Notation, TTCN in short) behavior Tree. Finally, a case study is presented to demonstrate and verify the proposed approach.
Keywords :
Web services; program testing; program verification; service-oriented architecture; software reliability; specification languages; BPEL; LOTOS; LTS; SOA based application; TTCN behavior tree; Web service testing; Web services reliability verification; automatic test suite generation; labeled transition systems; model checking based approach; service composition; test and testing control notation; Bismuth; Educational institutions; Grammar; Model checking; Reliability; Web services; Automatic Test; BPEL Model Checking; LOTOS; Test Case Generation; Web Service Testing; and TTCN-3;
Conference_Titel :
Services Computing Conference (APSCC), 2012 IEEE Asia-Pacific
Conference_Location :
Guilin
Print_ISBN :
978-1-4673-4825-6
DOI :
10.1109/APSCC.2012.29