Testing Java implementations of algebraic specifications
Isabel Nunes (University of Lisbon, Lisboa, Portugal), Filipe Lu\'is, (University of Lisbon, Lisboa, Portugal)
TL;DR
This paper introduces a method for testing Java implementations against algebraic specifications by generating tests from specification-compliant structures and analyzing failures to identify faulty components.
Contribution
It presents a novel approach to create and interpret tests based on algebraic specifications, aiding in fault localization in Java programs.
Findings
Effective in identifying implementation faults
Improves understanding of specification compliance
Experimental results demonstrate method's utility
Abstract
In this paper we focus on exploiting a specification and the structures that satisfy it, to obtain a means of comparing implemented and expected behaviours and find the origin of faults in implementations. We present an approach to the creation of tests that are based on those specification-compliant structures, and to the interpretation of those tests' results leading to the discovery of the method responsible for an eventual test failure. Results of comparative experiments with a tool implementing this approach are presented.
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.