Predicting Metamorphic Relation for Matrix Calculation Programs

02/19/2018
by   Karishma Rahman, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/01/2022

Prioritization of Metamorphic Relations to reduce the cost of testing

An oracle is a mechanism to decide whether the outputs of the program fo...
research
02/20/2018

Using Semi-Supervised Learning for Predicting Metamorphic Relations

Software testing is difficult to automate, especially in programs which ...
research
10/01/2019

Adaptive Metamorphic Testing with Contextual Bandits

Metamorphic Testing is a software testing paradigm which aims at using n...
research
03/17/2021

Towards Automated Metamorphic Test Identification for Ocean System Models

Metamorphic testing seeks to verify software in the absence of test orac...
research
04/15/2023

Can Metamorphic Relations be Automatically Discovered?

Metamorphic testing alleviates the test oracle problem by defining oracl...
research
09/22/2022

Metamorphic Testing in Autonomous System Simulations

Metamorphic testing has proven to be effective for test case generation ...
research
09/03/2020

Automated identification of metamorphic test scenarios for an ocean-modeling application

Metamorphic testing seeks to validate software in the absence of test or...

Please sign up or login with your details

Forgot password? Click here to reset