Object-Oriented Software Testing and Metric in Z Specification

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

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


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.

Original languageEnglish
Pages (from-to)175-202
Number of pages28
JournalInformation Sciences
Issue number1-4
StatePublished - May 1997


Dive into the research topics of 'Object-Oriented Software Testing and Metric in Z Specification'. Together they form a unique fingerprint.

Cite this