Title :
The Oracle Problem for Testing against Quantified Properties
Author :
Machado, Patricia D L ; Andrade, Wilkerson L.
Author_Institution :
Fed. Univ. of Campina Grande, Campina Grande
Abstract :
The oracle problem for testing from quantified properties is discussed and illustrated by proposed solutions for first-order logic and computation tree logic (CTL) properties. Unless constraints are placed, it is not always possible to generate feasible test suites from which accurate conclusions on their execution results can be reached regarding conformity with the intended property.
Keywords :
algebraic specification; conformance testing; formal logic; program testing; CTL properties; algebraic specification; computation tree logic; conformance testing; first-order logic; oracle problem; quantified properties; software testing; Costs; Equations; Formal specifications; Formal verification; Logic testing; Software quality; System testing;
Conference_Titel :
Quality Software, 2007. QSIC '07. Seventh International Conference on
Conference_Location :
Portland, OR
Print_ISBN :
978-0-7695-3035-2
DOI :
10.1109/QSIC.2007.4385529
