Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-22T15:52:45.106Z Has data issue: false hasContentIssue false
  • English
  • Français

A metric for evaluating software architecture and communication models consistency

Published online by Cambridge University Press:  15 April 2005

Jean-Yves Lafaye  and
Georges Louis
Jean-Yves Lafaye
Affiliation:
Laboratoire Informatique, Image, Interaction (L3i), Université de La Rochelle, France; [email protected]; [email protected]
Georges Louis
Affiliation:
Laboratoire Informatique, Image, Interaction (L3i), Université de La Rochelle, France; [email protected]; [email protected]
Get access

Abstract

Among several alternative viewpoints for building software quality metrics, evaluating the consistency between different modelsin a software specification or implementation appears to be fruitful.An obvious difficulty is that different models are usually expressedby means of different concepts, and then, confronting heterogeneousrepresentations is not straightforward.In this paper, we propose a solution for measuring theconsistency between the architecture and the communication models.After some sensible transformations, the information about bothmodels are captured trough hierarchical representations. We defineand discuss a similarity measure between hierarchies, that eventuallyfounds the software metric we propose. Lastly, we investigate how toscale and interpret the metric values and give an application examplewith SDL.

Keywords

Software metricssoftware architecture modelcommunicationmodelhierarchical clusteringmodel consistencySDL
Type
Research Article
Information
RAIRO - Theoretical Informatics and Applications , Volume 39 , Issue 2 , April 2005 , pp. 361 - 390
Copyright
© EDP Sciences, 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Ammar-Boudjelal, F., Lafaye, J.Y. and Louis, G., Evaluating, Comparing and Improving the Quality of System Structure, During the Specification Process. Application Example with SDL. Software Quality J. 7 (1998) 195–222. CrossRef
Barthelemy J.P. and A. Guénoche, Les arbres et les représentations des proximités. Masson, Paris (1988).
Basili, V., Briand, L.C. and Melo, W.L., Validation, A of Object-Oriented Design Metrics as Quality Indicators. IEEE Trans. Software Engineer. 22 (1996) 412–421.
Booth, K.S. and Lueker, G.S., Testing for the consecutive ones property, interval graphs, and graph planarity using PO-Tree algorithms. J. Comput. Syst. Sci. 13 (1976) 335-379. CrossRef
Chidamber, S. and Kemerer, C., Metric Suite, A for Object Oriented Design. IEEE Trans. Software Engineer. 20 (1994) 476–493. CrossRef
Chidamber, S., Darcy, D. and Kemerer, C., Managerial use of metrics for object oriented software: an exploratory analysis. IEEE Trans. Software Engineer. 24 (1998) 629–639. CrossRef
T. Demarco and B.W. Boehm, Controlling Software: Management, Measurement and Estimates. Prentice-Hall (1998).
J. Ellsberger, D. Hogrefe and A. Sarma, SDL, Formal Object-oriented Language for Communicating Systems. Prentice-Hall (1997).
N. Fenton, R. Whitty and Y. Lizuka (editors), Software Quality Assurance and Measurement: A Worldwide Perspective. Chapman and Hall (1996).
N.E. Fenton and S.L. Pfleeger, Software Metrics: A Rigorous Approach. PWS Publ. 2nd edition London (1996).
Finkenstein, A., Gabbay, D., Hunter, A., Kramer, J. and Nuseibeh, B., Inconsistency Handling in Multi-Perspective Specifications. IEEE Trans. Software Engineer. 20 (1994) 569–578. CrossRef
T. Foucart, Analyse factorielle de tableaux multiples. Masson, Paris (1984).
P. Fradet, D. Le Métayer and M. Périn, Consistency Checking for Multiple View Software Architectures, in Proc. of European Software Engineering Conference, FSE'99, Springer-Verlag (1999) 410–428.
P. Inverardi, H. Muccini and P. Pellicione, Automated Check of Architectural Models Consistency using SPIN, in Proc. of Automated Software Engineering conference, ASE'2001 (2001) 322–330.
INSM, New Approaches in Software Measurement, in Proc. of 10th international Workshop INSM'2000, LCNS, Springer-Verlag (2000)
ISO/IEC 9126, International Standard Information Technology – Software Product Evaluation. Quality Characteristics and Guideline. ISO (1991).
C. Lavit, Analyse conjointe de tableaux quantitatifs. Masson, Paris (1988).
Lawler, E.L., Graphical algorithms and their complexity. Mathematical Center Tract 81 (1976) 3–32.
I.C. Lerman, Classification et analyse ordinale de données. Dunod, Paris (1981).
C. Lewerentz and T. Lindner, Formal Development of Reactive Systems: Case Study Production Cell, 2nd edition, Springer-Verlag. Lect. Notes Comput. Sci. 891 (1995).
M. Lorentz and J. Kidd, Object Oriented Metrics. Prentice-Hall (1994).
G. Poels and G. Dedene, Modelling and Measuring Object-Oriented Software attributes with Proximity Structures, in Proc. of 3rd International ECOOP WQAOOSE, Lisbon (1999) 1–22.
G. Poels and G. Dedene, Measuring Event-Based Object Oriented Conceptual Models, L'Objet, logiciel, bases de données, réseaux, Vol. 7. Hermès, Paris (2001).
J.M. Spivey, The Z Notation: A Reference Manual. Prentice Hall International, 2nd edition, (1992).
L. Stewart, Co-graphs, a class of tree representable graphs. Ph.D. Dpt of Computer Science, TR 126/78, University of Toronto, Canada (1978).
S.A. Whitmire, Object Oriented Design Measurement. J. Wiley (1997).