Automatic Extraction of Abstract-Object-State Machines
Based on Branch Coverage
(2005)Zusammenfassung
This paper proposes a new approach, called Brastra,
for extracting object state machines (OSM) from unit-test
executions. An OSM describes how a method call transits
an object from one state to another. When the state of an
object is represented with concrete-state information (the
values of fields transitively reachable from the object), the extracted OSMs are simply too complex to be useful. Our
Brastra approach abstracts an object’s concrete state to an
abstract state based on the branch coverage information exercised by methods invoked on the object.