OBJECT-ORIENTED SOFTWARE TESTING AND METRIC IN Z-SPECIFICATION

Software testing and metrics are key issues to improve software qualit y. 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 propos ed. However, not many focus on the testing criteria and metrics evalua tion of an inheritance hierarchy. In this paper, we introduce a concep t named unit repeated inheritance (URI) in Z to realize object-oriente d testing and object-oriented metrics. The approach describes an inher itance level technique (ILT) method as a guide to test and measure the software complexity of an inheritance hierarchy. The measurement of i nheritance metrics and some testing criteria thus can be formed based on the proposed mechanism. (C) Elsevier Science Inc. 1997.