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 条
  • [31] Metamorphic Relations for Enhancing System Understanding and Use
    Zhou, Zhi Quan
    Sun, Liqun
    Chen, Tsong Yueh
    Towey, Dave
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2020, 46 (10) : 1120 - 1154
  • [32] 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
  • [33] 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
  • [34] An empirical study on the selection of good metamorphic relations
    Mayer, Johannes
    Guderlei, Ralph
    30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 475 - +
  • [35] Matrix calculation
    Fantappie, L
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1928, 186 : 619 - 621
  • [36] Efficient Sparse Matrix Algorithm to Speed Up the Calculation of the Ladder Term in Coupled Cluster Programs
    Pillio, Zoltan
    Tajti, Attila
    Szalay, Peter G.
    JOURNAL OF CHEMICAL THEORY AND COMPUTATION, 2012, 8 (09) : 3108 - 3118
  • [37] 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
  • [38] 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)
  • [39] Using algebraic models of programs for detecting metamorphic malwares
    Podlovchenko R.I.
    Kuzyurin N.N.
    Shcherbina V.S.
    Zakharov V.A.
    Journal of Mathematical Sciences, 2011, 172 (5) : 740 - 750
  • [40] PREDICTING ORDINAL RELATIONS
    CLIFF, N
    BRITISH JOURNAL OF MATHEMATICAL & STATISTICAL PSYCHOLOGY, 1994, 47 : 127 - 150