Formal Test Purposes and The Validity of Test Cases
Peter H. Deussen, Stephan Tobies
TL;DR
This paper formalizes the concept of test purposes using Message Sequence Charts, defines test case validity, and offers a decision procedure to verify validity, enhancing formal testing methods.
Contribution
It introduces a formal framework for test purposes and validity based on Message Sequence Charts, with a simple decision procedure for validation.
Findings
Formalization of test purposes using Message Sequence Charts
A decision procedure for test case validity
Enhanced rigor in formal testing processes
Abstract
We give a formalization of the notion of test purpose based on (suitably restricted) Message Sequence Charts. We define the validity of test cases with respect to such a formal test purpose and provide a simple decision procedure for validity.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Testing and Debugging Techniques · Formal Methods in Verification · Logic, programming, and type systems