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 条
  • [41] CERTAIN RECURRENCE RELATIONS FOR APPELL FUNCTIONS USEFUL IN THE CALCULATION OF MATRIX ELEMENTS IN AN ANGULAR MOMENTUM REPRESENTATION
    NAGEL, B
    OLSSON, P
    WEISSGLAS, P
    ARKIV FOR FYSIK, 1963, 23 (02): : 137 - 143
  • [42] Nonnegative matrix factorization and metamorphic malware detection
    Yeong Tyng Ling
    Nor Fazlida Mohd Sani
    Mohd Taufik Abdullah
    Nor Asilah Wati Abdul Hamid
    Journal of Computer Virology and Hacking Techniques, 2019, 15 : 195 - 208
  • [43] A holographic matrix representation of the metamorphic parallel mechanisms
    Sun, Wei
    Kong, Jianyi
    Sun, Liangbo
    MECHANICAL SCIENCES, 2019, 10 (02) : 437 - 447
  • [44] Nonnegative matrix factorization and metamorphic malware detection
    Ling, Yeong Tyng
    Sani, Nor Fazlida Mohd
    Abdullah, Mohd Taufik
    Hamid, Nor Asilah Wati Abdul
    JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES, 2019, 15 (03) : 195 - 208
  • [46] Matrix representation of topological changes in metamorphic mechanisms
    Dai, JS
    Jones, JR
    JOURNAL OF MECHANICAL DESIGN, 2005, 127 (04) : 837 - 840
  • [47] Approach for qualitatively predicting relations from relations
    Fuhr, Thomas
    Kummert, Franz
    Posch, Stefan
    Sagerer, Gerhard
    Frontiers in Artificial Intelligence and Applications, 1993,
  • [48] 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
  • [49] MUT Model: a metric for characterizing metamorphic relations diversity
    Xie, Xiaodong
    Li, Zhehao
    Chen, Jinfu
    Zhang, Yue
    Wang, Xiangxiang
    Kudjo, Patrick Kwaku
    SOFTWARE QUALITY JOURNAL, 2024, 32 (04) : 1413 - 1455
  • [50] ANALYSIS OF PROGRAMS AND BINARY RELATIONS
    ABRAMOV, SA
    USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1983, 23 (02): : 120 - 127