Predicting Metamorphic Relations for Matrix Calculation Programs

被引:16
|
作者
Rahman, Karishma [1 ]
Kanewala, Upulee [1 ]
机构
[1] Montana State Univ, Bozeman, MT 59717 USA
来源
2018 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2018) | 2018年
基金
美国国家科学基金会;
关键词
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 条
  • [41] Addressing Data Quality Problems with Metamorphic Data Relations
    Auer, Florian
    Felderer, Michael
    2019 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2019), 2019, : 76 - 83
  • [42] MetaExploreX: A Visualisation Tool for Selecting and Constraining Metamorphic Relations
    Duque-Torres, Alejandra
    Pfahl, Dietmar
    Klammer, Claus
    Fischer, Stefan
    2024 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING-COMPANION, SANER-C 2024, 2024, : 219 - 222
  • [43] Testing acoustic scene classifiers using Metamorphic Relations
    Moreira, Diogo
    Furtado, Ana Paula
    Nogueira, Sidney
    2020 IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING (AITEST), 2020, : 47 - 54
  • [44] Metamorphic testing of programs on partial differential equations: a case study
    Chen, TY
    Feng, JQ
    Tse, TH
    26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 327 - 333
  • [45] Metamorphic Relations Based Test Oracles for Image Processing Applications
    Jameel, Tahir
    Lin, Mengxiang
    Chao, Liu
    INTERNATIONAL JOURNAL OF SOFTWARE INNOVATION, 2016, 4 (01) : 16 - 30
  • [46] Test Oracles Based on Metamorphic Relations for Image Processing Applications
    Jameel, Tahir
    Lin, Mengxiang
    Chao, Liu
    2015 16TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2015, : 437 - 442
  • [47] Evolutionary Generation of Metamorphic Relations for Cyber-Physical Systems
    Ayerdi, Jon
    Terragni, Valerio
    Arrieta, Aitor
    Tonella, Paolo
    Sagardui, Goiuria
    Arratibel, Maite
    PROCEEDINGS OF THE 2022 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION, GECCO 2022, 2022, : 15 - 16
  • [48] Prioritization of Metamorphic Relations based on Test case Execution Properties
    Srinivasan, Madhusudan
    2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2018, : 162 - 165
  • [49] Automatically finding Metamorphic Relations in Computational Material Science Parsers
    Mueller, Sebastian
    Gogoll, Valentin
    Anh Duc Vu
    Kehrer, Timo
    Grunske, Lars
    2022 IEEE 18TH INTERNATIONAL CONFERENCE ON E-SCIENCE (ESCIENCE 2022), 2022, : 521 - 528
  • [50] Discovering Metamorphic Relations for Scientific Software From User Forums
    Lin, Xuanyi
    Simon, Michelle
    Peng, Zedong
    Niu, Nan
    COMPUTING IN SCIENCE & ENGINEERING, 2021, 23 (02) : 65 - 72