Symbolic model based testing for component oriented systems

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

Volumn 4581 LNCS, Issue , 2007, Pages 90-106

  Faivre, Alain ^a   Gaston, Christophe ^a   Le Gall, Pascale ^b  

^a DIF   (France)

^b UNIVERSITY OF EVRY   (France)

Author keywords

Component based system; Input output symbolic transition system; Ioco based conformance testing; Symbolic execution

Indexed keywords

COMMUNICATION SYSTEMS; ENCAPSULATION; SOFTWARE DESIGN; SPECIFICATIONS; SUPERVISORY AND EXECUTIVE PROGRAMS; SYNCHRONIZATION; BUILDING COMPONENTS; COMPUTER AIDED ANALYSIS; MODEL CHECKING; SOFTWARE ENGINEERING;

COMPONENT ORIENTED SYSTEMS; SPECIFIC USES; SYMBOLIC MODEL; SYMBOLIC TRANSITION SYSTEMS; COMPONENT BASED SYSTEMS; COMPONENT-ORIENTED; COMPONENT-ORIENTED APPROACH; CONFORMANCE TESTING; SYMBOLIC EXECUTION; SYNCHRONIZED PRODUCT; SYSTEM SPECIFICATION;

SOFTWARE TESTING;

EID: 34548073155     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73066-8_7     Document Type: Conference Paper

References (13)

1. Berrada, I., Castanet, R., Félix, P.: Testing Communicating Systems: a Model, a Methodology, and a Tool. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 111-128. Springer, Heidelberg (2005)
2. Bigot, C., Faivre, A., Gallois, J.-P., Lapitre, A., Lugato, D., Pierron, J.-Y., Rapin, N.: Automatic test generation with AGATHA. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS, vol. 2619, pp. 591-596. Springer, Heidelberg (2003)
3. Frantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) Formal Approaches to Software Testing and Runtime Verification. LNCS, vol. 4262, pp. 40-54. Springer, Heidelberg (2006)
4. Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic Execution Techniques for Test Purpose Definition. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 1-18. Springer, Heidelberg (2006).
5. Gotzhein, R., Khendek, F.: Compositional Testing of Communication Systems. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 227-244. Springer, Heidelberg (2006)
6. Jeannet, B., Jéron, T., Rusu, V., Zinovieva, E.: Symbolic test selection based on approximate analysis. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 349-364. Springer, Heidelberg (2005)
7. King, J.-C: A new approach to program testing. In: Proc. of the Int. Conference on Reliable software, vol. 21(23), pp. 228-233 (1975)
8. Lugato, D., Rapin, N., Gallois, J.-P.: Verification and tests generation for SDL industrial specifications with the AGATHA toolset. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 1404-3203. Springer, Heidelberg (2001) ISSN 1404-3203
9. Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: TeStor: Deriving Test Sequences from Model-based Specification. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 267-282. Springer, Heidelberg (2005)
10. N. Rapin, C. Gaston, A. Lapitre, and J.-P. Gallois. Behavioural unfolding of formal specifications based on communicating automata. In: Proc. of the 1th Int. Workshop ATVA 2003 (2003)
11. Tretmans, J.: Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems 29, 49-79 (1996)
12. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools 17(3), 103-120 (1996)
13. van der Biji, M., Rensink, A., Tretmans, J.: Compositional Testing with IOCO. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 86-100. Springer, Heidelberg (2004)