Test Generation from Formal Specifications

This is a web-based demonstration of the NIST project to automatically generate software tests from formal specifications. Click on boxes to execute each step or click on the files to see the data. This demonstration is based on the Cruise Control example given in Using Model Checking to Generate Tests from Specifications.


Project Leader: Dr. Paul E. Black (paul.black@nist.gov)

Created Thu Jan 21 09:30:25 1999

by Paul E. Black  (paul.black@nist.gov)
Updated Wed Jul 10 10:02:30 2002
by Paul E. Black  (paul.black@nist.gov)