PET: An interactive software testing tool

Elsa Gunter, Robert Kurshan, Doron Peled

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We describe here the PET (standing for path exploration tool) system, developed in Bell Labs. This new tool allows an interactive testing of sequential or concurrent programs, using techniques taken from deductive program verification. It automatically generates and displays a graphical representation of the flow graph, and links the visual representation to the code. Testing is done by selecting execution paths, or, in the case of concurrent programs, interleaved sequences of code. The Pet system calculates the exact condition to execute path being selected, in terms of the program variables. It also calculates (when possible) whether this condition is vacuous (never satisfied) or universal (always satisfied). The user can then edit the path and select variants of it by either extending it, truncating it, or switching the order of appearance of concurrent events. This testing approach is not limited to finite state systems, and hence can be used in cases where a completely automatic verification cannot be applied.

Original languageEnglish (US)
Title of host publicationComputer Aided Verification - 12th International Conference, CAV 2000, Proceedings
EditorsE. Allen Emerson, A. Prasad Sistla
PublisherSpringer-Verlag
Pages552-556
Number of pages5
ISBN (Print)3540677704
StatePublished - Jan 1 2000
Externally publishedYes
Event12th International Conference on Computer Aided Verification, CAV 2000 - Chicago, United States
Duration: Jul 15 2000Jul 19 2000

Publication series

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

Other

Other12th International Conference on Computer Aided Verification, CAV 2000
CountryUnited States
CityChicago
Period7/15/007/19/00

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Gunter, E., Kurshan, R., & Peled, D. (2000). PET: An interactive software testing tool. In E. Allen Emerson, & A. Prasad Sistla (Eds.), Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings (pp. 552-556). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1855). Springer-Verlag.