Model-based testing of service-oriented applications via state models

Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011

Volumn , Issue , 2011, Pages 432-439

  Endo, Andre Takeshi ^a   Simao, Adenilso ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

Finite state machines; Model based testing; Service oriented architecture; Web services

Indexed keywords

BUSINESS PROCESS; DISTRIBUTED APPLICATIONS; ITS EFFICIENCIES; MODEL BASED TESTING; PROTOTYPE TOOLS; SERVICE ORIENTED; STATE MODELS; TEST CASE GENERATION;

FINITE AUTOMATA; INFORMATION SERVICES; INTEROPERABILITY; MODEL CHECKING; WEB SERVICES;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 80053150382     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2011.77     Document Type: Conference Paper

References (20)

1. MacKenzie et al., "OASIS reference model for service oriented architecture 1.0," 2006. [Online]. Available: http://docs.oasis-open.org/ soa-rm/v1.0/
2. G. Canfora and M. Di Penta, "SOA: Testing and self-checking," in International Workshop on Web Services-Modeling and Testing, 2006, pp. 3-12.
3. Dalal et al., "Model-based testing in practice," in International conference on Software engineering, 1999, pp. 285-294.
4. M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., 2006.
5. Keum et al., "Generating test cases for web services using extended finite state machine," in IFIP International Conference on Testing of Communicating Systems, 2006, pp. 103-117. (Pubitemid 44044865)
6. R. Heckel and L. Mariani, "Automatic conformance testing of web services," in International Conference on Fundamental Approaches to Software Engineering, 2005, pp. 34-48. (Pubitemid 41273669)
7. Dranidis et al., "Formal verification of web service behavioural conformance through testing," Annals of Mathematics, Computing & Teleinformatics, vol. 1, no. 5, pp. 36-43, 2007.
8. Frantzen et al., "On-the-fly model-based testing of web services with jambition," in International Workshop on Web Services and Formal Methods, 2008, pp. 143-157.
9. D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines - a survey," Proceedings of the IEEE, vol. 84, no. 8, pp. 1090-1123, 1996. (Pubitemid 126752579)
10. Hierons et al., "Using formal specifications to support testing," ACM Computing Surveys, vol. 41, no. 2, pp. 1-76, 2009.
11. M. P. Papazoglou and W.-J. Heuvel, "Service oriented architectures: approaches, technologies and research issues," The International Journal on Very Large Databases, vol. 16, no. 3, pp. 389-415, 2007.
12. M. N. Huhns and M. P. Singh, "Service-oriented computing: Key concepts and principles," IEEE Internet Computing, vol. 9, no. 1, pp. 75-81, 2005. (Pubitemid 40351902)
13. Jordan et al., "OASIS web services business process execution language (WSBPEL) v2.0," 2007. [Online]. Available: http://docs.oasis-open. org/wsbpel/2.0/
14. Kavantzas et al., "Web services choreography description language version 1.0," 2005. [Online]. Available: http://www.w3.org/TR/ws-cdl-10/
15. OSA, "Parlay x web services," 2009. [Online]. Available: http://www.3gpp.org/ftp/Specs/html-info/29199-01.htm
16. A. Pretschner and J. Philipps, "Methodological issues in model-based testing," in Model-Based Testing of Reactive Systems, 2004, pp. 281-291. (Pubitemid 350227431)
17. L. Mei, W. K. Chan, and T. H. Tse, "Data flow testing of service choreography," in Symposium on the Foundations of Software Engineering, 2009, pp. 151-160.
18. A. Simao and A. Petrenko, "Fault coverage-driven incremental test generation," Computer Journal, vol. 53, pp. 1508-1522, 2010.
19. JUnit, "Junit.org resources for test driven development," 2011. [Online]. Available: http://www.junit.org
20. ASF, "Apache maven project," 2011. [Online]. Available: http://maven.apache.org