226 Copyright © 2010, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. Chapter 16 Tools and Techniques for Model Based Testing Swapan Bhattacharya National Institute of Technology, Durgapur, India Ananya Kanjilal B. P. Poddar Institute of Management & Technology, Kolkata, India Sabnam Sengupta B. P. Poddar Institute of Management & Technology, Kolkata, India tools and technIques for model Based testIng Software development is a human intensive activ- ity and over the years the need for a disciplined approach for development of better quality and reliable software has led to the evolving field of Software Engineering. The software community continually attempts to develop technologies and methodologies to enable easier, faster and cheaper ways to build high quality software. One of the principal elements of software quality assurance aBstract Software testing has gained immense importance in the present competitive world of developing soft- ware more quickly, more effciently 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. DOI: 10.4018/978-1-60566-731-7.ch016