Finding Metamorphic Relations for Scientific Software

Xuanyi Lin, Zedong Peng, Nan Niu, Wentao Wang, Hui Liu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Citations (Scopus)

Abstract

Metamorphic testing uncovers defects by checking whether a relation holds among multiple software executions. These relations are known as metamorphic relations (MRs). For scientific software operating in a large multi-parameter input space, identifying MRs that determine the simultaneous changes among multiple variables is challenging. In this poster, we propose a fully automatic approach to classifying input and output variables from scientific software's user manual, mining these variables' associations from the user forum to generate MRs, and validating the MRs with existing regression tests. Preliminary results of our end-to-end MR support for the Storm Water Management Model (SWMM) are reported.

Original languageEnglish
Title of host publicationProceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering
Subtitle of host publicationCompanion Proceedings, ICSE-Companion 2021
PublisherIEEE Computer Society
Pages254-255
Number of pages2
ISBN (Electronic)9781665412193
DOIs
Publication statusPublished - May 2021
Externally publishedYes
Event43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021 - Virtual, Online, Spain
Duration: 25 May 202128 May 2021

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Conference

Conference43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021
Country/TerritorySpain
CityVirtual, Online
Period25/05/2128/05/21

Keywords

  • Scientific-software
  • Storm-Water-Management-Model-(SWMM)
  • metamorphic-relation-identification

Fingerprint

Dive into the research topics of 'Finding Metamorphic Relations for Scientific Software'. Together they form a unique fingerprint.

Cite this