Affiliation:
1. National Institute of Technology, Durgapur, India
2. B. P. Poddar Institute of Management & Technology, Kolkata, India
Abstract
Software testing has gained immense importance in the present competitive world of developing software more quickly, more efficiently and more accurately. Testing activity is carried out throughout the lifecycle of software development and not only towards the end of development. Time and effort required to correct errors, detected later is much more compared to those, which are detected earlier. This has direct impact on costs and has led to a splurge of research activities in this domain. Model-based testing has recently gained attention with the popularization of modeling itself. It refers to testing and test case generation based on a model that describes the behavior of the system. The OMG initiative MDA has revolutionized the way models would be used for software development. There are a number of modeling techniques in use today- some have formal syntax like Z, VDM while some are semi-formal like UML. We have made a comprehensive summary of a considerable number of research works on Model Based testing. First, the issues, challenges and problems of model based testing have been discussed. Then the different methods developed for testing or test case generation based on the models are summarized. Finally a list of model based testing tools used for testing has been collectively presented.
Reference98 articles.
1. Aichernig, B. K. (1999). Automatic Black-box testing with VDM oracles. 18th International Conference on Computer Safety, Reliability and Security, SAFECOMP’99, (pp. 250-259).
2. Al-Ghafees, M. A. (2000). Markov Chain based test data adequacy criteria. IRMA ‘00. (pp. 141)
3. Andr´e, P., Romanczuk, A., Royer, J. C. (2000). Checking the Consistency of UML Class Diagrams Using Larch Prover. Electronic Workshops in Computing eWiC, Rigorous Object-Oriented Methods 2000.
4. TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
5. Barnett, M., & Grieskamp, W. Nachmanson, Gurevich, Y., L. Schulte, W., Tillmann, N. & Veanes, M. (2003). Scenario oriented modeling in Asml and its instrumentation for testing. 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM).