Generating test data from state-based specifications

Although the majority of software testing in industry is conducted at the system level, most formal research has focused on the unit level. As a result, most system‐level testing techniques are only described informally. This paper presents formal testing criteria for system level testing that are b...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Software testing, verification & reliability Jg. 13; H. 1; S. 25 - 53
Hauptverfasser:	Offutt, Jeff, Liu, Shaoying, Abdurazik, Aynur, Ammann, Paul
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Chichester, UK John Wiley & Sons, Ltd 01.01.2003
Schlagworte:	formal methods software testing specification-based testing
ISSN:	0960-0833, 1099-1689
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!