Take a sneak peek at the new NIST.gov and let us know what you think!
(Please note: some content may not be complete on the beta site.).
NIST Authors in Bold
|Author(s):||Paul E. Black;|
|Title:||Test Generation Using Model Checking and Specification Mutation|
|Published:||November 22, 2013|
|Abstract:||Although building quality into software is paramount, professionals find that testing is necessary to assure that the system will operate as desired. Developing tests can take significant resources. In 1998 NIST showed how tests can be automatically generated from models using model checkers and specification mutation. This was an early result in what is now a broad area known as "model-based testing." NIST also modified the same technology to measure the coverage of test suites independent of implementation details.|
|Citation:||IEEE IT Professional|
|Pages:||pp. 17 - 21|
|Keywords:||software testing, model-based testing, formal methods|
|Research Areas:||Software Testing Metrics|