Download:
by Zhi Quan Zhou, D. H. Huang, T. H. Tse, Zongyuan Yang, Haitao Huang, T. Y. Chen
http://www.cs.hku.hk/research/techreps/document/TR-2004-12.pdf
Add To MetaCart
Abstract:
An “oracle ” in software testing is a procedure by which testers can decide whether the output of the program under testing is correct. In some situations, however, the oracle is not available or too difficult to apply. This is known as the “oracle problem”. In other situations, the oracle is often the human tester who checks the testing result manually. The manual prediction and verification of program output greatly decreases the efficiency and increases the cost of testing. A metamorphic testing method has been proposed to test programs without the involvement of an oracle. It employs properties of the target function, known as metamorphic relations, to generate follow-up test cases and verify the outputs auto-∗ c ○ 2004 Software Engineering Association, Japan. This material is presented to ensure timely dissemination of scholarly and technical work.
Citations
|
390
|
The Art of Software Testing
– Myers
- 1979
|
|
311
|
Software Testing Techniques
– Beizer
- 1990
|
|
259
|
Designing programs that check their work
– Blum, Khanna
- 1995
|
|
77
|
Reliability of the path analysis testing strategy
– Howden
- 1976
|
|
64
|
On testing non-testable programs
– Weyuker
- 1982
|
|
62
|
Data diversity: An approach to software faulttolerance
– Ammann, Knight
- 1988
|
|
52
|
Applied Numerical Analysis
– Gerald, Wheatley
- 1990
|
|
44
|
A theory of fault-based testing
– Morell
- 1990
|
|
43
|
Software Manual for the Elementary Functions
– Waite
- 1980
|
|
30
|
Self-testing I correcting with applications to numerical problems
– Blum, Luby, et al.
- 1993
|
|
14
|
Software debugging, testing, and verification
– Hailpern, Santhanam
- 2002
|
|
13
|
Metamorphic testing: a new approach for generating next test cases
– Chen, Cheung, et al.
- 1998
|
|
13
|
Fault-based testing without the need of oracles
– Chen, Tse, et al.
|
|
10
|
Metamorphic testing of programs on partial differential equations: A case study
– Chen, Feng, et al.
- 2002
|
|
9
|
Predicting dependability by testing
– Hamlet
- 1996
|
|
7
|
Automated metamorphic testing
– Gotlieb, Botella
- 2003
|
|
4
|
Software testing using model programs
– Manolache, Kourie
- 2001
|
|
3
|
Metamorphic testing and testing with special values
– Chen, Kuo, et al.
- 2004
|
