UUM Electronic Theses and Dissertation
UUM ETD | Universiti Utara Malaysian Electronic Theses and Dissertation
FAQs | Feedback | Search Tips | Sitemap

A test case generation framework based on UML statechart diagram

Salman, Yasir Dawood (2018) A test case generation framework based on UML statechart diagram. PhD. thesis, Universiti Utara Malaysia.

[thumbnail of DepositPermission_s94756.pdf]

Download (28kB) | Preview
[thumbnail of s94756_01.pdf]

Download (4MB) | Preview
[thumbnail of s94756_02.pdf]

Download (1MB) | Preview


Early software fault detection offers more flexibility to correct errors in the early
development stages. Unfortunately, existing studies in this domain are not sufficiently comprehensive in describing the major processes of the automated test case generation. Furthermore, the algorithms used for test case generation are not provided or well described. Current studies also hardly address loops and parallel paths issues, and achieved low coverage criteria. Therefore, this study proposes a test
case generation framework that generates minimized and prioritized test cases from
UML statechart diagram with higher coverage criteria. This study, conducted a review of the previous research to identify the issues and gaps related to test case generation, model-based testing, and coverage criteria. The proposed framework was designed from the gathered information based on the reviews and consists of eight components that represent a comprehensive test case generation processes. They are relation table, relation graph, consistency checking, test path minimization, test path prioritization, path pruning, test path generation, and test case generation. In addition, a prototype to implement the framework was developed. The evaluation of the framework was conducted in three phases: prototyping, comparison with previous studies, and expert review. The results reveal that the most suitable coverage criteria for UML statechart diagram are all-states coverage, all-transitions coverage, alltransition-pairs coverage, and all-loop-free-paths coverage. Furthermore, this study achieves higher coverage criteria in all coverage criteria, except for all-state coverage, when compared with the previous studies. The results of the experts’ review show
that the framework is practical, easy to implement due to it is suitability to generate
the test cases. The proposed algorithms provide correct results, and the prototype is able to generate test case effectively. Generally, the proposed system is well accepted by experts owing to its usefulness, usability, and accuracy. This study contributes to both theory and practice by providing an early alternative test case generation framework that achieves high coverage and can effectively generate test cases from UML statechart diagrams. This research adds new knowledge to the software testing field, especially for testing processes in the model-based techniques, testing activity,
and testing tool support.

Item Type: Thesis (PhD.)
Supervisor : Hashim, Nor Laily
Item ID: 6930
Uncontrolled Keywords: Test case generation framework, loop coverage, parallel path, minimized test cases, prioritized test cases
Subjects: T Technology > T Technology (General) > T58.5-58.64 Information technology
Q Science > QA Mathematics > QA76 Computer software
Divisions: Awang Had Salleh Graduate School of Arts & Sciences
Date Deposited: 20 Dec 2018 06:23
Last Modified: 11 Aug 2021 07:09
Department: Awang Had Salleh Graduate School of Arts and Sciences
Name: Hashim, Nor Laily
URI: https://etd.uum.edu.my/id/eprint/6930

Actions (login required)

View Item
View Item