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 considered as a vital phase in the software development life cycle. Manual testing is usually laborious and time consuming. Model-based testing (MBT) is a software testing technique in which the test cases are automatically derived from models of system requirements and behaviour. In this project, we focus on one of the MBT methods, namely Harmonised State Identification (HSI) method. We investigate the effectiveness and efficiency of the test case generation algorithm used by this method in comparison to some standard test case generation techniques that are implemented by existing MBT tools such as ModelJUnit.
Summary:
This is a minor edit Watch this page
Cancel
Home
Research
Education
Partners
People
Contact