| New problems associated with the testing and maintenance of object-oriented programs (OOPs) have been introduced with the dramatically increasing use of OOPs over the past decade. Testing OOPs beyond the class level has been rarely discussed. This dissertation presents an approach for testing high level OOPs based on formal specifications and usage profiles. The behavior of a software system is specified in an object-oriented formal specification. A state model provides a complementary representation of the dynamic behavior. Probability information is used as a guide to derive the anticipated operation sequences of a program from the state model. An enhanced state transition diagram as well as an embedded finite-state automaton are used to describe the state model, which incorporates hierarchy, usage and parameter information. In addition, an extended Backus-Naur form is used to describe the data profile which defines the data type and its distribution. |
