Proceedings of the 26th Annual International Computer Software
and Applications Conference
IEEE Computer Society, Los Alamitos, CA, pp. 327-333 (2002)
T.Y. Chen 2 , J. Feng 3 , and T.H. Tse 2
[paper from IEEE Xplore | paper from IEEE digital library | postprint]
We study the effect of applying metamorphic testing
to alleviate the oracle problem for numerical programs.
We discuss a case study on the testing of a program that solves
an elliptic partial differential equation with Dirichlet boundary conditions.
We identify a metamorphic relation for the equation
and demonstrate the effectiveness of metamorphic testing in
identifying the error.
The relation identified in the paper should also be applicable to
other numerical methods that yield better approximations on the refinement
of grid points or step sizes.
Keywords: Program testing, metamorphic testing, oracle problem, partial differential equations
|EVERY VISITOR COUNTS:|