Generating Test Adapters for ModelJunit - Revision history

Ceres at 05:08, 18 October 2016

2016-10-18T05:08:37Z

Ceres at 19:22, 17 October 2016

2016-10-17T19:22:31Z

Ceres at 15:03, 17 October 2016

2016-10-17T15:03:13Z

Ceres: Created page with "{{StudentProjectTemplate |Summary=In this project different aspects of generating test adapters for ModeJunit programs are investigated. |Programme=EIS Masters 15hpc |Keywords..."

2016-10-17T14:54:51Z

Created page with "{{StudentProjectTemplate |Summary=In this project different aspects of generating test adapters for ModeJunit programs are investigated. |Programme=EIS Masters 15hpc |Keywords..."

New page

{{StudentProjectTemplate
|Summary=In this project different aspects of generating test adapters for ModeJunit programs are investigated.
|Programme=EIS Masters 15hpc
|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
|Supervisor=Mohammad Reza Mousavi, Mahsa Varshosaz
|Examiner=Mohammad Reza Mousavi
|Level=Master
|Status=Open
}}

← Older revision		Revision as of 05:08, 18 October 2016
Line 10:		Line 10:
	\|Status=Open		\|Status=Open
	}}		}}
		+	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.

@@ Line 2: / Line 2: @@
 |Summary=In this project different aspects of generating test adapters for ModeJunit programs are investigated.
 |Programme=EIS Masters 15hpc
-|Keywords=ModelJunit, Model-Based Testing, Test Adapters
+|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)
-|Supervisor=Mohammad Reza Mousavi, Mahsa Varshosaz
+|Supervisor=Mahsa Varshosaz, Mohammad Reza Mousavi
 |Examiner=Mohammad Reza Mousavi
 |Level=Master
 |Status=Open
 }}