Validating Quality Metrics of State Machine Models
Software metrics are widely used to measure the quality of software and to give an early indication of the efficiency of the development process in industry. There are many well-established frameworks for measuring the quality of source code through metrics, but limited attention has been p...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Arabic |
| Published: |
Thamar University
2025-04-01
|
| Series: | مجلة العلوم الهندسية والتقنية |
| Subjects: | |
| Online Access: | https://journal.tu.edu.ye/index.php/Joeats/article/view/2534 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849398558260723712 |
|---|---|
| author | Ammar Osaiweran |
| author_facet | Ammar Osaiweran |
| author_sort | Ammar Osaiweran |
| collection | DOAJ |
| description |
Software metrics are widely used to measure the quality of software and to give an early indication of the efficiency of the development process in industry. There are many well-established frameworks for measuring the quality of source code through metrics, but limited attention has been paid to the quality of software models. In this article, we introduce new metrics that are tailored to measure the quality of models of state machines and then apply the metrics to evaluate the quality of state machine models specified using the Analytical Software Design (ASD) tooling. We discuss how we applied a number of metrics to ASD models in an industrial setting and report about results and lessons learned while collecting these metrics. Furthermore, we recommend some quality limits for each metric and validate them on models developed in a number of real industrial projects. This paper extends [19] by providing a formal and empirical validation of the metrics and their related limits. The results of our work provide a framework to measure the quality of state machine models, developed in ASD, and give a basis for future research on introducing quality metrics for other type of models of which quality metrics are missing.
|
| format | Article |
| id | doaj-art-dfe525f897074e2d86406e8a86c13cda |
| institution | Kabale University |
| issn | 2958-809X 2958-8103 |
| language | Arabic |
| publishDate | 2025-04-01 |
| publisher | Thamar University |
| record_format | Article |
| series | مجلة العلوم الهندسية والتقنية |
| spelling | doaj-art-dfe525f897074e2d86406e8a86c13cda2025-08-20T03:38:34ZaraThamar Universityمجلة العلوم الهندسية والتقنية2958-809X2958-81032025-04-013210.59421/joeats.v3i2.25342571Validating Quality Metrics of State Machine ModelsAmmar Osaiweran Software metrics are widely used to measure the quality of software and to give an early indication of the efficiency of the development process in industry. There are many well-established frameworks for measuring the quality of source code through metrics, but limited attention has been paid to the quality of software models. In this article, we introduce new metrics that are tailored to measure the quality of models of state machines and then apply the metrics to evaluate the quality of state machine models specified using the Analytical Software Design (ASD) tooling. We discuss how we applied a number of metrics to ASD models in an industrial setting and report about results and lessons learned while collecting these metrics. Furthermore, we recommend some quality limits for each metric and validate them on models developed in a number of real industrial projects. This paper extends [19] by providing a formal and empirical validation of the metrics and their related limits. The results of our work provide a framework to measure the quality of state machine models, developed in ASD, and give a basis for future research on introducing quality metrics for other type of models of which quality metrics are missing. https://journal.tu.edu.ye/index.php/Joeats/article/view/2534Software engineeringModel-based developmentsoftware qualityModel ttransformationSoftware development |
| spellingShingle | Ammar Osaiweran Validating Quality Metrics of State Machine Models مجلة العلوم الهندسية والتقنية Software engineering Model-based development software quality Model ttransformation Software development |
| title | Validating Quality Metrics of State Machine Models |
| title_full | Validating Quality Metrics of State Machine Models |
| title_fullStr | Validating Quality Metrics of State Machine Models |
| title_full_unstemmed | Validating Quality Metrics of State Machine Models |
| title_short | Validating Quality Metrics of State Machine Models |
| title_sort | validating quality metrics of state machine models |
| topic | Software engineering Model-based development software quality Model ttransformation Software development |
| url | https://journal.tu.edu.ye/index.php/Joeats/article/view/2534 |
| work_keys_str_mv | AT ammarosaiweran validatingqualitymetricsofstatemachinemodels |