Among several alternative viewpoints for building software quality metrics, evaluating the consistency between different models in a software specification or implementation appears to be fruitful. An obvious difficulty is that different models are usually expressed by means of different concepts, and then, confronting heterogeneous representations is not straightforward. In this paper, we propose a solution for measuring the consistency between the architecture and the communication models. After some sensible transformations, the information about both models are captured trough hierarchical representations. We define and discuss a similarity measure between hierarchies, that eventually founds the software metric we propose. Lastly, we investigate how to scale and interpret the metric values and give an application example with SDL.
Mots clés : software metrics, software architecture model, communication model, hierarchical clustering, model consistency, SDL
@article{ITA_2005__39_2_361_0,
author = {Lafaye, Jean-Yves and Louis, Georges},
title = {A metric for evaluating software architecture and communication models consistency},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {361--390},
publisher = {EDP-Sciences},
volume = {39},
number = {2},
year = {2005},
doi = {10.1051/ita:2005023},
mrnumber = {2142118},
zbl = {1101.68472},
language = {en},
url = {http://www.numdam.org/articles/10.1051/ita:2005023/}
}
TY - JOUR AU - Lafaye, Jean-Yves AU - Louis, Georges TI - A metric for evaluating software architecture and communication models consistency JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2005 SP - 361 EP - 390 VL - 39 IS - 2 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2005023/ DO - 10.1051/ita:2005023 LA - en ID - ITA_2005__39_2_361_0 ER -
%0 Journal Article %A Lafaye, Jean-Yves %A Louis, Georges %T A metric for evaluating software architecture and communication models consistency %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2005 %P 361-390 %V 39 %N 2 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita:2005023/ %R 10.1051/ita:2005023 %G en %F ITA_2005__39_2_361_0
Lafaye, Jean-Yves; Louis, Georges. A metric for evaluating software architecture and communication models consistency. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 39 (2005) no. 2, pp. 361-390. doi : 10.1051/ita:2005023. http://www.numdam.org/articles/10.1051/ita:2005023/
[1] , and, Evaluating, Comparing and Improving the Quality of System Structure, During the Specification Process. Application Example with SDL. Software Quality J. 7 (1998) 195-222.
[2] and, Les arbres et les représentations des proximités. Masson, Paris (1988).
[3] , and, A Validation of Object-Oriented Design Metrics as Quality Indicators. IEEE Trans. Software Engineer. 22 (1996) 412-421.
[4] and, Testing for the consecutive ones property, interval graphs, and graph planarity using PO-Tree algorithms. J. Comput. Syst. Sci. 13 (1976) 335-379. | MR | Zbl
[5] and, A Metric Suite for Object Oriented Design. IEEE Trans. Software Engineer. 20 (1994) 476-493.
[6] , and, Managerial use of metrics for object oriented software: an exploratory analysis. IEEE Trans. Software Engineer. 24 (1998) 629-639.
[7] and, Controlling Software: Management, Measurement and Estimates. Prentice-Hall (1998).
[8] , and, SDL, Formal Object-oriented Language for Communicating Systems. Prentice-Hall (1997).
[9] , and (editors), Software Quality Assurance and Measurement: A Worldwide Perspective. Chapman and Hall (1996). | Zbl
[10] and, Software Metrics: A Rigorous Approach1996). | Zbl
[11] ,,, and, Inconsistency Handling in Multi-Perspective Specifications. IEEE Trans. Software Engineer. 20 (1994) 569-578.
[12] , Analyse factorielle de tableaux multiples. Masson, Paris (1984). | MR | Zbl
[13] , and, Consistency Checking for Multiple View Software Architectures, in Proc. of European Software Engineering Conference, FSE'99, Springer-Verlag (1999) 410-428.
[14] , and, Automated Check of Architectural Models Consistency using SPIN, in Proc. of Automated Software Engineering conference, ASE'2001 (2001) 322-330.
[15] INSM, New Approaches in Software Measurement, in Proc. of 10 international Workshop INSM'2000, LCNS, Springer-Verlag (2000)
[16] ISO/IEC 9126, International Standard Information Technology - Software Product Evaluation. Quality Characteristics and Guideline. ISO (1991).
[17] , Analyse conjointe de tableaux quantitatifs. Masson, Paris (1988).
[18] , Graphical algorithms and their complexity. Mathematical Center Tract 81 (1976) 3-32. | Zbl
[19] , Classification et analyse ordinale de données. Dunod, Paris (1981). | MR | Zbl
[20] and, Formal Development of Reactive Systems: Case Study Production Cell 891 (1995). | Zbl
[21] and, Object Oriented Metrics. Prentice-Hall (1994).
[22] and, Modelling and Measuring Object-Oriented Software attributes with Proximity Structures1999) 1-22.
[23] and, Measuring Event-Based Object Oriented Conceptual Models, L'Objet, logiciel, bases de données, réseaux, Vol. 7. Hermès, Paris (2001). | Zbl
[24] , The Z Notation: A Reference Manual. Prentice Hall International, 2nd edition, (1992). | Zbl
[25] , Co-graphs, a class of tree representable graphs. Ph.D. Dpt of Computer Science, TR 126/78, University of Toronto, Canada (1978).
[26] , Object Oriented Design Measurement. J. Wiley (1997).
Cité par Sources :
