Coverage criteria for UML state chart diagram in model-based testing
Software testing is a necessary and essential part of the software quality process and plays a major role in detecting errors in systems. To improve the effectiveness of test case generation during software testing, and with the growing adoption of UML by software developers and researchers, many st...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universiti Teknikal Malaysia Melaka
2017
|
| Subjects: | |
| Online Access: | https://repo.uum.edu.my/id/eprint/26468/1/JTECE%209%202-11%2085%2089.pdf |
| _version_ | 1825805481133735936 |
|---|---|
| author | Salman, Yasir Dawood Hashim, Nor Laily Md Rejab, Mawarny Romli, Rohaida Mohd, Haslina |
| author_facet | Salman, Yasir Dawood Hashim, Nor Laily Md Rejab, Mawarny Romli, Rohaida Mohd, Haslina |
| author_sort | Salman, Yasir Dawood |
| collection | UUM |
| description | Software testing is a necessary and essential part of the software quality process and plays a major role in detecting errors in systems. To improve the effectiveness of test case generation during software testing, and with the growing adoption of UML by software developers and researchers, many studies have focused on the automation of test case generation from UML diagrams. One of these diagrams is the UML state chart diagram. These test cases are generally generated to achieve certain coverage criteria. However, combinations of multiple criteria are required to achieve better coverage. Different studies use various number and type of coverage criteria in their methods and approaches. This paper reviews previous studies to present the most practical coverage criteria combinations for UML state chart diagram, including all-states, all-transitions, all-transition-pairs and all-loop-free-paths coverage. A special calculation is necessary to determine the coverage percentage of the proposed coverage criteria. This paper presents a calculation method to achieve this goal with an example is applied to a UML state chart diagram. This finding would be beneficial in the area of automatic test case generating for model-based testing and especially in the UML state chart diagram. |
| first_indexed | 2024-07-04T06:33:00Z |
| format | Article |
| id | uum-26468 |
| institution | Universiti Utara Malaysia |
| language | English |
| last_indexed | 2024-07-04T06:33:00Z |
| publishDate | 2017 |
| publisher | Universiti Teknikal Malaysia Melaka |
| record_format | eprints |
| spelling | uum-264682019-09-26T01:35:58Z https://repo.uum.edu.my/id/eprint/26468/ Coverage criteria for UML state chart diagram in model-based testing Salman, Yasir Dawood Hashim, Nor Laily Md Rejab, Mawarny Romli, Rohaida Mohd, Haslina QA75 Electronic computers. Computer science Software testing is a necessary and essential part of the software quality process and plays a major role in detecting errors in systems. To improve the effectiveness of test case generation during software testing, and with the growing adoption of UML by software developers and researchers, many studies have focused on the automation of test case generation from UML diagrams. One of these diagrams is the UML state chart diagram. These test cases are generally generated to achieve certain coverage criteria. However, combinations of multiple criteria are required to achieve better coverage. Different studies use various number and type of coverage criteria in their methods and approaches. This paper reviews previous studies to present the most practical coverage criteria combinations for UML state chart diagram, including all-states, all-transitions, all-transition-pairs and all-loop-free-paths coverage. A special calculation is necessary to determine the coverage percentage of the proposed coverage criteria. This paper presents a calculation method to achieve this goal with an example is applied to a UML state chart diagram. This finding would be beneficial in the area of automatic test case generating for model-based testing and especially in the UML state chart diagram. Universiti Teknikal Malaysia Melaka 2017 Article PeerReviewed application/pdf en https://repo.uum.edu.my/id/eprint/26468/1/JTECE%209%202-11%2085%2089.pdf Salman, Yasir Dawood and Hashim, Nor Laily and Md Rejab, Mawarny and Romli, Rohaida and Mohd, Haslina (2017) Coverage criteria for UML state chart diagram in model-based testing. Journal of Telecommunication, Electronic and Computer Engineering (JTEC), 9 (2-11). pp. 85-89. ISSN 2180-1843 http://journal.utem.edu.my/index.php/jtec/article/view/2743 |
| spellingShingle | QA75 Electronic computers. Computer science Salman, Yasir Dawood Hashim, Nor Laily Md Rejab, Mawarny Romli, Rohaida Mohd, Haslina Coverage criteria for UML state chart diagram in model-based testing |
| title | Coverage criteria for UML state chart diagram in model-based testing |
| title_full | Coverage criteria for UML state chart diagram in model-based testing |
| title_fullStr | Coverage criteria for UML state chart diagram in model-based testing |
| title_full_unstemmed | Coverage criteria for UML state chart diagram in model-based testing |
| title_short | Coverage criteria for UML state chart diagram in model-based testing |
| title_sort | coverage criteria for uml state chart diagram in model based testing |
| topic | QA75 Electronic computers. Computer science |
| url | https://repo.uum.edu.my/id/eprint/26468/1/JTECE%209%202-11%2085%2089.pdf |
| work_keys_str_mv | AT salmanyasirdawood coveragecriteriaforumlstatechartdiagraminmodelbasedtesting AT hashimnorlaily coveragecriteriaforumlstatechartdiagraminmodelbasedtesting AT mdrejabmawarny coveragecriteriaforumlstatechartdiagraminmodelbasedtesting AT romlirohaida coveragecriteriaforumlstatechartdiagraminmodelbasedtesting AT mohdhaslina coveragecriteriaforumlstatechartdiagraminmodelbasedtesting |