Abstract

Mockingbird is a testing methodology founded on a formal specification of the test space. The specification is executable and bidirectional. When run in one direction it acts as a generator, producing tests whose properties conform to the specification. When run in the opposite direction it acts as an acceptor, validating tests against the specification. The specification language is a combination of context-free grammars and constraint systems. The semantics of the specification are based on constraint logic programming. This paper describes the philosophy, design, and implementation of Mockingbird and its use in testing a large, complex system.

Date

January 1, 1990

Authors

Michael M Gorlick, Carl F Kesselman, Daniel A Marotta, D Stott Parker

Journal

The Journal of Logic Programming

Volume

8

Issue

1-2

Pages

95-119

Publisher

North-Holland