Istituto di Scienza e Tecnologie dell'Informazione     
Pelliccione P., Muccini H., Bucchiarone A., Facchini F. TeStor: deriving test sequences from model-based specifications. In: Component-Based Software Engineering - CBSE 2005 (St. Louis, MO, USA, May 14-1 2005). Proceedings, vol. 3489 pp. 267 - 282. George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, et al. (eds.). (Lecture Notes in Computer Science). LNCS, 2005.
The dependability analysis of a component-based system may be driven by the components/system implementation or by the model-based specification provided prior to or together with the implementation. In particular, model-based testing allows to derive test cases from the model and to successively run them on the system implementation. Several techniques have been proposed so far to allow model-based testing. However, almost none of them show certain characteristics which are peculiar for use in industrial contexts. We here describe TGE, the Test Generation Engine, an algorithm which allows to extract test cases from both state machine and scenario diagrams. We detail the algorithm, we apply it to a system study and we provide a link on its implementation.
URL: http://www.springerlink.com
Subject Model-based Testing
Test case generation
Testing and checking of component-based systems
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional