Testing object-oriented programs is still a hard task, despite manystudies on criteria to better cover the test space. Test criteriaestablish requirements one want to achieve in testing programs tohelp in finding software defects. On the other hand, programverification guarantees that a program preserves its specificationbut its application is not very straightforward in many cases. Bothprogram testing and verification are expensive tasks and could beused to complement each other.This paper presents a new approach to automate and integrate testingand program verification for fault-tolerant systems. In thisapproach we show how to assess information from programsverification in order to reduce the test space regarding exceptionsdefinition/use testing criteria. As properties onexception-handling mechanisms are checked using a model checker(Java PathFinder), programs are traced. Information from thesetraces can be used to realize how much testing criteria have beencovered, reducing the further program test space.
展开▼
