It is clear that normal unit-tests represent individual cases only. A specification presents a complete description of a unit’s behavior. Unlike unit-test, sequence diagrams are perfectly readable but unlike sequence diagrams, unit-tests can easily be executed over and over again. The question is whether we could in some way combine sequence diagrams and unit-tests so as to create both the specification and the tests which would help to verify that the implementation fulfills the specification. The rest of this thesis tries to provide an answer.
Author: Peter Dimov
Published: University of Duisburg-Essen Master Thesis, September 28, 2007