Ye, Hong2024-08-152024-08-1520032003https://hdl.handle.net/1828/20286Software testing remains one of the most challenging and costly steps of software development process. Although object-oriented programming has become the dominant paradigm in industry, object-oriented software testing is mostly still in the research stage. Traditional software testing techniques are not well suited for object-oriented programs due to the powerful mechanisms, such as encapsulation, inheritance and polymorphism, characteristics of object-oriented programming. Hence, a need for the development of appropriate testing techniques for object-oriented applications becomes more urgent. This thesis introduces some test strategies based on a subset of Unified Modeling Language (UML) for testing object-oriented programs, more specifically, state diagrams and class diagrams. Corresponding coverage criteria are also presented. The approaches discussed in this thesis are implemented as a module of an existing UML-based verification tool called the Precise (UML) Development Environment.141 pagesAvailable to the World Wide WebThesis