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 条

[21] PARTIAL DIFFERENTIAL EQUATIONS
BELLMAN, R
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1965, 71 (06) : 854 - &
[22] CONVERTING FRACTIONAL DIFFERENTIAL EQUATIONS INTO PARTIAL DIFFERENTIAL EQUATIONS
He, Ji-Huan
Li, Zheng-Biao
THERMAL SCIENCE, 2012, 16 (02): : 331 - 334
[23] PARTIAL DIFFERENTIAL EQUATIONS AND DIFFERENCE EQUATIONS
FLATTO, L
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1965, 16 (05) : 858 - &
[24] INTEGRAL EQUATIONS AND PARTIAL DIFFERENTIAL EQUATIONS
YANOWITC.M
SIAM REVIEW, 1965, 7 (04) : 572 - &
[25] Testing Embedded Software by Metamorphic Testing: a Wireless Metering System Case Study
Kuo, Fei-Ching
Chen, Tsong Yueh
Tam, Wing K.
2011 IEEE 36TH CONFERENCE ON LOCAL COMPUTER NETWORKS (LCN), 2011, : 291 - 294
[26] REMARKS ON A STUDY OF THE NUMERICAL SOLUTION OF PARTIAL DIFFERENTIAL EQUATIONS
HYMAN, MA
JOURNAL OF MATHEMATICS AND PHYSICS, 1952, 30 (04): : 256 - 256
[27] Algebraic study of systems of partial differential equations - Foreword
Schapira, P
BULLETIN DE LA SOCIETE MATHEMATIQUE DE FRANCE, 1995, 123 (04): : R9 - R12
[28] Partial differential equations with differential constraints
Krupková, O
JOURNAL OF DIFFERENTIAL EQUATIONS, 2006, 220 (02) : 354 - 395
[29] On the partial differential equations of electrostatic MEMS devices: Stationary case
Ghoussoub, Nassif
Guo, Yujin
SIAM JOURNAL ON MATHEMATICAL ANALYSIS, 2007, 38 (05) : 1423 - 1449
[30] WEAK APPROXIMATION OF STOCHASTIC PARTIAL DIFFERENTIAL EQUATIONS: THE NONLINEAR CASE
Debussche, Arnaud
MATHEMATICS OF COMPUTATION, 2011, 80 (273) : 89 - 117

← 1 2 3 4 5 →