Object-Oriented Software Testing and Metric in Z Specification

Chi Ming Chung, Timothy K. Shih, Chun Chia Wang

研究成果: 雜誌貢獻期刊論文同行評審

5 引文 斯高帕斯(Scopus)


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.

頁(從 - 到)175-202
期刊Information Sciences
出版狀態已出版 - 5月 1997


深入研究「Object-Oriented Software Testing and Metric in Z Specification」主題。共同形成了獨特的指紋。