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. This article is part of a special issue on NIST contributions to IT.
Keywords :
formal verification; program testing; software quality; NIST; US National Institute of Standards and Technology; implementation details; model checking; model-based testing; quality building; specification mutation; test generation; test suites; Modeling; NIST; Object oriented modeling; Software engineering; Standards organizations; Testing; model checkers; model-based testing; software testing; specification mutation; standards;
