Predicting Metamorphic Relations for Matrix Calculation Programs

被引:16
|
作者
Rahman, Karishma [1 ]
Kanewala, Upulee [1 ]
机构
[1] Montana State Univ, Bozeman, MT 59717 USA
基金
美国国家科学基金会;
关键词
Metamorphic testing; metamorphic relation; control flow graph; support vector machine; random walk kernel;
D O I
10.1145/3193977.3193983
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Matrices often represent important information in scientific applications and are involved in performing complex calculations. But systematically testing these applications is hard due to the oracle problem. Metamorphic testing is an effective approach to test such applications because it uses metamorphic relations to determine whether test cases have passed or failed. Metamorphic relations are typically identified with the help of a domain expert and is a labor intensive task. In this work we use a graph kernel based machine learning approach to predict metamorphic relations for matrix calculation programs. Previously, this graph kernel based machine learning approach was used to successfully predict metamorphic relations for programs that perform numerical calculations. Results of this study show that this approach can be used to predict metamorphic relations for matrix calculation programs as well.
引用
收藏
页码:10 / 13
页数:4
相关论文
共 50 条
  • [21] Testing Chatbots Using Metamorphic Relations
    Bozic, Josip
    Wotawa, Franz
    TESTING SOFTWARE AND SYSTEMS (ICTSS 2019), 2019, 11812 : 41 - 55
  • [22] Techniques for Automatic Detection of Metamorphic Relations
    Kanewala, Upulee
    2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014), 2014, : 237 - 238
  • [23] A New Method for Constructing Metamorphic Relations
    Liu, Huai
    Liu, Xuan
    Chen, Tsong Yueh
    2012 12TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2012, : 59 - 68
  • [24] Calculation of PLS prediction intervals using efficient recursive relations for the Jacobian matrix
    Serneels, S
    Lemberge, P
    Van Espen, PJ
    JOURNAL OF CHEMOMETRICS, 2004, 18 (02) : 76 - 80
  • [25] The general calculation formulas and the recurrence relations of radial matrix elements for Hartmann potential
    Chen, CY
    Sun, DS
    Liu, CL
    PHYSICS LETTERS A, 2003, 317 (1-2) : 80 - 86
  • [26] CALCULATION OF RECURSIVE PROGRAMS
    RACHANSKI, V
    DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (10): : 853 - 855
  • [27] Public Relations Programs
    Kandle, Roscoe P.
    AMERICAN JOURNAL OF PUBLIC HEALTH AND THE NATIONS HEALTH, 1951, 41 (02): : 233 - 234
  • [28] Automatic Discovery and Cleansing of Numerical Metamorphic Relations
    Zhang, Bo
    Zhang, Hongyu
    Chen, Junjie
    Hao, Dan
    Moscato, Pablo
    2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), 2019, : 235 - 245
  • [29] Hierarchical Metamorphic Relations for Testing Scientific Software
    Lin, Xuanyi
    Simon, Michelle
    Niu, Nan
    2018 IEEE/ACM 13TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SCIENCE (SE4SCIENCE), 2018, : 1 - 8
  • [30] Metamorphic Testing of a Superficial Area Calculation Program
    Hui, Zhanwei
    Huang, Song
    2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2016), 2016, : 406 - 407