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 条
  • [31] 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
  • [32] A runtime-testing method for integer overflow detection based on metamorphic relations
    Hui, Zhan-Wei
    Huang, Song
    Ji, Meng-Yu
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2016, 31 (04) : 2349 - 2361
  • [33] 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
  • [34] 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)
  • [35] MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases
    Xu, Congying
    Terragni, Valerio
    Zhu, Hengcheng
    Wu, Jiarong
    Cheung, Shing-Chi
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (06)
  • [36] Automated inference of likely metamorphic relations for model transformations
    Troya, Javier
    Segura, Sergio
    Ruiz-Cortes, Antonio
    JOURNAL OF SYSTEMS AND SOFTWARE, 2018, 136 : 188 - 208
  • [37] Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations
    Li, Ruosi
    Kong, Xianglong
    Guo, Wei
    Guo, Jingdong
    Li, Hongfa
    Zhang, Fan
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2024, 34 (07)
  • [38] Experience Report: How Do Metamorphic Relations Perform in Geographic Information Systems Testing
    Hui, Zhan-Wei
    Huang, Song
    PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC), VOL 2, 2016, : 598 - 599
  • [39] Input Test Suites for Program Repair: A Novel Construction Method Based on Metamorphic Relations
    Jiang, Mingyue
    Chen, Tsong Yueh
    Zhou, Zhi Quan
    Ding, Zuohua
    IEEE TRANSACTIONS ON RELIABILITY, 2021, 70 (01) : 285 - 303
  • [40] An Approach to Testing Banking Software Using Metamorphic Relations
    Rahman, Karishma
    Izurieta, Clemente
    2023 IEEE 24TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION FOR DATA SCIENCE, IRI, 2023, : 173 - 178