1998
DOI: 10.1007/3-540-49253-4_35
|View full text |Cite
|
Sign up to set email alerts
|

On Oracles for Interpreting Test Results against Algebraic Specifications

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
30
0

Year Published

2000
2000
2023
2023

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 16 publications
(30 citation statements)
references
References 8 publications
0
30
0
Order By: Relevance
“…Machado [27] proposed oracles derived from flat algebraic specifications expressed in first-order logic. Machado [28] presented an extension of the framework in Bernot et al [3], [4] to first-order logic with restrictions on quantifiers.…”
Section: Related Previous Workmentioning
confidence: 99%
See 1 more Smart Citation
“…Machado [27] proposed oracles derived from flat algebraic specifications expressed in first-order logic. Machado [28] presented an extension of the framework in Bernot et al [3], [4] to first-order logic with restrictions on quantifiers.…”
Section: Related Previous Workmentioning
confidence: 99%
“…(a) In previous work such as Aiguier et al [1], Bernot et al. [3], [4], Le Gall and Arnould [26], Machado [27], [28], and Machado and Sannella [29], the authors defined that a program P is correct with respect to a specification Sp if and only if P satisfies the set of all ground instances of every axiom in Sp. For the sake of brevity, we will use GI to denote this set of all such ground instances.…”
Section: Theoretical Implications In Relation To Previous Work On Clamentioning
confidence: 99%
“…This contradicts a common belief that the existence of a formal specification is sufficient to directly decide whether a test is a success. In presence of complex data types, it may be necessary to embed the tests into observable contexts, or to enrich the SUT with some concrete equivalence function [22].…”
Section: The Oracle Problemmentioning
confidence: 99%
“…Historically the above framework has been developed for algebraic specifications [4], [22]. Test data are just instantiated axioms of the specification and test experiments consist in their evaluation by the SUT to check that they are satisfied.…”
Section: Axioms Pre-conditions and Post-conditionsmentioning
confidence: 99%
See 1 more Smart Citation