Journal of Software 20 (10): 2637-2654 (2009) |
Zhenyu Zhang 2 , W.K. Chan 3 , T.H. Tse 2 , and Peifeng Hu 4 ,
[paper from Journal of Software | technical report TR-2009-01]
ABSTRACT |
A test oracle in software testing is a mechanism for checking whether
the program under test behaves correctly for any execution.
In some practical situations, oracles can be unavailable or too
expensive to apply.
Metamorphic testing (MT) was proposed to alleviate this problem so
that software can be delivered under the time-to-market pressure.
However, the effectiveness of MT has not been studied adequately.
This paper conducts a controlled experiment to investigate the cost
effectiveness of using MT.
The fault detection capability and time cost of MT are compared with
the standard assertion checking method.
Our results show that MT has potentials to detect more faults than
the assertion checking method.
The experiment results also show a trade-off between the two testing
methods: MT can be less efficient but more effective, and can be
defined at a coarser level of granularity than the assertion checking method.
Keywords: Metamorphic testing, test oracle, controlled experiment, empirical evaluation |
|
EVERY VISITOR COUNTS: |