Model-Based Specification Animation Using Testgraphs

This paper presents a framework for systematically animating specifications using testgraphs: directed graphs that partially model the specification being animated. Sequences for the animation are derived by traversing the test-graph. The framework provides a testgraph editor that allows users to ed...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Miller, Tim, Strooper, Paul
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Current Node Destination Node Exact sciences and technology IEEE Computer Society Information retrieval. Graph Model Check State Machine Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!