当前位置:
X-MOL 学术
›
Softw. Pract. Exp.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Tabular-expression-based method for constructing metamorphic relations
Software: Practice and Experience ( IF 3.5 ) Pub Date : 2020-03-23 , DOI: 10.1002/spe.2818 Jingyao Li 1, 2 , Lei Liu 1, 3 , Peng Zhang 1, 2, 4
Software: Practice and Experience ( IF 3.5 ) Pub Date : 2020-03-23 , DOI: 10.1002/spe.2818 Jingyao Li 1, 2 , Lei Liu 1, 3 , Peng Zhang 1, 2, 4
Affiliation
Metamorphic testing (MT) is proposed to overcome the oracle problem in software testing, and metamorphic relations (MRs) are the core of MT. There is a lack of guidelines for constructing effective MRs, and it is difficult to reuse MRs mainly because most MRs are closely related to the domain knowledge. In this article, we propose a method for constructing MRs from specifications in tabular expression format. Our method constructs MRs according to the characteristics of tabular expressions, especially the relationships between the header grids and the main grid, namely, our method is domain‐independent and the construction process is simplified. In addition, the derived MRs can be applied to specifications with the same tabular expression structure. For specifications with different tabular expression structures, MRs can still be used after slight adjustments. To evaluate the performance of our method in practice, we apply the method to five applications. The experimental results demonstrate that our method is effective for a program with the oracle problem, and that it is applicable to tabular expressions in various formats. Compared with representative testing methods, our method identifies errors that are not detected by the compared methods. Hence, our method and existing methods can complement each other. The MR proposed in this article outperforms MRs constructed based on program properties.
中文翻译:
基于表格表达式的构造变形关系的方法
变形测试(MT)是为了克服软件测试中的预言机问题而提出的,变形关系(MR)是MT的核心。缺乏构建有效 MR 的指南,并且难以重用 MR,主要是因为大多数 MR 与领域知识密切相关。在本文中,我们提出了一种根据表格表达式格式的规范构建 MR 的方法。我们的方法根据表格表达式的特点构造MR,特别是标题网格和主网格之间的关系,即我们的方法是领域无关的,并且简化了构建过程。此外,导出的 MR 可以应用于具有相同表格表达式结构的规范。对于具有不同表格表达式结构的规范,MR 稍作调整后仍可使用。为了在实践中评估我们的方法的性能,我们将该方法应用于五个应用程序。实验结果表明,我们的方法对于存在oracle问题的程序是有效的,并且适用于各种格式的表格表达式。与代表性测试方法相比,我们的方法识别了比较方法未检测到的错误。因此,我们的方法和现有的方法可以相互补充。本文提出的 MR 优于基于程序属性构建的 MR。并且它适用于各种格式的表格表达式。与代表性测试方法相比,我们的方法识别了比较方法未检测到的错误。因此,我们的方法和现有的方法可以相互补充。本文提出的 MR 优于基于程序属性构建的 MR。并且它适用于各种格式的表格表达式。与代表性测试方法相比,我们的方法识别了比较方法未检测到的错误。因此,我们的方法和现有的方法可以相互补充。本文提出的 MR 优于基于程序属性构建的 MR。
更新日期:2020-03-23
中文翻译:
基于表格表达式的构造变形关系的方法
变形测试(MT)是为了克服软件测试中的预言机问题而提出的,变形关系(MR)是MT的核心。缺乏构建有效 MR 的指南,并且难以重用 MR,主要是因为大多数 MR 与领域知识密切相关。在本文中,我们提出了一种根据表格表达式格式的规范构建 MR 的方法。我们的方法根据表格表达式的特点构造MR,特别是标题网格和主网格之间的关系,即我们的方法是领域无关的,并且简化了构建过程。此外,导出的 MR 可以应用于具有相同表格表达式结构的规范。对于具有不同表格表达式结构的规范,MR 稍作调整后仍可使用。为了在实践中评估我们的方法的性能,我们将该方法应用于五个应用程序。实验结果表明,我们的方法对于存在oracle问题的程序是有效的,并且适用于各种格式的表格表达式。与代表性测试方法相比,我们的方法识别了比较方法未检测到的错误。因此,我们的方法和现有的方法可以相互补充。本文提出的 MR 优于基于程序属性构建的 MR。并且它适用于各种格式的表格表达式。与代表性测试方法相比,我们的方法识别了比较方法未检测到的错误。因此,我们的方法和现有的方法可以相互补充。本文提出的 MR 优于基于程序属性构建的 MR。并且它适用于各种格式的表格表达式。与代表性测试方法相比,我们的方法识别了比较方法未检测到的错误。因此,我们的方法和现有的方法可以相互补充。本文提出的 MR 优于基于程序属性构建的 MR。