Authors : Yasir Dawood Salman, Nor Laily Hashim, Mawarny Md Rejab, Rohaida Romli and Haslina Mohd
Abstract: Test case generation is a task that greatly affects software testing. Model-Based Testing (MBT) has gained a significant role in generating test cases in recent years. Recent studies have also begun to generate executable test cases from Unified Modelling Language (UML). As a major issue in system execution, a model must recognize and identify deadlocks in the early stage of system testing. The current studies did not take into consideration deadlock detection also did not fulfil adequate coverage criteria. This study proposes an automated method for generating test cases from UML state chart diagrams that can help detect deadlocks during the design phase. These test cases are generated following specified coverage criteria. This method begins by converting the UML state chart diagram into an intermediate table and graph where the deadlocks are marked. The test path and cases are generated afterward. The generated test cases are deemed suitable for identifying faults and deadlocks in the early phase of software development.
Yasir Dawood Salman, Nor Laily Hashim, Mawarny Md Rejab, Rohaida Romli and Haslina Mohd, 2018. Generating test Cases for Model-Based Testing and Detecting Deadlocks Using Tarjan’s Algorithm. Journal of Engineering and Applied Sciences, 13: 2322-2329.