Full Program
Summary:
Software is the backbone of modern systems and daily life and the reliability of its testing is paramount. A key challenge in software testing is the Oracle problem which determines whether software behavior is correct. In modern web systems such as online banking applications this often involves verifying outputs generated from a large set of inputs which is both complex and costly. Full automation is necessary to reduce costs and improve the efficiency of these application development processes. However achieving such automation requires strategies for automatically generating test inputs and addressing the Oracle problem including distinguishing between correct and incorrect system behavior. Metamorphic Testing (MT) effectively addresses the Oracle Problem by evaluating software through its core characteristics. This method produces various inputs for a program applies specific transformations and compares the outputs to the originals to ensure accuracy. Metamorphic Relations (MRs) are central to MT which define how outputs shouldAuthor(s):
Karishma Rahman
Montana State University
United States
Ann Marie Reinhold
Montana State University
United States
Clemente Izurieta
Montana State University
United States