Generating Test Adapters for ModelJunit
|Title||Generating Test Adapters for ModelJunit|
|Summary||In this project different aspects of generating test adapters for ModeJunit programs are investigated.|
|Keywords||ModelJUnit, Model-Based Testing, Test Adapters|
|References|| Mark Utting and Bruno Legeard. 2006. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA
Kell, S.: A Survey of Practical Software Adaptation Techniques. Journal of Universal Computer Science 14(13) (2008)"Mark Utting and Bruno Legeard. 2006. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA Kell, S.: A Survey of Practical Software Adaptation Techniques. Journal of Universal Computer Science 14(13) (2008)" cannot be used as a page name in this wiki.
|Supervisor||Mahsa Varshosaz, Mohammad Reza Mousavi|
Testing is one of the important phased in software development life cycle. As manual testing is usually a laborious and costly process, the effective automation of testing process has become a topic of interest in both academia and industry. Model-Based Testing (MBT) is a software testing technique in which the test cases are generated automatically from a model of the system behaviour. Using MBT technique the conformance of the behaviour of an implementation of the system to the specification model is checked by executing test cases.
There have been a number of model-based testing tools developed so far. ModelJUnit is one of the MBT tools which uses Finite State Machines (FSMs) as test models. The behaviour of the system is specified using an FSM and test cases are generated from this model. A test case consists of a sequence of function calls to the implementation of the system. Usually test adapters are used to connect the testing tool to the implementation. A test adapter converts the abstract function calls generated by testing tool to concrete function calls with correct format and data. In this project, we focus on the properties of the test adapters for ModelJUnit programs and we investigate different aspects of effective development of such test adapters.