Using Z to Specify Object-Oriented Software Complexity Measures

ASIA unversity > 資訊學院 > 資訊工程學系 > 期刊論文 > Item 310904400/4874

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://asiair.asia.edu.tw/ir/handle/310904400/4874

题名:	Using Z to Specify Object-Oriented Software Complexity Measures
作者:	Timothy K. Shih;Chun-Chia Wang;Chi-Ming Chung
关键词:	Software metrics;Inheritance hierarchy;Unit repeated inheritance;Inheritance level technique;Z specification
日期:	1997-02
上传时间:	2009-12-03 08:32:07 (UTC+0)
出版者:	Asia University
摘要:	Software metrics have been a key strategy for software engineers to assure software quality and measure software complexity for many years. However, the complexity metrics of object inheritance hierarchies have not yet been carefully studied. This paper proposes an inheritance level-based metric for measuring the object-oriented software complexity of an inheritance hierarchy. We introduce an algorithm which is proved to be complete and sound to decompose an inheritance hierarchy into a number of measured elements, namely, unit repeated inheritances (URIs). We use the Z specification to model the inheritance hierarchy and describe an inheritance level technique (ILT) based on URIs as a guide to measure the inheritance hierarchy. The proposed metric shows that inheritance has a close relation to object-oriented software complexity. The metric also reveals that overuse of repeated (multiple) inheritance will increase software complexity and thus is prone to implicit software errors. The measurement of inheritance metrics is formed based on the proposed mechanism.
關聯:	Journal of Information and Software Technology 39(8):515-529
显示于类别:	[資訊工程學系] 期刊論文

文件中的档案:

档案	描述	大小	格式	浏览次数
		0Kb	Unknown	686	检视/开启
310904400-4874.doc		112Kb	Microsoft Word	382	检视/开启

在ASIAIR中所有的数据项都受到原著作权保护.

数据加载中.....