Conference Proceedings

A case study in specification and implementation testing

T Miller, P Strooper

Proceedings - Asia-Pacific Software Engineering Conference, APSEC | Published : 2004


Achieving consistency between a specification and its implementation is an important part of software development. In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its too..

View full abstract

Citation metrics