Guided test visualization: Making sense of errors in concurrent programs

Saint Wesonga, Eric G. Mercer, Neha Rungta

DOI 10.1109/ase.2011.6100141 dblp

Abstract

This paper describes a tool to help debug error traces found by the Java Pathfinder model checker in concurrent Java programs. It does this by abstracting out thread interactions and program locations that are not obviously pertinent to the error through control flow or data dependence. The tool then iteratively refines the abstraction by adding thread interactions at critical locations until the error is reachable. The tool visualizes the entire process and enables the user to systematically analyze each abstraction and execution. Such an approach explicitly identifies specific context switch locations and thread interactions needed to debug a concurrent error trace in small to moderate programs that can be managed by the Java Pathfinder Tool.

BibTeX

@inproceedings{Wesonga-al:ASE11,
  author    = {Saint Wesonga and
               Eric G. Mercer and
               Neha Rungta},
  title     = {Guided test visualization: Making sense of errors in concurrent programs},
  booktitle = {ASE},
  pages     = {624--627},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
}

Guided test visualization: Making sense of errors in concurrent programs

Abstract

Related papers