DocumentCode
2414991
Title
Metamorphic testing of programs on partial differential equations: a case study
Author
Chen, T.Y. ; Feng, Jianqiang ; Tse, T.H.
Author_Institution
Swinburne Univ. of Technol., Australia
fYear
2002
fDate
2002
Firstpage
327
Lastpage
333
Abstract
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 should also be applicable to other numerical methods that yield better approximations on the refinement of grid points or step sizes.
Keywords
elliptic equations; mathematics computing; partial differential equations; program testing; Dirichlet boundary conditions; case study; elliptic partial differential equation; metamorphic program testing; numerical programs; oracle problem; Application software; Biomedical engineering; Boundary conditions; Computer aided software engineering; Mission critical systems; Packaging; Partial differential equations; Software libraries; Software standards; Software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International
ISSN
0730-3157
Print_ISBN
0-7695-1727-7
Type
conf
DOI
10.1109/CMPSAC.2002.1045022
Filename
1045022
Link To Document