Deriving conformance test suites from specification models

Abstract

Models may be used as a means to formulate highly consistent specifications. To check implementations for conformance with such specifications, test cases can be derived systematically from such models. There are even automatic routines available which generate such test cases. It is, however, not straightforward to use this approach in practice. Beside other things, it requires a carefully designed modeling style. The talk presents aspects of modeling and test derivation which are particularly important for conformance testing of interlocking interface specifications.