论文标题
应用基于物业的测试工具\\用于变质测试
Application of property-based testing tools\\ for metamorphic testing
论文作者
论文摘要
变质测试（MT）是一种测试特定类型的软件系统的一般方法 - 所谓的``非测试''，其中很难应用``经典''测试方法。 MT是解决测试甲骨文问题和测试案例生成问题的有效方法。测试甲骨文问题是何时难以确定特定测试案例的正确预期输出或确定实际输出是否与预期结果一致。 MT中的核心概念是变质关系（MRS），可为正在测试的系统提供正式规范。 MT的挑战之一是\ emph {有效的测试生成}。基于属性的测试（PBT）是一种测试方法，其中根据软件的所需属性生成测试用例。从某种意义上说，MT可以看作是一种非常具体的PBT。\\，在本文中，我们展示了如何使用PBT工具来自动化测试生成和MT的验证。除了自动化益处外，提出的方法还显示了如何在相同的测试框架下将一般PBT与MT结合。
Metamorphic testing (MT) is a general approach for the testing of a specific kind of software systems -- so-called ``non-testable'', where the ``classical'' testing approaches are difficult to apply. MT is an effective approach for addressing the test oracle problem and test case generation problem. The test oracle problem is when it is difficult to determine the correct expected output of a particular test case or to determine whether the actual outputs agree with the expected outcomes. The core concept in MT is metamorphic relations (MRs) which provide formal specification of the system under test. One of the challenges in MT is \emph{effective test generation}. Property-based testing (PBT) is a testing methodology in which test cases are generated according to desired properties of the software. In some sense, MT can be seen as a very specific kind of PBT.\\ In this paper, we show how to use PBT tools to automate test generation and verification of MT. In addition to automation benefit, the proposed method shows how to combine general PBT with MT under the same testing framework.
