PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Latella D., Massink M. Formal conformance testing UML statechart diagrams behaviours: from theory to automatic test generation. Internal note CNUCE-B4-01-016, 2001.
 
 
Abstract
(English)
In this paper we propose a formal conformace testing relation for behavioral subset of UML Satechart Diagrams and an automatic test case generation algorithm.
Subject UML Statecharts Diagrams
Test generation
Formal sematics
D.2.5 Testing and Debugging


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