Towards Model-Based Support for Regression Testing

Software is a continuously evolving product: updates, reconfiguration, new features or just small modifications appear frequently to follow the user needs or to correct errors. However, these modifications might introduce errors or other unexpected consequences. Regression testing is a method being able to verify that the results of the changes are correct, development does not introduce new problems into the system. In order to ensure correctness, regression testing involves the execution of numerous tests usually written manually by the developers. Many techniques try to reduce the testing efforts by reducing the number of regression tests. In this paper we introduce a model-based technique to make regression testing more efficient by focusing on the user-defined properties of the system-under-test