Path exploration tool

Elsa L. Gunter; Doron Peled

doi:10.1007/3-540-49059-0_28

Path exploration tool

Elsa L. Gunter, Doron Peled

Lucent

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

27 Scopus citations

Abstract

While verification methods are becoming more frequently integrated into software development projects, software testing is still the main method used to search for programming errors. Software testing approaches focus on methods for covering different execution paths of a program, e.g., covering all the statements, or covering all the possible tests. Such coverage criteria are usually approximated using some add-hoc heuristics. We present a tool for testing execution paths in sequential and concurrent programs. The tool, path exploration tool (PET), visualizes concurrent code as flow graphs, and allows the user to interactively select an (interleaved) execution path. It then calculates and displays the condition to execute such a path, and allows the user to easily modify the selection in order to cover additional related paths. We describe the design and architecture of this tool and suggest various extensions.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 5th International Conference, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings
Editors	W. Rance Cleaveland
Publisher	Springer Verlag
Pages	405-419
Number of pages	15
ISBN (Print)	3540657037, 9783540657033
DOIs	https://doi.org/10.1007/3-540-49059-0_28
State	Published - 1999
Externally published	Yes
Event	5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999 - Amsterdam, Netherlands Duration: 22 Mar 1999 → 28 Mar 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1579
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999
Country/Territory	Netherlands
City	Amsterdam
Period	22/03/99 → 28/03/99

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.

Access to Document

10.1007/3-540-49059-0_28

Cite this

Gunter, E. L., & Peled, D. (1999). Path exploration tool. In W. Rance Cleaveland (Ed.), Tools and Algorithms for the Construction and Analysis of Systems - 5th International Conference, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings (pp. 405-419). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1579). Springer Verlag. https://doi.org/10.1007/3-540-49059-0_28

Gunter, Elsa L. ; Peled, Doron. / Path exploration tool. Tools and Algorithms for the Construction and Analysis of Systems - 5th International Conference, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. editor / W. Rance Cleaveland. Springer Verlag, 1999. pp. 405-419 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d2259e5a192f42b58ca3d2f410f72476,

title = "Path exploration tool",

abstract = "While verification methods are becoming more frequently integrated into software development projects, software testing is still the main method used to search for programming errors. Software testing approaches focus on methods for covering different execution paths of a program, e.g., covering all the statements, or covering all the possible tests. Such coverage criteria are usually approximated using some add-hoc heuristics. We present a tool for testing execution paths in sequential and concurrent programs. The tool, path exploration tool (PET), visualizes concurrent code as flow graphs, and allows the user to interactively select an (interleaved) execution path. It then calculates and displays the condition to execute such a path, and allows the user to easily modify the selection in order to cover additional related paths. We describe the design and architecture of this tool and suggest various extensions.",

author = "Gunter, {Elsa L.} and Doron Peled",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999 ; Conference date: 22-03-1999 Through 28-03-1999",

year = "1999",

doi = "10.1007/3-540-49059-0_28",

language = "אנגלית",

isbn = "3540657037",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "405--419",

editor = "{Rance Cleaveland}, W.",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 5th International Conference, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings",

address = "גרמניה",

}

Gunter, EL & Peled, D 1999, Path exploration tool. in W Rance Cleaveland (ed.), Tools and Algorithms for the Construction and Analysis of Systems - 5th International Conference, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1579, Springer Verlag, pp. 405-419, 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Amsterdam, Netherlands, 22/03/99. https://doi.org/10.1007/3-540-49059-0_28

Path exploration tool. / Gunter, Elsa L.; Peled, Doron.
Tools and Algorithms for the Construction and Analysis of Systems - 5th International Conference, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. ed. / W. Rance Cleaveland. Springer Verlag, 1999. p. 405-419 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1579).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Path exploration tool

AU - Gunter, Elsa L.

AU - Peled, Doron

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1999.

PY - 1999

Y1 - 1999

N2 - While verification methods are becoming more frequently integrated into software development projects, software testing is still the main method used to search for programming errors. Software testing approaches focus on methods for covering different execution paths of a program, e.g., covering all the statements, or covering all the possible tests. Such coverage criteria are usually approximated using some add-hoc heuristics. We present a tool for testing execution paths in sequential and concurrent programs. The tool, path exploration tool (PET), visualizes concurrent code as flow graphs, and allows the user to interactively select an (interleaved) execution path. It then calculates and displays the condition to execute such a path, and allows the user to easily modify the selection in order to cover additional related paths. We describe the design and architecture of this tool and suggest various extensions.

AB - While verification methods are becoming more frequently integrated into software development projects, software testing is still the main method used to search for programming errors. Software testing approaches focus on methods for covering different execution paths of a program, e.g., covering all the statements, or covering all the possible tests. Such coverage criteria are usually approximated using some add-hoc heuristics. We present a tool for testing execution paths in sequential and concurrent programs. The tool, path exploration tool (PET), visualizes concurrent code as flow graphs, and allows the user to interactively select an (interleaved) execution path. It then calculates and displays the condition to execute such a path, and allows the user to easily modify the selection in order to cover additional related paths. We describe the design and architecture of this tool and suggest various extensions.

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

U2 - 10.1007/3-540-49059-0_28

DO - 10.1007/3-540-49059-0_28

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84948973183

SN - 3540657037

SN - 9783540657033

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 405

EP - 419

BT - Tools and Algorithms for the Construction and Analysis of Systems - 5th International Conference, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings

A2 - Rance Cleaveland, W.

PB - Springer Verlag

T2 - 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999

Y2 - 22 March 1999 through 28 March 1999

ER -

Gunter EL, Peled D. Path exploration tool. In Rance Cleaveland W, editor, Tools and Algorithms for the Construction and Analysis of Systems - 5th International Conference, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. Springer Verlag. 1999. p. 405-419. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-49059-0_28

Path exploration tool

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this