DocumentCode
3283783
Title
Visualization of Concurrent Program Executions
Author
Artho, Cyrille ; Havelund, Klaus ; Honiden, Shinichi
Author_Institution
AIST, Tokyo
Volume
2
fYear
2007
fDate
24-27 July 2007
Firstpage
541
Lastpage
546
Abstract
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. This calls for abstraction and visualization tools. We propose an approach based on UML sequence diagrams, addressing shortcomings of such diagrams for concurrency. The resulting visualization is expressive and provides all the necessary information at a glance.
Keywords
Unified Modeling Language; concurrency control; program diagnostics; program visualisation; UML sequence diagram; abstraction-visualization tool; concurrent program execution; program analysis; program tracing; Animation; Concurrent computing; Data visualization; Failure analysis; Information security; Laboratories; Runtime; Switches; Unified modeling language; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
Conference_Location
Beijing
ISSN
0730-3157
Print_ISBN
0-7695-2870-8
Type
conf
DOI
10.1109/COMPSAC.2007.236
Filename
4291176
Link To Document