Diagnosis of the significance of inconsistencies in software designs: a framework and its experimental evaluation

Spanoudakis, George and Kim, Hyoseob (2002) Diagnosis of the significance of inconsistencies in software designs: a framework and its experimental evaluation. Journal of systems and software, 64 (1). pp. 3-22. ISSN 0164-1212

Full content URL: http://dx.doi.org/10.1016/S0164-1212(02)00018-3

Documents
jss02.pdf
[img]
[Download]
[img]
Preview
PDF
jss02.pdf

157kB
Item Type:Article
Item Status:Live Archive

Abstract

This paper presents: (a) a framework for assessing the significance of inconsistencies which arise in object-oriented design models that describe software systems from multiple perspectives, and (b) the findings of a series of experiments conducted to evaluate it. The framework allows the definition of significance criteria and measures the significance of inconsistencies as beliefs for the satisfiability of these criteria. The experiments conducted to evaluate it indicate that criteria definable in the framework have the power to create elaborate rankings of inconsistencies in models.

Additional Information:This paper presents: (a) a framework for assessing the significance of inconsistencies which arise in object-oriented design models that describe software systems from multiple perspectives, and (b) the findings of a series of experiments conducted to evaluate it. The framework allows the definition of significance criteria and measures the significance of inconsistencies as beliefs for the satisfiability of these criteria. The experiments conducted to evaluate it indicate that criteria definable in the framework have the power to create elaborate rankings of inconsistencies in models.
Keywords:Diagnosis of inconsistencies, UML, OCL, Dempster–Shafer beliefs
Subjects:G Mathematical and Computer Sciences > G610 Software Design
G Mathematical and Computer Sciences > G400 Computer Science
G Mathematical and Computer Sciences > G622 Object Oriented Programming
Divisions:College of Science > School of Computer Science
ID Code:42
Deposited On:11 Jan 2005

Repository Staff Only: item control page