Loading...
conference paper
Testing Ada 95 Object-Oriented Programs
Barbey, Stéphane
Toussaint, M.
1995
Ada in Europe. Ada-Europe 1995
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
Loading...
Name
barbey-testing_ada95_oop.ps
Access type
openaccess
Size
127.23 KB
Format
Postscript
Checksum (MD5)
4f5cbfb18ad523bdaedfb1edf0a43eb9