Date Added: Aug 2011
Model-based testing helps test engineers automate their testing tasks so that they are more cost-effective. When the model is changed because of the evolution of the specification, it is important to maintain the test suites up to date for regression testing. A complete regeneration of the whole test suite from the new model, although inefficient, is still frequently used in the industry, including Microsoft. To handle specification evolution effectively, the authors propose a test case reusability analysis technique to identify reusable test cases of the original test suite based on graph analysis. They also develop a test suite augmentation technique to generate new test cases to cover the change-related parts of the new model.