Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach

The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but could be huge) set Bad. We introduce a novel approach to solve the problem that does not require integration testing. Instead,...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Xie, Gaoyan, Dang, Zhe
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Integration Testing Label Transition System Model Check Observable Behavior Software Software engineering Test Sequence
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!