Developing an Automated Model-Based Software Testing Tool From the Design Phase
Software testing involves a number of labor-intensive tasks that, to save resources, should be automated. Model-based software testing is one of the most widely used methods of software quality assurance in the business world is model-based software testing. A potential starting point for creating t...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2025-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10937699/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850152176422223872 |
|---|---|
| author | Rasha Gh. Alsarraj Atica M. Altaie Esra Zuhair Majeed |
| author_facet | Rasha Gh. Alsarraj Atica M. Altaie Esra Zuhair Majeed |
| author_sort | Rasha Gh. Alsarraj |
| collection | DOAJ |
| description | Software testing involves a number of labor-intensive tasks that, to save resources, should be automated. Model-based software testing is one of the most widely used methods of software quality assurance in the business world is model-based software testing. A potential starting point for creating test paths for testing the target software system is the UML model, which can intuitively explain the dynamic behaviors of a software system under testing. Unfortunately, the lack of strong tool support and automated generating methodologies has resulted in the dearth of practical model-based testing methods for industry practitioners. To address this issue, we suggest automated generation paths using a support tool. The present study proposes a tool for automatically generating test paths from IDEF and UML models to facilitate automated and model-based software testing. This is because early-stage software development process model-based testing was shown to be more efficient; the IDEF model, along with the rule flow model, was utilized in this study, which has never been used to create software test paths. The models were transformed into an XMI file for input, and nodes parser was utilized to construct the test scenarios and assess the active performance of the system. Next came the drawing of a control graph and, finally, the creation of test paths. The test paths generated were measured using a variety of coverage criteria, including edges, actions, branches, and paths. Using the electricity billing system as a case study, the proposed tool achieved high accuracy within authorized coverage limits. |
| format | Article |
| id | doaj-art-dabdd5e001d048798971fa8b854e0f16 |
| institution | OA Journals |
| issn | 2169-3536 |
| language | English |
| publishDate | 2025-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj-art-dabdd5e001d048798971fa8b854e0f162025-08-20T02:26:03ZengIEEEIEEE Access2169-35362025-01-0113585485855810.1109/ACCESS.2025.355396710937699Developing an Automated Model-Based Software Testing Tool From the Design PhaseRasha Gh. Alsarraj0https://orcid.org/0000-0002-9683-2412Atica M. Altaie1https://orcid.org/0009-0009-5143-2122Esra Zuhair Majeed2https://orcid.org/0009-0006-3231-5025College of Computer Science and Mathematics, University of Mosul, Mosul, IraqCollege of Computer Science and Mathematics, University of Mosul, Mosul, IraqCollege of Physical Education and Sport Sciences, University of Mosul, Mosul, IraqSoftware testing involves a number of labor-intensive tasks that, to save resources, should be automated. Model-based software testing is one of the most widely used methods of software quality assurance in the business world is model-based software testing. A potential starting point for creating test paths for testing the target software system is the UML model, which can intuitively explain the dynamic behaviors of a software system under testing. Unfortunately, the lack of strong tool support and automated generating methodologies has resulted in the dearth of practical model-based testing methods for industry practitioners. To address this issue, we suggest automated generation paths using a support tool. The present study proposes a tool for automatically generating test paths from IDEF and UML models to facilitate automated and model-based software testing. This is because early-stage software development process model-based testing was shown to be more efficient; the IDEF model, along with the rule flow model, was utilized in this study, which has never been used to create software test paths. The models were transformed into an XMI file for input, and nodes parser was utilized to construct the test scenarios and assess the active performance of the system. Next came the drawing of a control graph and, finally, the creation of test paths. The test paths generated were measured using a variety of coverage criteria, including edges, actions, branches, and paths. Using the electricity billing system as a case study, the proposed tool achieved high accuracy within authorized coverage limits.https://ieeexplore.ieee.org/document/10937699/Control graphcoverage criteriaIDEF modelmodel-based testingrule flow modeltest paths |
| spellingShingle | Rasha Gh. Alsarraj Atica M. Altaie Esra Zuhair Majeed Developing an Automated Model-Based Software Testing Tool From the Design Phase IEEE Access Control graph coverage criteria IDEF model model-based testing rule flow model test paths |
| title | Developing an Automated Model-Based Software Testing Tool From the Design Phase |
| title_full | Developing an Automated Model-Based Software Testing Tool From the Design Phase |
| title_fullStr | Developing an Automated Model-Based Software Testing Tool From the Design Phase |
| title_full_unstemmed | Developing an Automated Model-Based Software Testing Tool From the Design Phase |
| title_short | Developing an Automated Model-Based Software Testing Tool From the Design Phase |
| title_sort | developing an automated model based software testing tool from the design phase |
| topic | Control graph coverage criteria IDEF model model-based testing rule flow model test paths |
| url | https://ieeexplore.ieee.org/document/10937699/ |
| work_keys_str_mv | AT rashaghalsarraj developinganautomatedmodelbasedsoftwaretestingtoolfromthedesignphase AT aticamaltaie developinganautomatedmodelbasedsoftwaretestingtoolfromthedesignphase AT esrazuhairmajeed developinganautomatedmodelbasedsoftwaretestingtoolfromthedesignphase |