You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Project description (free text)
Give a concise project description. Include:
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.
Summary:
This is a minor edit Watch this page
Cancel
Home
Research
Education
Partners
People
Contact
