Towards Automated Metamorphic Test Identification for Ocean System Models.

Hiremath, Dilip , Claus, Martin , Hasselbring, Wilhelm and Rath, Willi (2021) Towards Automated Metamorphic Test Identification for Ocean System Models. [Paper] In: 2021 IEEE/ACM 6th International Workshop on Metamorphic Testing (MET). , 22.-30.05.2021, Virtual (originally Madrid, Spain) . Proceedings from IEEE/ACM International Workshop on Metamorphic Testing (MET). ; pp. 42-46 . DOI 10.1109/MET52542.2021.00014.

[thumbnail of Towards_Automated_Metamorphic_Test_Identification_for_Ocean_System_Models.pdf] Text
Towards_Automated_Metamorphic_Test_Identification_for_Ocean_System_Models.pdf - Published Version
Restricted to Registered users only

Download (2MB) | Contact

Supplementary data:

Abstract

Metamorphic testing seeks to verify software in the absence of test oracles. Our application domain is ocean system modeling, where test oracles rarely exist, but where symmetries of the simulated physical systems are known. The input data set is large owing to the requirements of the application domain.This paper presents work in progress for the automated generation of metamorphic test scenarios using machine learning. We extended our previously proposed method [1] to identify metamorphic relations with reduced computational complexity. Initially, we represent metamorphic relations as identity maps. We construct a cost function that minimizes for identifying a metamorphic relation orthogonal to previously found metamorphic relations and penalize for the identity map. A machine learning algorithm is used to identify all possible metamorphic relations minimizing the defined cost function. We propose applying dimensionality reduction techniques to identify attributes in the input which have high variance among the identified metamorphic relations. We apply mutation on these selected attributes to identify distinct metamorphic relations with reduced computational complexity. For experimental evaluation, we subject the two implementations of an ocean-modeling application to the proposed method to present the use of metamorphic relations to test the two implementations of this application.

Document Type: Conference or Workshop Item (Paper)
Keywords: Metamorphic testing, Ocean System Models testing, Oracle problem, Metamorphic relation, Test case generation, Software testing
Research affiliation: Kiel University > Software Engineering
OceanRep > GEOMAR > FB1 Ocean Circulation and Climate Dynamics > FB1-OD Ocean Dynamics
Publisher: IEEE
Related URLs:
Projects: MarDATA
International?: Yes
Date Deposited: 04 Aug 2021 11:12
Last Modified: 10 Aug 2021 08:27
URI: https://oceanrep.geomar.de/id/eprint/53577

Actions (login required)

View Item View Item