Specification Based Testing of Inheritance: A Framework of a Tool

Object Oriented Systems are widely designed using UML, OCL specifications and these systems are to be tested with respect to a given specification. This work addresses the problem of testing objects with inherited code. Unlike reported flattening [1] approach, our scheme strictly follows inheritance specification while testing an object. For specifying inheritance we use class diagrams annotated with OCL specifications and method call sequences; from these test cases and test oracles are derived. A tool has been developed to automate the process of testing. The tool follows non- intrusive/invasive approach of testing to insure that an error due to testing does not creep into code.