Conference Proceedings

Supporting the software testing process through specification animation

T Miller, P Strooper

Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003 | Published : 2003


Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and trans..

View full abstract

Citation metrics