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 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. One of the fundamental problems in testing is the huge variety of faults that can be considered. Mutation testing techniques are used for generating faulty versions of software systems by introducing representative faults in the behaviour. Model-based mutation testing is one of the mutation testing techniques that has been introduced recently. In this technique it is assumed that the system under test is a black box and the source code is not available. Instead of the code, a model of the system is mutated. A set of test cases are generated using the mutants. In this project we investigate the effectiveness of some of the model-based mutation testing algorithms for test case generation.
Summary:
This is a minor edit Watch this page
Cancel
Home
Research
Education
Partners
People
Contact
