Tracing the executions of concurrent programs

Document Type

Conference Proceeding

Publication Date

1-1-2002

Abstract

Checking the reliability of software is an ever growing challenge. Fully automatic tools that attempt to cover the entire state space often fail because of state explosion. We present instead a toolset that employs some less-ambitious but useful methods to assist in software debugging. The toolset provides an automatic translation of the code into visual flowcharts, allowing the user to interactively select execution paths. It assists the user by calculating path conditions and exploring the neighborhood of the paths. It also allows the user to interactively step through the execution of the program, directed by temporal formulas interpreted over finite sequences. We will show several different ways of using these capabilities for debugging sequential and concurrent programs. ©2002 Published by Elsevier Science B.V.

Identifier

1442316717 (Scopus)

Publication Title

Electronic Notes in Theoretical Computer Science

External Full Text Location

https://doi.org/10.1016/S1571-0661(04)80581-4

ISSN

15710661

First Page

128

Last Page

141

Issue

4

Volume

70

This document is currently not available here.

Share

COinS