A scalable, visual interface for debugging with event-based behavioral abstraction

Event-based behavioral abstraction, in which models of intended program behavior are compared to actual program behavior, offers solutions to many of the debugging problems introduced by parallelism. Currently, however, its widespread application is limited by an inability to provide sufficient feedback on the mismatches between intended and actual behaviors, and an inability to provide output that scales for large or complex systems. The AVE/Ariadne debugging system was developed to address these limitations. Ariadne is a post mortem debugger that combines a simple modeling language with functional queries to support thorough exploration of execution traces. AVE is a visual interface to Ariadne that provides scalable, visual feedback. AVE features hierarchical visualizations that reflect the structure of user-defined behavioral models, dynamic attribute calculation, and automatic partitioning of matched behaviors and attributes