Object-oriented software testing and metric in Z specification

機構典藏 > College of Engineering > Graduate Institute & Department of Computer Science and Information Engineering > Journal Article > Item 987654321/59820

Please use this identifier to cite or link to this item: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/59820

Title:	Object-oriented software testing and metric in Z specification
Authors:	莊淇銘;Chung, Chi-ming;施國琛;Shih, Timothy K.;Wang, Chun-chia
Contributors:	淡江大學資訊工程學系
Date:	1997-05-01
Issue Date:	2011-10-05 22:18:27 (UTC+8)
Publisher:	Philadelphia: Elsevier Inc.
Abstract:	Software testing and metrics are key issues to improve software quality. They are important issues in the research of software engineering. In line with the methodologies of object-oriented analysis and design widely developed, many testing and metrics techniques have been proposed. However, not many focus on the testing criteria and metrics evaluation of an inheritance hierarchy. In this paper, we introduce a concept named unit repeated inheritance (URI) in Z to realize object-oriented testing and object-oriented metrics. The approach describes an inheritance level technique (ILT) method as a guide to test and measure the software complexity of an inheritance hierarchy. The measurement of inheritance metrics and some testing criteria thus can be formed based on the proposed mechanism.
Relation:	Information sciences 98(1-4), pp.175-202
DOI:	10.1016/S0020-0255(96)00154-5
Appears in Collections:	[Graduate Institute & Department of Computer Science and Information Engineering] Journal Article

Files in This Item:

File	Size	Format
index.html	0Kb	HTML	551	View/Open