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
Postscript (406k), or
This page's URL is /~black/Papers/ir6777.html
Wed Jul 10 10:29:15 2002
by Paul E. Black
Black's papers or
NIST home page.