Automated test case generation for programs specified by relational algebra queries

Automated test case generation for programs specified by relational algebra queries

Black-box software testing requires test cases to be generated from specifications alone. However, it is impossible to automate the process completely for arbitrary specifications. Specifications are thus restricted to being written entirely in terms of relational algebra expressions. An automated t...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering 1990-03, Vol.16 (3), p.316-324
Hauptverfasser: Tsai, W.T., Volovik, D., Keefe, T.F.
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Applied sciences
Automatic generation control
Automatic testing
Automation
Boolean
Computer aided software engineering
Computer programming
Computer science
Computer science
control theory
systems
Data processing
Exact sciences and technology
Information retrieval
Mathematical models
Process design
Programming
Queries
Software
Software development
Software engineering
Software testing
System testing
Systems development
Testing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Black-box software testing requires test cases to be generated from specifications alone. However, it is impossible to automate the process completely for arbitrary specifications. Specifications are thus restricted to being written entirely in terms of relational algebra expressions. An automated test case generation method is developed for such specifications.< >
ISSN:0098-5589
1939-3520
DOI:10.1109/32.48939