loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Mario L. Bernardi 1 ; Marta Cimitile 2 ; Giuseppe De Ruvo 1 ; Giuseppe A. Di Lucca 1 and Antonella Santone 1

Affiliations: 1 University of Sannio, Italy ; 2 Unitelma Sapienza University, Italy

ISBN: 978-989-758-115-1

Keyword(s): Software Engineering, Design Patterns, Model Checking, Formal Methods, Models, Mining.

Related Ontology Subjects/Areas/Topics: Domain-Specific Languages ; MetaModeling ; Models ; Paradigm Trends ; Software Engineering

Abstract: In the last two decades some methods and tools have been proposed to identify the Design Pattern (DP) instances implemented in an existing Object Oriented (OO) software system. This allows to know which OO components are involved in each DP instance. Such a knowledge is useful to better understand the system thus reducing the effort to modify and evolve it. The results obtained by the existing methods and tools can suffer a lack of completeness or precision due to the presence of false positive/negative. Model Checking (MC) algorithms can be used to improve the precision of DP’s instances detected by a tool by automatically refining the results it produces. In this paper a MC based technique is defined and applied to the results of an existing DPs mining tool, called Design Pattern Finder (DPF), to improve the precision by verifying automatically the DPs instances it detects. To verify and assess the feasibility and the effectiveness of the proposed technique, we carried out a case st udy where it was applied on some open source OO systems. The results showed that the proposed technique allowed to improve the precision of the DPs instances detected by the DPF tool. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.214.184.124

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Bernardi, M.; Cimitile, M.; De Ruvo, G.; Di Lucca, G. and Santone, A. (2015). Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems.In Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015) ISBN 978-989-758-115-1, pages 53-63. DOI: 10.5220/0005520500530063

@conference{icsoft-pt15,
author={Mario L. Bernardi. and Marta Cimitile. and Giuseppe De Ruvo. and Giuseppe A. Di Lucca. and Antonella Santone.},
title={Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems},
booktitle={Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015)},
year={2015},
pages={53-63},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005520500530063},
isbn={978-989-758-115-1},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015)
TI - Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems
SN - 978-989-758-115-1
AU - Bernardi, M.
AU - Cimitile, M.
AU - De Ruvo, G.
AU - Di Lucca, G.
AU - Santone, A.
PY - 2015
SP - 53
EP - 63
DO - 10.5220/0005520500530063

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.