Ensuring software quality by formal modeling

Software quality is always the target of disagreement between developers and users because of its subjective nature. The problem with software quality is the lack of formal definitions. Furthermore, quality metrics are based on empirical indices. This paper presents a method to the application of fo...

Full description

Saved in:
Bibliographic Details
Published in2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics pp. 155 - 159
Main Authors Csuka, Z, Lengyel, László
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.01.2011
Subjects
Biological system modeling
ISO standards
Q factor
Reliability
Software quality
Unified modeling language
Online AccessGet full text
ISBN9781424474295
1424474299
DOI10.1109/SAMI.2011.5738866

Cover

More Information
Summary:Software quality is always the target of disagreement between developers and users because of its subjective nature. The problem with software quality is the lack of formal definitions. Furthermore, quality metrics are based on empirical indices. This paper presents a method to the application of formal modeling techniques in the subject of software quality verification. We give a high-level view of the approach, leaving the deep details for a later discussion. We also provide a short summary of Software Quality models and standards.
ISBN:9781424474295
1424474299
DOI:10.1109/SAMI.2011.5738866