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 条
  • [31] DEGENERATE PARABOLIC STOCHASTIC PARTIAL DIFFERENTIAL EQUATIONS: QUASILINEAR CASE
    Debussche, Arnaud
    Hofmanova, Martina
    Vovelle, Julien
    ANNALS OF PROBABILITY, 2016, 44 (03): : 1916 - 1955
  • [32] Research on Metamorphic Testing : A Case Study in Integer Bugs Detection
    Yao Yi
    Zheng Changyou
    Huang Song
    Ren Zhengping
    2013 FOURTH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND ENGINEERING APPLICATIONS, 2013, : 488 - 493
  • [33] Metamorphic Testing in Bioinformatics Software: A Case Study on Metagenomic Assembly
    Stacy, Brook
    Hauzel, Jason
    Lindvall, Mikael
    Porter, Adam
    Pop, Mihai
    2022 IEEE/ACM 7TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2022), 2022, : 31 - 33
  • [34] VERIFICATION OF PHYLOGENETIC INFERENCE PROGRAMS USING METAMORPHIC TESTING
    Sadi, Md Shaik
    Kuo, Fei-Ching
    Ho, Joshua W. K.
    Charleston, Michael A.
    Chen, T. Y.
    JOURNAL OF BIOINFORMATICS AND COMPUTATIONAL BIOLOGY, 2011, 9 (06) : 729 - 747
  • [35] An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs
    Sun, Chang-Ai
    Dai, Hepeng
    Geng, Ning
    Liu, Huai
    Chen, Tsong Yueh
    Wu, Peng
    Cai, Yan
    Wang, Jinqiu
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (01)
  • [36] QoS-aware Metamorphic Testing: An Elevation Case Study
    Ayerdi, Jon
    Segura, Sergio
    Arrieta, Aitor
    Sagardui, Goiuria
    Arratibel, Maite
    2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), 2020, : 104 - 114
  • [37] Metamorphic testing of named entity recognition systems: A case study
    Xu, Yezi
    Zhou, Zhi Quan
    Zhang, Xiaoxia
    Wang, Jing
    Jiang, Mingyue
    IET SOFTWARE, 2022, 16 (04) : 386 - 404
  • [38] Application of Metamorphic Testing to a Case Study in Web Services Compositions
    Castro-Cabrera, Carmen
    Medina-Bulo, Inmaculada
    E-BUSINESS AND TELECOMMUNICATIONS, 2012, 314 : 168 - 181
  • [39] TestMC: Testing Model Counters using Differential and Metamorphic Testing
    Usman, Muhammad
    Wang, Wenxi
    Khurshid, Sarfraz
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 709 - 721
  • [40] AUTOMATIC PRODUCTION OF PROGRAMS FOR SOLVING PARTIAL DIFFERENTIAL EQUATIONS BY FINITE-DIFFERENCE METHODS
    PETRAVIC, M
    PETRAVIC, GK
    ROBERTS, KV
    COMPUTER PHYSICS COMMUNICATIONS, 1972, 4 (01) : 82 - 88
12345