Finding Metamorphic Relations for Scientific Software

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

科研成果: 书/报告/会议事项章节会议稿件同行评审

5 引用 (Scopus)

摘要

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.

源语言英语
主期刊名Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering
主期刊副标题Companion Proceedings, ICSE-Companion 2021
出版商IEEE Computer Society
254-255
页数2
ISBN(电子版)9781665412193
DOI
出版状态已出版 - 5月 2021
已对外发布
活动43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021 - Virtual, Online, 西班牙
期限: 25 5月 202128 5月 2021

出版系列

姓名Proceedings - International Conference on Software Engineering
ISSN(印刷版)0270-5257

会议

会议43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021
国家/地区西班牙
Virtual, Online
时期25/05/2128/05/21

指纹

探究 'Finding Metamorphic Relations for Scientific Software' 的科研主题。它们共同构成独一无二的指纹。

引用此