However, this does not mean that the initial specification adequately captures the user's requirements. Animation is one way of validating the specification against these needs.
Animation executes a specification and gives the developer a means of testing a specification.
This project investigates the use of Possum, an animator developed in the SVRC, to support testing, concentrating on reuse of animation processes and products during testing. In this seminar, preliminary work in this area will be presented where we have investigated the reuse of animation documentation and scripts during testing.