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 条
  • [1] Metamorphic Testing on Scientific Programs for Solving Second-Order Elliptic Differential Equations
    Yan, Shiyu
    Zhu, Hong
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2025, 35 (01):
  • [2] Integration of Dissipative Partial Differential Equations: A Case Study
    Arioli, Gianni
    koch, Hans
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, 2010, 9 (03): : 1119 - 1133
  • [3] Metamorphic Testing of Oracle Quantum Programs
    Abreu, Rui
    Fernandes, Joao Paulo
    Liana, Luis
    Tavares, Guilherme
    3RD INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2022), 2022, : 16 - 23
  • [4] Testing identities of series defined by algebraic partial differential equations
    PeladanGerma, A
    APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES, 1995, 948 : 393 - 407
  • [5] On Testing the Existence of Universal Denominators for Partial Differential and Difference Equations
    Paramonov, S. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2017, 43 (02) : 126 - 129
  • [6] On testing the existence of universal denominators for partial differential and difference equations
    S. V. Paramonov
    Programming and Computer Software, 2017, 43 : 126 - 129
  • [7] Enhancing the Texture Attribute with Partial Differential Equations: A Case of Study with Gabor Filters
    Machado, Bruno Brandoli
    Goncalves, Wesley Nunes
    Bruno, Odemir Martinez
    ADVANCED CONCEPTS FOR INTELLIGENT VISION SYSTEMS, 2011, 6915 : 337 - 348
  • [8] Statistical metamorphic testing - Testing programs with random output by means of statistical hypothesis tests and metamorphic testing
    Guderlei, Ralph
    Mayer, Johannes
    USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, : 404 - 409
  • [9] Algebraic study of systems of partial differential equations
    Kashiwara, M
    BULLETIN DE LA SOCIETE MATHEMATIQUE DE FRANCE, 1995, 123 (04): : 1 - &
  • [10] Theoretical developments in the study of partial differential equations
    Joseph, K. T.
    Sandeep, K.
    INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 2019, 50 (03): : 681 - 704
12345