Welcome to the InfoSci Platform
Towards a Formal Approach for Assessing the Design Quality of Object-Oriented Systems

Towards a Formal Approach for Assessing the Design Quality of Object-Oriented Systems

Mokhtaria Bouslama, Mustapha Kamel Abdi
Copyright: © 2021 |Volume: 12 |Issue: 3 |Pages: 16
ISSN: 1942-3926|EISSN: 1942-3934|EISBN13: 9781799860624|DOI: 10.4018/IJOSSP.2021070101
Cite Article Cite Article

MLA

Bouslama, Mokhtaria, and Mustapha Kamel Abdi. "Towards a Formal Approach for Assessing the Design Quality of Object-Oriented Systems." IJOSSP vol.12, no.3 2021: pp.1-16. http://doi.org/10.4018/IJOSSP.2021070101

APA

Bouslama, M. & Abdi, M. K. (2021). Towards a Formal Approach for Assessing the Design Quality of Object-Oriented Systems. International Journal of Open Source Software and Processes (IJOSSP), 12(3), 1-16. http://doi.org/10.4018/IJOSSP.2021070101

Chicago

Bouslama, Mokhtaria, and Mustapha Kamel Abdi. "Towards a Formal Approach for Assessing the Design Quality of Object-Oriented Systems," International Journal of Open Source Software and Processes (IJOSSP) 12, no.3: 1-16. http://doi.org/10.4018/IJOSSP.2021070101

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

The cost of software maintenance is always increasing. The companies are often confronted to failures and software errors. The quality of software to use is so required. In this paper, the authors propose a new formal approach for assessing the quality of object-oriented system design according to the quality assessment model. This approach consists in modeling the input software system by an automaton based on object-oriented design metrics and their relationship with the quality attributes. The model exhibits the importance of metrics through their links with the attributes of software quality. In addition, it is very practical and flexible for all changes. It allows the quality estimation and its validation. For the verification of proposed probabilistic model (automaton), they use the model-checking and the prism tool. The model-checking is very interesting for the evaluation and validation of the probabilistic automaton. They use it to approve the software quality of the three experimental projects. The obtained results are very interesting and of great importance.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.