Paul Ammann, Paul E. Black, and Wei Ding, Model Checkers in Software Testing, NIST-IR 6777, National Institute of Standards and Technology, 2002.

    The primary focus of formal methods is static analysis of specifications and code, but there is also a long tradition of exploiting formal methods for testing. This paper continues this tradition by exploring the role of model checkers in software testing. Model checkers were originally developed to check that state machines conformed to specifications expressed in a temporal logic. We show how to apply the powerful computation engines in model checkers to the problems of test generation and test evaluation for a variety of test coverage criteria defined on model-based specifications.

Get the paper in DVI (148k), Postscript (406k), or PDF (391k).

This page's URL is /~black/Papers/ir6777.html

Updated Wed Jul 10 10:29:15 2002

by Paul E. Black  (

Go to Black's papers or NIST home page.