PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Latella D., Massink M. A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification. Internal note CNUCE-B4-01-007, 2001.
 
 
Abstract
(English)
This paper proposes a formal testing framework for a behavioural subset of UML Statecharts Diagrams.
Subject UML Statecharts Diagrams
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