Model-Based Testing using HSI Method: Efficiency and Effectiveness Analysis
From CERES
| Title | Model-Based Testing using HSI Method: Efficiency and Effectiveness Analysis |
|---|---|
| Summary | In this project we investigate the efficiency and effectiveness of the test case generation algorithm used by HSI method. |
| Keywords | Model-Based Testing, Finite State Machines, Harmonised State Identification Method |
| TimeFrame | |
| References | Sabnani, K., Dahbura, A.: A protocol test generation procedure. Comput. Netw. ISDN Syst. 15(4), 285–297 (1988) |
| Prerequisites | |
| Author | |
| Supervisor | Mohammad Reza Mousavi, Mahsa Varshosaz |
| Level | Master |
| Status | Open |
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.
