arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2406.05397cs.SE
收藏

变形关系生成:研究现状与展望

Metamorphic Relation Generation: State of the Art and Visions for Future Research

Rui Li, Huai Liu, Pak-Lok Poon, Dave Towey, Chang-Ai Sun, Zheng Zheng, Zhi Quan Zhou, Tsong Yueh Chen

摘要:

由于变形测试在揭示各种软件系统中的真实缺陷方面取得了巨大的成功,变形测试已经成为解决软件测试中臭名昭著的oracle问题的主流技术。变质关系作为变质测试的核心组成部分,一直吸引着学术界和工业界的研究兴趣。在过去的十年中,已经进行了大量的研究,以系统地生成各种来源和不同的应用领域的变质关系。本文在对变形关系生成技术进行系统综述的基础上,对变形关系识别和构造的理论和技术的进一步发展进行了总结和展望,并讨论了相关领域的潜在研究趋势。

英文摘要:

Metamorphic testing has become one mainstream technique to address the notorious oracle problem in software testing, thanks to its great successes in revealing real-life bugs in a wide variety of software systems. Metamorphic relations, the core component of metamorphic testing, have continuously attracted research interests from both academia and industry. In the last decade, a rapidly increasing number of studies have been conducted to systematically generate metamorphic relations from various sources and for different application domains. In this article, based on the systematic review on the state of the art for metamorphic relations' generation, we summarize and highlight visions for further advancing the theory and techniques for identifying and constructing metamorphic relations, and discuss potential research trends in related areas.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑