Evaluation of test cases in model based testing using session initiation protocol case study

The Model Based Testing is one of the modern automated testing methodologies used to generate test suites automatically from the abstract behavioral or environmental models of the System Under Test (SUT). The Model based testing can be applied in different ways and it has several dimensions during implementation that can changes with nature of the SUT. With the automatic generation of test cases, requirements change is very easy to handle with the model based testing as it requires fewer changes in the models and reduces rework. It is also easy to generate a large number of test cases with full coverage criteria. A variety of CASE tools based on models are currently in use in different industries. The Qtronic tool is one generating test cases from abstract model of SUT automatically. In this research paper the detailed evaluation of the Qtronic test case generation technique, generation time, coverage criterion and quality of test cases were analyzed by modeling the Session Initiation Protocol (SIP). Also generation of test cases from models manually and by using the Qtronic Tool. In order to evaluate the Qtronic tool, detailed experiments and comparisons of manually generated test cases and test case generated by the Qtronic were conducted. The results of the case studies show the efficiency of the Qtronic over traditional manual test case generation in many aspects.