Model-Based Testing using HSI Method: Efficiency and Effectiveness Analysis
| 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)
Utting, M., Legeard, B.:Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2006) Yevtushenko, N., Petrenko, A.: Synthesis of test experiments in some classes of automata, Automatic Control and Computer Sciences 24(4), pp. 50–55 (1990)"Sabnani, K., Dahbura, A.: A protocol test generation procedure. Comput. Netw. ISDN Syst. 15(4), 285–297 (1988) Utting, M., Legeard, B.:Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2006) Yevtushenko, N., Petrenko, A.: Synthesis of test experiments in some classes of automata, Automatic Control and Computer Sciences 24(4), pp. 50–55 (1990)" cannot be used as a page name in this wiki. |
| Prerequisites | |
| Author | |
| Supervisor | Mahsa Varshosaz, Mohammad Reza Mousavi |
| 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.
