Software testability: the new verification

Software testability: the new verification

Most verification is concerned with finding incorrect code. Instead, this view looks at the probability that the code will fail if it is faulty. The authors present the benefits of their approach, describe how to design for it, and show how to measure testability through sensitivity analysis.< &g...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE software 1995-05, Vol.12 (3), p.17-28
Hauptverfasser: Voas, J.M., Miller, K.W.
Format: Artikel
Sprache:eng
Schlagworte:
Artificial intelligence
Automation
Computer aided software engineering
Formal verification
Humans
Law
Product testing
Programming
Sensitivity analysis
Software quality
Software standards
Software testing
Standards development
System testing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Most verification is concerned with finding incorrect code. Instead, this view looks at the probability that the code will fail if it is faulty. The authors present the benefits of their approach, describe how to design for it, and show how to measure testability through sensitivity analysis.< >
ISSN:0740-7459
1937-4194
DOI:10.1109/52.382180