1. Testing Ada 95 object-oriented programs
- Author
-
Stéphane Barbey and Toussaint, M.
- Subjects
Paper ,Object-oriented programming ,Focus (computing) ,business.industry ,Programming language ,Computer science ,Testing ,Conform ,computer.software_genre ,Oracle ,Reduction (complexity) ,Ada ,Software ,Test set ,Key (cryptography) ,business ,computer ,Testing software - Abstract
We show some of the specific problems for testing software introduced by the object-oriented features of Ada 95, and focus on specification-based testing, since this strategy is the key strategy for testing object-oriented software. We present a theory for testing software by refinement of an exhaustive test set into a finite test set using three reduction hypothesis. We also show how the Oracle problem can be partially solved using some particular features of Ada 95. Slides: http://lgl.epfl.ch/pub/Papers/barbey-testing_ada95_oop-slides.ps
- Published
- 1996