An Application of Metamorphic Testing for Testing Scientific Software

被引：0
作者：
Ding, Junhua [1 ,2 ]
Zhang, Dongmei [2 ]
Hu, Xin-Hua [3 ]
机构：
[1] East Carolina Univ, Dept Comp Sci, Greenville, NC 27587 USA
[2] China Univ Geosci, Sch Comp Sci, Wuhan 430074, Hubei, Peoples R China
[3] East Carolina Univ, Dept Phys, Greenville, NC 27587 USA
来源：
2016 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET) | 2016年
基金：
美国国家科学基金会;
关键词：
scientific software; metamorphic testing; metamorphic relation; mutation testing; discrete dipole approximation;
D O I：
10.1145/2896971.2896981
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
One of the grand challenges for adequately testing scientific software is due to the oracle problem. Metamorphic testing is the promise technique for addressing the problem through checking the satisfaction of a metamorphic relation that defines the correlation on the relation of paired test inputs and the one of their corresponding outputs. Therefore, checking the correctness of an individual test is replaced by checking the satisfaction of the metamorphic relation among a group of tests. However, the quality of the testing is highly depended on the identification of metamorphic relations. In this paper, we use an iterative approach for the development and refinement of metamorphic relations during testing process through testing an open source discrete dipole approximation program called ADDA. Through studying ADDA program, we discuss the experience and challenges of metamorphic testing for testing scientific software.
引用
收藏
页码：37 / 43
页数：7
相关论文
共 21 条
  • [1] [Anonymous], 1998, HKUSTCS9801
  • [2] [Anonymous], 2015, IEEE INT C SOFTW QUA
  • [3] [Anonymous], 2013, THESIS
  • [4] Baresi Luciano., 2001, Test Oracles
  • [5] Chen T. Y., 2002, Software Engineering Notes, V27, P191, DOI 10.1145/566171.566202
  • [6] Guderlei R, 2007, USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, P404
  • [7] Haralick R. M., 1971, Proceedings of the 1971 IEEE Conference on Decision and Control (Including the 10th Symposium on Adaptive Processes), P650
  • [8] Hu P., 2006, Proc. of the 3rd International Workshop on Software Quality Assurance, P6
  • [9] Hu X., 2010, 4 IEEE INT C SEC SOF
  • [10] Development of a diffraction imaging flow cytometer
    Jacobs, Kenneth M.
    Lu, Jun Q.
    Hu, Xin-Hua
    [J]. OPTICS LETTERS, 2009, 34 (19) : 2985 - 2987
123