Showing papers by "Carl Kesselman published in 1990"

Mockingbird: a logical methodology for testing

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