Huiqun Zhao
A model checking based approach to automatic test suite generation for testing web services and BPEL.
Zhao, Huiqun; Sun, Jing; Liu, Xiaodong
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.
Citation
Zhao, H., Sun, J., & Liu, X. (2012). A model checking based approach to automatic test suite generation for testing web services and BPEL. In Proceedings of IEEE Asia-Pacific Services Computing Conference (61-69). https://doi.org/10.1109/APSCC.2012.29
Start Date | Dec 6, 2012 |
---|---|
End Date | Dec 8, 2012 |
Publication Date | 2012 |
Deposit Date | Nov 5, 2013 |
Peer Reviewed | Peer Reviewed |
Pages | 61-69 |
Book Title | Proceedings of IEEE Asia-Pacific Services Computing Conference |
ISBN | 978-1-4673-4825-6 |
DOI | https://doi.org/10.1109/APSCC.2012.29 |
Keywords | Automatic Test; BPEL Model Checking; LOTOS; Test Case Generation; Web Service Testing; TTCN-3; |
Public URL | http://researchrepository.napier.ac.uk/id/eprint/6482 |
Publisher URL | http://dx.doi.org/10.1109/APSCC.2012.29 |
You might also like
Emotion Recognition on Social Media Using Natural Language Processing (NLP) Techniques
(2023)
Conference Proceeding
Towards Improving Accessibility of Web Auditing with Google Lighthouse
(2023)
Conference Proceeding
Downloadable Citations
About Edinburgh Napier Research Repository
Administrator e-mail: repository@napier.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search