Automatic Extraction of Sliced Object State Machines for Component Interfaces

Tao Xie,David Notkin

2004-01-01

Abstract:Component-based software development has increasingly gained popularity in industry. Although correct component-interface us- age is critical for successful understanding, testing, and reuse of components, interface usage is rarely specified formally in prac- tice. To tackle this problem, we automatically extract slic ed object state machines (OSM) for component interfaces from the execu- tion of generated tests. Given a component such as a Java class, we generate a set of tests to exercise the component and collect the concrete object states exercised by the tests. Because the n umber of exercised concrete object states and transitions among these states could be too large to be useful for inspection, we slice concrete ob- ject states by each member field of the component and use slice d states to construct a set of sliced OSM's. These sliced OSM's pro- vide useful state-transition information for helping unde rstand be- havior of component interfaces and also have potential for being used in component verification and testing.