The Oracle Problem for Testing against Quantified Properties

Authors:
Patricia D. L. Machado;Wilkerson L. Andrade
Affiliations:
Federal University of Campina Grande, Campina Grande, Brazil;Federal University of Campina Grande, Campina Grande, Brazil
Venue:
QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Year:
2007

Citing 0
Cited 2

Conformance Testing of Network Simulators Based on Metamorphic Testing Technique

FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Automating image segmentation verification and validation by learning test oracles

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The oracle problem for testing from quantified proper- ties is discussed and illustrated by proposed solutions for first-order logic and computation tree logic (CTL) proper- ties. Unless constraints are placed, it is not always possible to generate feasible test suites from which accurate conclu- sions on their execution results can be reached regarding conformity with the intended property.