Debugging parallel programs challenges users due to the high complexity established by multiple, concurrently executing and communicating tasks. While error detection is still mainly based on textual representations, only graphical displaysprovide capabilities for managing the complexity. With the event graph model, investigations about occurring events and their connections can be performed. In addition, users can specify expected program behavior by graphically defining communicationpatterns. These assertions can be checked automatically and deliver valuable information about a program's correctness.
展开▼
