skip to main content
10.1145/2687233.2687250acmotherconferencesArticle/Chapter ViewAbstractPublication Pagescee-secrConference Proceedingsconference-collections
research-article

Visualization of parallel program execution for software behavior analysis and defect detection

Authors Info & Claims
Published:23 October 2014Publication History

ABSTRACT

Modern software systems are developed as very complex, heavily parallelized programs. Communication between multiple processes and threads inevitably leads to exponential growth of program state space and nondetermined program behaviour. These facts make standard error detection techniques, such as testing or static analysis, ineffective when applied to parallel programs. One way to solve the error detection problem is dynamic software visualization. In this paper we propose an approach, based on program trace analysis and vizualization. Our prototype allows building program trace logs using code instrumentation and supports 3 visualization types. Experimental results prove that proposed approch is effective and applicable to wide spectrum of software systems.

References

  1. Ball Thomas. The Concept of Dynamic Analysis. / Ed. by Oscar Nierstrasz, Michel Lemoine. --- Vol. 1687 of Lecture Notes in Computer Science. --- Springer, 1999. --- P. 216--234. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Reiss Steven P. Defining Software Visualizations Dynamically (Extended Abstract).Google ScholarGoogle Scholar
  3. Dugerdil Philippe, Alam Sazzadul. Execution Trace Visualization in a 3D Space // Proceedings of the Fifth International Conference on Information Technology: New Generations. --- ITNG '08. --- Washington, DC, USA: IEEE Computer Society, 2008. --- P. 38--43. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Roberts James, Zilles Craig. TraceVis: An Execution Trace Visualization Tool // MoBS '05. --- 2005.Google ScholarGoogle Scholar
  5. Girgis Hani Z., Jayaraman Bharat, Gestwicki Paul V. Visualizing errors in object oriented programs. // OOPSLA Companion. --- ACM, 2005. --- P. 156--157. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. The LLVM Compiler Infrastructure. --- http://llvm.org/.Google ScholarGoogle Scholar
  7. {Reference contains Cyrillic text which could not be captured.}Google ScholarGoogle Scholar
  8. Lock-free data structure library. --- http://liblfds.org/.Google ScholarGoogle Scholar
  9. Steven T. Hackstadt Allen D. Malony Bernd Mohr. Scalable Performance Visualization for Data-Parallel Programs // Proceedings of the Scalable High Performance Computing Conference. --- 1994. --- P. 342--349.Google ScholarGoogle Scholar

Index Terms

  1. Visualization of parallel program execution for software behavior analysis and defect detection

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in
    • Published in

      cover image ACM Other conferences
      CEE-SECR '14: Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia
      October 2014
      176 pages
      ISBN:9781450328890
      DOI:10.1145/2687233

      Copyright © 2014 ACM

      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 23 October 2014

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • research-article

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader