Supporting the automatic test case and oracle generation using system models

In the current scenario, the software systems which are developed are becoming highly complex. So there arises a need for providing a better way for correctness and efficiency for them. In November 2000, the Object Management Group (OMG) made public the MDA (Model-Driven Architecture) initiative, a particular variant of a new global trend called MDE (Model Driven Engineering). MDE is presently making several promises about the potential benefits that could be reaped from a move from code-centric to model-based practices which may help in this era of rapid platform evolution. In model-based testing the tester designs a behavioral model of the system under test. This model is then given to a test generation tool that will analyze the model and produce the test cases based on different coverage criteria. These test cases can be further run on the system or test harness in an automatic or manual way. This master thesis investigates the various approaches that can be used for automatic test case generation from the behavioral model. The advantages with these new approaches are that it gives a better overview of test cases, better coverage of the model and it helps in finding errors or contradictions in minimum time