Using a functional size measurement procedure to evaluate the quality of models in MDD environments

• Published in: ACM Transactions on Software Engineering and Methodology
• Main Authors: Marín, Beatriz, Giachetti Herrera, Giovanni Andrés, Pastor López, Oscar, Vos, Tanja Ernestina, ALAIN ABRAN
• Other Authors: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació, Generalitat Valenciana, Ministerio de Ciencia e Innovación
• Format: Article in Journal/Newspaper
• Language: English
• Published: Association for Computing Machinery (ACM) 2013
• Subjects: Measurement; Design; Experimentation; Verification; Case study; Defect detection; Functional size; Model-driven development; LENGUAJES Y SISTEMAS INFORMATICOS; Orca
• Online Access: http://hdl.handle.net/10251/39660; https://doi.org/10.1145/2491509.2491520

© ACM, 2013. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, ACM Transactions on Software Engineering and Methodology, Vol. 22, No. 3, Article 26, Pub. date: July 2013.http://dx.doi.org/10.1145/2491509.2491520 Models are key artifacts in Model-Driven Development (MDD) methods. To produce high-quality software by using MDD methods, quality assurance of models is of paramount importance. To evaluate the quality of models, defect detection is considered a suitable approach and is usually applied using reading techniques. However, these reading techniques have limitations and constraints, and new techniques are required to improve the efficiency at finding as many defects as possible. This article presents a case study that has been carried out to evaluate the use of a Functional Size Measurement (FSM) procedure in the detection of defects in models of an MDD environment. To do this, we compare the defects and the defect types found by an inspection group with the defects and the defect types found by the FSM procedure. The results indicate that the FSM is useful since it finds all the defects related to a specific defect type, it finds different defect types than an inspection group, and it finds defects related to the correctness and the consistency of the models. This work has been developed with the support of the Spanish Government under the projects PROS-REQ TIN2010-19130-C02-02 and GVA ORCA PROMETEO/2009/015. Marín, B.; Giachetti Herrera, GA.; Pastor López, O.; Vos, TE.; ALAIN ABRAN (2013). Using a functional size measurement procedure to evaluate the quality of models in MDD environments. ACM Transactions on Software Engineering and Methodology. 22(3):26:1-26:31. https://doi.org/10.1145/2491509.2491520 S 26:1 26:31 22 3