Closing the Loop: Towards a Complete Metamorphic Testing Pipeline
Metamorphic Testing (MT) address the test oracle problem, which arises when there are no practical means to verify the outputs of the System Under Test (SUT). Instead of just verifying individual input-output combinations, MT assesses the relations between pairs of these combinations during consecutive SUT executions; these relations are known as Metamorphic Relations (MRs). MRs delineate how outputs should adapt based on input changes. Automating MR generation is challenging because of the intrinsic connection between MRs and the SUT’s domain. Furthermore, the relevance of MRs can be contingent upon specific data. Motivated by this, our research focuses on facilitating the generation and selection of MRs, defining their applicability by establishing constraints and shedding light on the factors influencing MR outcomes. Our goal is to equip testers with methods and tools that optimise the application of the MT approach.
Mon 11 DecDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | Doctoral symposiumDoctoral Symposium at W303 Chair(s): Maria Teresa Baldassarre Department of Computer Science, University of Bari , Tommi Mikkonen University of Helsinki | ||
11:00 40mDoctoral symposium paper | Closing the Loop: Towards a Complete Metamorphic Testing Pipeline Doctoral Symposium Alejandra Duque Torres Institute of Computer Science, University of Tartu, Dietmar Pfahl University of Tartu | ||
11:40 40m | Discussion and closing Doctoral Symposium |