On-the-fly model-based testing of web services with jambition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5387, Issue , 2009, Pages 224-239

  Frantzen, Lars ^a,b   Huerta, Maria De Las Nieves ^c   Kiss, Zsolt Gere ^c   Wallet, Thomas ^c  

^a ISTI CNR   (Italy)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^c Pragma Consultores ^*  (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

E-HEALTH SERVICES; FUNCTIONAL TESTING; MODEL BASED TESTING; MODEL-BASED; MULTIPLE ISSUE; ON-THE-FLY; SERVICE VALIDATION; SPECIFIC TOOL; SYMBOLIC TRANSITION SYSTEMS; TEST CASE; TEST CASE GENERATION; TEST COVERAGE; TESTING EFFORT; TIME-TO-MARKET;

FORMAL METHODS; FUNCTIONAL POLYMERS; MOBILE DEVICES; MODEL STRUCTURES; TESTING;

WEB SERVICES;

EID: 67649970173     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01364-5_14     Document Type: Conference Paper

References (32)

1. 3G Americas. 2.5 Billion GSM Subscribers Worldwide - More than a Million New Users Daily (press release), http://www.3gamericas.org/English/News Room/ DisplayPressRelease.cfm?id=2982&s=ENG, June 5 (2007)
2. Apfelbaum, L.: Automated Functional Test Generation. In: Proceedings of the Autotestcon 1995 Conference. IEEE, Los Alamitos (1995)
3. Business Wire Article. SOA Software Products Drive More Than 10 Billion Web Service Transactions, http://findarticles.com/p/articles/mi m0EIN/is 2006 Sept 18/ ai n16728778, September 18 (2006)
4. Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) TestCom 1999, pp. 179-196. Kluwer Academic Publishers, Dordrecht (1999)
5. Bianculli, D., Ghezzi, C., Spoletini, P.: A model checking approach to verify BPEL4WS workflows. In: IEEE SOCA 2007, pp. 13-20. IEEE Computer Society Press, Los Alamitos (2007) (Pubitemid 351165470)
6. Brinksma, E., Tretmans, J.: Testing transition systems: an annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.2067, pp. 187-195. Springer, Heidelberg (2001) (Pubitemid 33359631)
7. Bruno, G., Varani, M., Vico, V., Offerman, C.: Bene.ts of using model-based testing tools. In: Nesi, P. (ed.) Objective Quality 1995. LNCS, vol.926, pp. 224-235. Springer, Heidelberg (1995)
8. Christensen, E., et al.: Web Service De.nition Language (WSDL) ver. 1.1 (2001), http://www.w3.org/TR/wsdl
9. Clarke, D., Jéron, T., Rusu, V., Zinovieva, E.: STG: a Symbolic Test Generation tool. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.2280, p. 470. Springer, Heidelberg (2002)
10. Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test generation based on symbolic specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.3395, pp. 1-15. Springer, Heidelberg (2005) (Pubitemid 41241533)
11. Frantzen, L., Tretmans, J., Willemse, T.A.C.: A symbolic framework for modelbased testing. In: Havelund, K., Núñez, M., Rosu, G., Wol., B. (eds.) FATES 2006 and RV 2006. LNCS, vol.4262, pp. 40-54. Springer, Heidelberg (2006)
12. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. of WWW 2004, New York, USA, May 17-22, pp. 17-22 (2004) (Pubitemid 40752796)
13. García-Fanjul, J., Tuya, J., de la Riva, C.: Generating test cases specifications for compositions of web services. In: Bertolino, A., Polini, A. (eds.) WS-MaTe2006, pp. 83-94 (2006)
14. Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for test purpose de.nition. In: Uyar, M. Ú., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006 LNCS, vol.3964, pp. 1-18. Springer, Heidelberg (2006) (Pubitemid 44055067)
15. Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.3442, pp. 34-48. Springer, Heidelberg (2005) (Pubitemid 41273669)
16. Hofman, D.: Cost Bene.ts for Test Automation. In: STAR West 1999 (1999)
17. GlassFish Application Server homepage, https://glassfish.dev.java.net
18. GNU Prolog homepage, http://www.gprolog.org/
19. MagicDraw homepage, http://www.magicdraw.com
20. Netbeans IDE homepage, www.netbeans.org
21. Quick Sequence Diagram Editor homepage, http://sdedit.sourceforge.net/
22. STSimulator homepage, http://www.cs.ru.nl/~lf/tools/stsimulator/
23. Lau, J.: The State of European Enterprise Mobility in 2006, October 13, 2006. Forrester Research (2006)
24. Object Management Group. UML 2.0 Superstructure Specification, ptc/03-08-102 edition. Adopted Specification
25. PLASTIC project homepage, http://www-c.inria.fr/plastic
26. Web Host Industry Review. Web Services to Reach $21 Billion by 2007: IDC, http://www.thewhir.com/marketwatch/idc020503.cfm
27. Rong, L., Wallet, T., Fredj, M., Georgantas, N.: Mobile Medical Diagnosis: An m- Health Initiative through Service Continuity in B3G. In: Middleware 2007 Demos - ACM/IFIP/USENIX Middleware Conference (November 2007)
28. Sen, K., Agha, G.: CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.4144, pp. 419-423. Springer, Heidelberg (2006) (Pubitemid 44560895)
29. Business Process Execution Language for Web Services version 1.1 specification, http://www-128.ibm.com/developerworks/library/specification/ws- bpel/
30. Tillmann, N., de Halleux, J.: Pex - White Box Test Generation for.NET. In: Beckert, B., Hähnle, R. (eds.) TAP 2008. LNCS, vol.4966, pp. 134-153. Springer, Heidelberg (2008) (Pubitemid 351642008)
31. PLASTIC tools homepage, http://plastic.isti.cnr.it/wiki/tools
32. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools 17(3), 103-120 (1996) (Pubitemid 126797056)