DEBUGGING COORDINATION-CENTRIC SOFTWARE SYSTEMS BASED ON EXECUTIONS OF THE SOFTWARE SYSTEMS

摘要

Evolution diagrams can be used to graphically display operation of a distributed or concurrent software system to a programmer to aid in debugging. A preferred diagram explicitly shows selected events, message traffic between software components, changes in component behavior, and correlations between local behavior changes. Behavioral abstractions are typically a generalization of an event cluster. Behavioral abstraction is a technique where a predetermined behavioral sequence is automatically recognized by the simulator in a concurrent stream of system events. Behavioral abstraction allows a designer to create a model for a particular behavior and then set up a tool to find instances of the particular behavior in an execution trace. Cooperative execution is used to facilitate debugging distributed or concurrent software systems. Cooperative execution allows the software system to generate event records corresponding to system event. These event records can then be transferred to a debugging tool.