Object-oriented software testing and metric in Z specification
學年 85
學期 2
出版（發表）日期 1997-05-01
作品名稱 Object-oriented software testing and metric in Z specification
作品名稱（其他語言）
著者 莊淇銘; Chung, Chi-ming; 施國琛; Shih, Timothy K.; Wang, Chun-chia
單位 淡江大學資訊工程學系
出版者 Philadelphia: Elsevier Inc.
著錄名稱、卷期、頁數 Information sciences 98(1-4), pp.175-202
摘要 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.
關鍵字
語言 en_US
ISSN 0020-0255
期刊性質 國外
收錄於
產學合作
通訊作者
審稿制度 否
國別 USA
公開徵稿
出版型式 ,電子版
相關連結

機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/59820 )

機構典藏連結