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.
Chapter PDF
References
Myers, G.J.: The Art of Software Testing. John Wiley and Sons, Chichester (1979)
Gunter, E.L., Peled, D.: Path Exploration Tool, to appear in Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Amsterdam (1999)
Hoare, C.A.R.: An axiomatic basis for computer programming. Communication of the ACM 12, 576–580 (1969)
Rapps, S., Weyuker, E.J.: Selecting Software Test Data Using Data Flow Information. Transactions on Software Engineering 11(4), 367–375 (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gunter, E., Kurshan, R., Peled, D. (2000). PET: An Interactive Software Testing Tool. In: Emerson, E.A., Sistla, A.P. (eds) Computer Aided Verification. CAV 2000. Lecture Notes in Computer Science, vol 1855. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722167_43
Download citation
DOI: https://doi.org/10.1007/10722167_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67770-3
Online ISBN: 978-3-540-45047-4
eBook Packages: Springer Book Archive