李晓玉 唐智

摘要：基于用户查询的搜索和显示数据是大多数软件应用程序的关键功能系统，这些系统管理大量的数据，由于很难确定预期的输出结果，因此使其极难测试，即这个问题被称为“oracle问题”蜕变测试（Metamorphic testing，MT）是一种旨在通过设置一系列称为蜕变关系（metamorphic relation，MR）来缓解此问题的方法。该文通过面向用户检索习惯和搜索引擎的功能属性，定义MR来应用MT，选取知网、百度学术等学术搜索引擎（Academic Search Engines，ASE）作为验证对象，实验结果表明最可靠的服务是中国知网，最不可靠的服务是谷歌学术。从用户的角度来看，ACM在用于查找商品时表现更好，可以满足他们的需求。

关键词：蜕变测试;蜕变关系;学术搜索引擎;Oracle问题

中图分类号：TP3        文献标识码：A

文章编号：1009-3044（2021）13-0227-02

1概述

软件测试是软件质量保证和验证的主流方法，但是它面临两个基本问题：Oracle问题和可靠测试集问题。在本文中，我们关注第一个问题。 “Oracle问题”是指很难验证给定测试用例的测试结果的情况。

与大多数其他软件测试技术不同，蜕变测试可用于测试用例的生成和测试结果的验证，从而解决了测试的两个基本问题。尽管最初它是一种基于成功案例生成新测试用例的方法，但很快就发现MT也是缓解Oracle问题的有效方法，MT的核心元素是一组蜕变关系（MR），这是目标函数或算法相对于多个输入及其预期输出的必要属性。在实施MT时首先会生成一些程序输入作为源测试用例，然后可以在此基础上使用MR生成新的输入作为后续测试用例用以验证测试结果。……