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.

[img] Text
DepositPermission_s94756.pdf
Restricted to Repository staff only

Download (28kB)
[img]
Preview
Text
s94756_01.pdf

Download (4MB) | Preview
[img]
Preview
Text
s94756_02.pdf

Download (1MB) | Preview

Abstract

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.)
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
Depositing User: Mr. Badrulsaman Hamid
Date Deposited: 20 Dec 2018 06:23
Last Modified: 20 Dec 2018 06:23
URI: http://etd.uum.edu.my/id/eprint/6930

Actions (login required)

View Item View Item