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 条
  • [21] Testing Chatbots Using Metamorphic Relations
    Bozic, Josip
    Wotawa, Franz
    TESTING SOFTWARE AND SYSTEMS (ICTSS 2019), 2019, 11812 : 41 - 55
  • [22] Towards effective metamorphic testing by algorithm stability for linear classification programs
    Yang, Yingzhuo
    Li, Zenan
    Wang, Huiyan
    Xu, Chang
    Ma, Xiaoxing
    JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 180
  • [23] Metamorphic Testing of Image Region Growth Programs in Image Processing Applications
    Jiang, Chao
    Huang, Song
    Hui, Zhan-wei
    2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 70 - 72
  • [24] On the Correlation between the Effectiveness of Metamorphic Relations and Dissimilarities of Test Case Executions
    Cao, Yuxiang
    Zhou, Zhi Quan
    Chen, Tsong Yueh
    2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2013, : 153 - 162
  • [25] Metamorphic Relations for Data Validation: A Case Study of Translated Text Messages
    Yan, Boyang
    Yecies, Brian
    Zhou, Zhi Quan
    2019 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2019), 2019, : 70 - 75
  • [26] Effectiveness of symmetric metamorphic relations on validating the stability of code generation LLM
    Chan, Pak Yuen Patrick
    Keung, Jacky
    Yang, Zhen
    JOURNAL OF SYSTEMS AND SOFTWARE, 2025, 222
  • [27] Using Metamorphic Relations to Improve The Effectiveness of Automatically Generated Test Cases
    Saha, Prashanta
    Kanewala, Upulee
    2022 IEEE/ACIS 20TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS (SERA), 2022, : 140 - 148
  • [28] Triggering Adaptation via Contextual Metamorphic Relations
    DeVries, Byron
    Fredericks, Erik M.
    2024 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2024, : 105 - 114
  • [29] Using Category Partition to Detect Metamorphic Relations
    Pedram, Saba
    Labiche, Yvan
    PROCEEDINGS OF THE 9TH ACM INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING, MET 2024, 2024, : 10 - 17
  • [30] 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