DMCA
Approaches to Specification-Based Testing (1989)
| Venue: | In Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis, and Verification (TAV3 |
| Citations: | 38 - 4 self |
BibTeX
@INPROCEEDINGS{Richardson89approachesto,
author = {Debra J. Richardson and T. Owen O'Malley and Cindy Tittle},
title = {Approaches to Specification-Based Testing},
booktitle = {In Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis, and Verification (TAV3},
year = {1989},
pages = {86--96},
publisher = {ACM Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Current software testing practices focus, almost exclusively, on the implementation, despite widely acknowledged benefits of testing based on software specifications. We propose approaches to specification-based testing by extending a wide variety of implementation-based testing techniques to be applicable to formal specification languages. We demonstrate these approaches for the Anna and Larch specification languages. 1 Introduction Specifications provide valuable information for testing. Most software testing techniques, however, rely solely on the implementation for information upon which to select test data. These implementation-based testing techniques focus on the actual behavior of the implementation but ignore intended behavior, except inasmuch as test output is manually compared against it. On the other hand, considering information from formal specifications enables testing intended behavior as well as actual functionality. Specification-based testing techniques may direct ...
Keyphrases
specification-based testing test output practice focus valuable information test data introduction specification current software actual functionality implementation-based testing technique formal specification wide variety larch specification language actual behavior formal specification language information upon ignore intended behavior software specification
