Model-based functional conformance testing of Web services operating on persistent data

Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, TAV WEB'06

Volumn 2006, Issue , 2006, Pages 17-22

  Sinha, Avik ^a   Paradkar, Amit ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL SPECIFICATIONS; CONFORMANCE TESTING; EXTENDED FINITE STATE MACHINE (EFSM); WEB SERVICES DESCRIPTION LANGUAGE (WSDL);

COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; FINITE AUTOMATA; FUNCTIONAL ANALYSIS; MATHEMATICAL MODELS; SOFTWARE TESTING;

WEB SERVICES;

EID: 34247359592     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1145718.1145721     Document Type: Conference Paper

References (24)

1. Rama Akkiraju, Joel Farrell, John Miller, Meenakshi Nagarajan, Marc-Thomas Schmidt, Amit Sheth, and Kunal Verma. Web service semantics - wsdl-s, 2005.
2. P. E. Amman, P. E. Black, and W. Majurski. Using model checking to generate tests from specifications. In Proc. Int. Conf. on Formal Eng. Methods, pages 46-54, 1998.
3. Xiaoying Bai, Wenli Dong, Wei-Tek Tsai, and Yinong Chen. Wsdl-based automatic test case generation for web services testing. In Proc. IEEE International Workshop on Service-Oriented System Engineering'05, pages 215-220, 2005.
4. A. Bertolino, L. Frantzen, A. Polini, and J. Tretmans. Audition of web services for testing conformance to open specified protocols. In Ralf Reussner, Judith Stafford, and Clemens Szyperski, editors, Architecting Systems with Trustworthy Components, number 3938 in LNCS. Springer-Verlag, 2006.
5. P. E. Black, V. Okum, and Y. Yesha. Mutation operators for specifications. In Proc. Second IEEE Int. Conf. on Formal Eng. Methods, pages 46-54, 1998.
6. D. Clarke, T. Jron, V. Rusu, and Elena Zinovieva. "STG: a Symbolic Test Generation tool". In TACAS'02, pages 470-475, 2002.
7. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In FME'93, pages 268-284, 1993.
8. G. Friedman, A. Hartman, K. Nagin, and T. Shiran. Projected state machine coverage for softare testing. In Proc. ACM Int. Symp. on Software Testing and Analysis, pages 134-143, July 2002.
9. P. Fröhlich and J. Link. Automated test generation from dynamic models. In Proc. ECOOP 2000, LNCS 1850, pages 472-491. Springer-Verlag, 2000.
10. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. "Extracting a finite state machine from ASM specification". In Proc. Int. Symp. on Software Testing, and Analysis, pages 112-122, July 2002.
11. R. Heckel and M. Lohmann. Towards contract-based testing of web services, 2004.
12. Reiko Heckel and Leonardo Mariani. Automatic conformance testing of web services.
13. R. Hierons. Testing from a z specifications. J. Soft. Testing, Verification, and Reliability, 7(1):19-33, 1997.
14. A. Howe, A. von Mayrhauser, and R. T. Mraz. Test Case Generation as an AI Planning Problem. Automated Software Eng., 4:77-106, 1997.
15. B. Legeard, F. Peureux, and M. Utting. Generation of functional test sequences from b formal specifications - presentation and industrial case-study. In Proc. Conf. on Automated Software Engineering, pages 290-301, 2001.
16. Bruno Legeard, Fabien Peureux, and Mark Utting. A comparison of the btt and ttf test-generation methods. In Proc. of ZB '02, pages 309-329, 2002.
17. A. M. Memon, M. E. Pollock, and M L Soffa. Using a Goal-driven Approach to Generate Test Cases for GUIs. In Proc. of the 21st Int. Conf. on Software Eng., pages 257-266. ACM Press, May 1999.
18. L. Murray, D. Carrington, I. MacColl, J. McDonald, and P. Strooper. Formal derivation of finite state machines for class testing. In Proc. ZUM'98, pages 42-49, 1998.
19. J. Offutt, S. Liu, A. Abdurazik, and P. Ammann. Generating test data from state-based specifications. J. Software Testing, Verification and Reliability, 13:25-53, 2003.
20. A. M. Paradkar. "Plannable Test Selection Criteria for FSMs Extracted from Operational Specifications". In Proc. of Int. Symp. on Software Reliablity Eng.'2004, pages 173-184, November 2004.
21. A. M. Paradkar. Towards model-based generation of self-priming and self-checking conformance tests for interactive systems. Journal of Information and Software Technology, 46(5):315-322, May 2004.
22. A. Pretschner, O. Slotosch, H. Lötzbeyer, E. Aiglstorfer, and S. Kriebel. Model based testing for real: the inhouse card case-study. In Proc. Int. Workshop on Formal Methods for Industrial Critical Systems, pages 79-94, 2001.
23. K. C. Tai. Theory of fault-based predicate testing for computer programs. IEEE Trans. Software Eng., 22(8):552-562, August 1996.
24. Wei-Tek Tsai, Yinong Chen, Raymond Paul, Hai Huang, Xinyu Zhou, and Xiao Wei. Adaptive testing, oracle generation, and test case ranking for web services. In COMPSAC (1), pages 101-106, 2005.