Integration testing of distributed components based on learning parameterized I/O models

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

Volumn 4229 LNCS, Issue , 2006, Pages 436-450

  Li, Keqin ^a   Groz, Roland ^a   Shahbaz, Muzammil ^b  

^a LSR IMAG   (France)

^b ORANGE LABS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; DATA STRUCTURES; INTEROPERABILITY; LARGE SCALE SYSTEMS; TELECOMMUNICATION SYSTEMS; FORMAL METHODS; INTEGRATION;

BLACK BOXES; INTERNAL STRUCTURE; TELECOM SERVICES; BLACK-BOX COMPONENTS; COMPONENT INTEGRATION; DISTRIBUTED COMPONENTS; INCREMENTAL LEARNING; INTEROPERABILITY TESTING; PARAMETERIZED MODEL;

DISTRIBUTED COMPUTER SYSTEMS; INTEGRATION TESTING;

EID: 33750541434     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11888116_31     Document Type: Conference Paper

References (8)

1. Dana Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2:87-106, 1987.
2. Therese Berg, Bengt Jonsson, and Harald Raffelt. Regular inference for state machines with parameters. Lecture Notes in Computer Science, 3922:107-121, March 2006.
3. Edith Elkind, Biaise Genest, Doron Peled, and Hongyang Qu. Grey box checking. In 26th IFIP WG 6.1 International Conference on Formal Models for Networked and Distributed Systems (FORTE 2006), 2006.
4. Hardi Hungar, Oliver Niese, and Bernhard Steffen. Domain-specific optimization in automata learning. In CAV, pages 315-327, 2003.
5. Keqin Li, Roland Groz, and Muzammil Shahbaz. Inference of parameterized finite state machine - technical report. Technical report, Laboratoire Logiciels Systèmes Réseaux, http://www-lsr.imag.fr/Les.Groupes/VASCO/publi- 2006.htm, 2006.
6. Keqin Li, Roland Groz, and Muzammil Shahbaz. Integration testing of components guided by incremental state machine learning. In Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART), 2006.
7. Erkki Mäkinen and Tarja Systä. Mas - an interactive synthesizer to support behavioral modelling in uml. In ICSE '01: Proceedings of the 23rd International Conference on Software Engineering, pages 15-24, Washington, DC, USA, 2001. IEEE Computer Society.
8. Stephane S. Somé. Beyond scenarios: generating state models from use cases. In Proceedings of SCESM'02, 2002.