This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Test Generation Using Model Checking and Specification Mutation
PrePrint
ISSN: 1520-9202
Paul Black, NIST, Gaithersburg
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:
Paul Black, "Test Generation Using Model Checking and Specification Mutation," IT Professional, 22 Nov. 2013. IEEE computer Society Digital Library. IEEE Computer Society, <http://doi.ieeecomputersociety.org/10.1109/MITP.2013.104>
Usage of this product signifies your acceptance of the Terms of Use.