DMCA
A Comprehensive Survey of Trends in Oracles for Software Testing (2013)
| Citations: | 20 - 4 self |
BibTeX
@MISC{Harman13acomprehensive,
author = {Mark Harman and Phil McMinn and Muzammil Shahbaz and Shin Yoo},
title = { A Comprehensive Survey of Trends in Oracles for Software Testing},
year = {2013}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Testing involves examining the behaviour of a system in order to discover potential faults. Determining the desired correct behaviour for a given input is called the “oracle problem”. Oracle automation is important to remove a current bottleneck which inhibits greater overall test automation; without oracle automation, the human has to determine whether observed behaviour is correct. The literature on oracles has introduced techniques for oracle automation, including modelling, specifications, contract-driven development and metamorphic testing. When none of these is completely adequate, the final source of oracle information remains the human, who may be aware of informal specifications, expectations, norms and domain specific information that provide informal oracle guidance. All forms of oracle, even the humble human, involve challenges of reducing cost and increasing benefit. This paper provides a comprehensive survey of current approaches to the oracle problem and an analysis of trends in this important area of software testing research and practice.
Keyphrases
comprehensive survey software testing oracle automation oracle problem humble human final source specific information current bottleneck desired correct behaviour provide informal oracle guidance informal specification oracle information observed behaviour current approach overall test automation important area metamorphic testing potential fault contract-driven development
