Testing Ada 95 Object-Oriented Programs

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. <p> Slides: http://lgl.epfl.ch/pub/Papers/barbey-testing_ada95_oop-slides.ps


Editor(s):
Toussaint, M.
Published in:
Proceedings of Ada-Europe'95, Frankfurt, Germany, October 2-6 1995, 1031, 406-418
Year:
1995
Publisher:
Springer Verlag
Keywords:
Note:
Also available as Technical Report EPFL-DI No 96/164
Laboratories:




 Record created 2005-09-20, last modified 2018-01-27

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)