Toward automatic detection of software failures

To date, no method has explicitly and cost effectively dealt with failure detection in software systems whose specifications are nondeterministic. In such systems, the specification permits multiple outputs for the same input sequence and system state. Nondeterminism in specifications is advantageou...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Computer (Long Beach, Calif.) Calif.), 1998-08, Vol.31 (8), p.68-74
Hauptverfasser:	Savor, T., Seviora, R.E.
Format:	Artikel
Sprache:	eng
Schlagworte:	Automatic testing Costs Delay Failure analysis Law Legal factors Product testing Signal generators Software Software systems Software testing Specifications System testing Telephony
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!