Using Z to Specify Object-Oriented Software Complexity Measures

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

請使用永久網址來引用或連結此文件: 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	688	檢視/開啟
310904400-4874.doc		112Kb	Microsoft Word	382	檢視/開啟

在ASIAIR中所有的資料項目都受到原著作權保護.

資料載入中.....