TL;DR
This paper introduces a novel testing approach for nondeterministic specifications that ensures testing continues only when it guarantees increased coverage, aiming to improve testing efficiency and effectiveness.
Contribution
The paper presents a new conformance testing method that guarantees increased coverage for nondeterministic systems, a significant advancement over existing techniques.
Findings
Ensures testing proceeds only with guaranteed coverage increase
Improves testing efficiency for nondeterministic specifications
Provides a new framework for conformance testing
Abstract
We propose a new approach to testing conformance to a nondeterministic specification, in which testing proceeds only as long as increased test coverage is guaranteed.
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 · VLSI and Analog Circuit Testing · Formal Methods in Verification