当前位置: X-MOL 学术Comput. Sci. Eng. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Blockchain Technology, Social Business, Distributed Ledger Technology
Computing in Science & Engineering ( IF 2.1 ) Pub Date : 2020-03-01 , DOI: 10.1109/mcse.2018.2880577
Xuanyi Lin 1 , Michelle Simon 2 , Nan Niu 1
Affiliation  

Scientific model developers are able to verify and validate their software via metamorphic testing (MT), even when the expected output of a given test case is not readily available. The tenet is to check whether certain relations hold among the expected outputs of multiple-related inputs. Contemporary approaches require the relations to be defined before tests. Our experience shows that it is often straightforward to first define the multiple iterations of tests for performing continuous simulations, and then keep multiple and even competing metamorphic relations open for investigating the testing-result patterns. We call this new approach exploratory MT, and report our experience of applying it to detect bugs, mismatches, and constraints in automatically calibrating parameters for the United States Environmental Protection Agency's Storm Water Management Model.

中文翻译:

区块链技术、社交商务、分布式账本技术

科学模型开发人员能够通过变形测试 (MT) 验证和验证他们的软件,即使给定测试用例的预期输出不容易获得。其宗旨是检查多个相关输入的预期输出之间是否存在某些关系。现代方法要求在测试之前定义关系。我们的经验表明,首先定义用于执行连续模拟的多次迭代测试,然后保持多个甚至相互竞争的变形关系开放以研究测试结果模式通常很简单。我们将这种新方法称为探索性 MT,并报告了我们应用它来检测美国环境保护署自动校准参数中的错误、不匹配和约束的经验。
更新日期:2020-03-01
down
wechat
bug