Object-oriented Software Testing

Software testing is the important approach to assure the quality of software. Since the Object-Oriented technology has been used in software engineering,the traditional test methods meet the big challenge. There are new challenges in testing of Object-Oriented software.This research is concerned with the testing techniques to Object-Oriented software from two perspectives:Object-Oriented metrics and software testing tools .For the purpose of this dissertation,a deeper research of testing techniques appears below:1.The architecture of software testing environment for many OO languages. An integration environment for software testing,measuring and maintaining is proposed. The architecture of testing environment is extended to cover many Object-Oriented software languages.2.The block-based program partition mechanism. We consider the program as the sequence of blocks,which provider the foundation of coverage analysis. It ensures the consistency for testing semantic defined for many Object-Oriented languages ultimately.3.Test adequacy measurement. Based on program partition mechanism,a new OO coverage metric is proposed,which is superior to traditional structural coverage metrics.4.Object-Oriented software metrics. We provide more than twenty important metrics. The metrics fall into two categories:(1) structural metrics,and (2) Object-Oriented metrics. For structural metrics,we propose the following four test complexity metrics based on block and two Cyclomatic complexity metrics:TCO,TCI,TC1+,TC2,Cyclomatic complexity with case and Cyclomatic complexity without case. For Object-Oriented metrics,we propose the following four metrics:Enhanced Cyclomatic Complexity,Number of Methods hi a Class,Number of Reused Inheritance Methods in a Class and Degree of Reused Inheritance Methods hi a Class. 5.Software test automation. This dissertation discuss the key technologies involved in automated testing such as program instrumentation,capture/ replay and test case minimization.6.The architecture of a protocol conformance test system for testing distributed embedded software. Also a formal specification language is defined to specify conformance test suites.