Metamorphic testing of programs on partial differential equations: a case study

被引：0

作者：

Chen, TY ^{[1
]}

Feng, JQ ^{[1
]}

Tse, TH ^{[1
]}

机构：

[1] Univ Hong Kong, Dept Comp Sci & Informat Syst, Hong Kong, Hong Kong, Peoples R China

来源：

26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS | 2002年

关键词：

program testing; metamorphic testing; oracle problem; partial differential equations;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：327 / 333

页数：5

共 50 条

[41] A COMPURER PROGRAM FOR NONNUMERICAL TESTING AND REDUCTION OF SETS OF ALGEBRAIC PARTIAL DIFFERENTIAL EQUATIONS
BRANS, CH
JOURNAL OF THE ACM, 1967, 14 (01) : 45 - &
[42] Fractional Approach to the Study of Some Partial Differential and Integro-Differential Equations
Olivar-Romero, F.
INTERNATIONAL CONFERENCE ON QUANTUM PHENOMENA, QUANTUM CONTROL AND QUANTUM OPTICS, QUANTUM FEST 2021, 2023, 2448
[43] Introduction to Partial Differential Equations
Fulling, S. A.
Foundations of Physics, 26 (08):
[44] QUASICRYSTALS AND PARTIAL DIFFERENTIAL EQUATIONS
Fan, Tian You
STATISTICAL PHYSICS, HIGH ENERGY, CONDENSED MATTER AND MATHEMATICAL PHYSICS, 2008, : 519 - 519
[45] Homogenization of Partial Differential Equations
Kolumban, J.
STUDIA UNIVERSITATIS BABES-BOLYAI MATHEMATICA, 2007, 52 (01): : 162 - 163
[46] On the Conversion of Partial Differential Equations
Mohyud-Din, Syed Tauseef
ZEITSCHRIFT FUR NATURFORSCHUNG SECTION A-A JOURNAL OF PHYSICAL SCIENCES, 2010, 65 (11): : 896 - 900
[47] An introduction to partial differential equations
Stander, Derek
MATHEMATICAL GAZETTE, 2007, 91 (520): : 176 - +
[48] ON A CLASS OF PARTIAL DIFFERENTIAL EQUATIONS
KREYSZIG, E
JOURNAL OF RATIONAL MECHANICS AND ANALYSIS, 1955, 4 (06): : 907 - 923
[49] CATASTROPHES AND PARTIAL DIFFERENTIAL EQUATIONS
GUCKENHEIMER, J
ANNALES DE L INSTITUT FOURIER, 1973, 23 (02) : 31 - 59
[50] Symmetries of partial differential equations
Gaussier, H
Merker, J
JOURNAL OF THE KOREAN MATHEMATICAL SOCIETY, 2003, 40 (03) : 517 - 561

← 1 2 3 4 5 →