Visualization of concurrent program executions

Cyrille Artho, Klaus Havelund, Shinichi Honiden

研究成果: Article

抄録

Various program analysis techniques are very 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 result is a more expressive visualization that can provide all the necessary information at a glance.

元の言語English
ページ(範囲)1-12
ページ数12
ジャーナルNII Technical Reports
2007
発行部数6
出版物ステータスPublished - 2007 5 8
外部発表Yes

Fingerprint

Visualization

ASJC Scopus subject areas

  • Information Systems
  • Computer Science Applications

これを引用

Visualization of concurrent program executions. / Artho, Cyrille; Havelund, Klaus; Honiden, Shinichi.

:: NII Technical Reports, 巻 2007, 番号 6, 08.05.2007, p. 1-12.

研究成果: Article

Artho, C, Havelund, K & Honiden, S 2007, 'Visualization of concurrent program executions', NII Technical Reports, 巻. 2007, 番号 6, pp. 1-12.
Artho, Cyrille ; Havelund, Klaus ; Honiden, Shinichi. / Visualization of concurrent program executions. :: NII Technical Reports. 2007 ; 巻 2007, 番号 6. pp. 1-12.
@article{d1a638e654e6455ca96df86963237a7d,
title = "Visualization of concurrent program executions",
abstract = "Various program analysis techniques are very 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 result is a more expressive visualization that can provide all the necessary information at a glance.",
author = "Cyrille Artho and Klaus Havelund and Shinichi Honiden",
year = "2007",
month = "5",
day = "8",
language = "English",
volume = "2007",
pages = "1--12",
journal = "NII Technical Reports",
issn = "1346-5597",
publisher = "National Institute of Informatics",
number = "6",

}

TY - JOUR

T1 - Visualization of concurrent program executions

AU - Artho, Cyrille

AU - Havelund, Klaus

AU - Honiden, Shinichi

PY - 2007/5/8

Y1 - 2007/5/8

N2 - Various program analysis techniques are very 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 result is a more expressive visualization that can provide all the necessary information at a glance.

AB - Various program analysis techniques are very 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 result is a more expressive visualization that can provide all the necessary information at a glance.

UR - http://www.scopus.com/inward/record.url?scp=34547460217&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34547460217&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:34547460217

VL - 2007

SP - 1

EP - 12

JO - NII Technical Reports

JF - NII Technical Reports

SN - 1346-5597

IS - 6

ER -