Conference paper

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.


    Keywords: Paper ; Ada ; Testing ; Conform


    Also available as Technical Report EPFL-DI No 96/164


    • LGL-CONF-1995-001

    Record created on 2005-09-20, modified on 2016-08-08

Related material