蜕变测试研究进展及其在并行程序测试中的研究展望
作者:
作者单位:

作者简介:

田甜(1987-), 女, 博士, 副教授, CCF专业会员, 主要研究领域为程序分析与测试;杨秀婷(1997-), 女, 硕士, 主要研究领域为并行程序软件测试;王安轼(1998-), 男, 硕士生, 主要研究领域为并行程序软件测试;于旭(1981-), 男, 博士, 副教授, CCF专业会员, 主要研究领域为物联网, 推荐系统, 迁移学习.;巩敦卫(1970-), 男, 博士, 教授, 博士生导师, CCF高级会员, 主要研究领域为智能优化, 基于搜索的软件工程.

通讯作者:

巩敦卫,E-mail:dwgong@vip.163.com

中图分类号:

基金项目:

山东省自然科学基金(ZR2020MF084); 国家自然科学基金(61773384)


Research Progress of Metamorphic Testing and Its Research Prospects in Parallel Program Testing
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    在软件测试过程中, 待测程序的预期输出是判断软件是否存在缺陷的重要因素. 蜕变测试技术是利用被测软件的属性来检查程序输出, 从而有效地解决程序预期输出难以构造的问题. 近年来, 蜕变测试在软件测试领域取得了蓬勃的发展, 许多研究人员将蜕变测试技术进行优化, 将其运用到各个领域, 有效提高了软件质量. 从原理、过程及其优化, 应用领域3个方面, 总结蜕变测试的研究工作, 着重分析了近5年的研究进展, 进一步展望了蜕变测试用于并行程序时, 可能的研究主题. 首先, 介绍蜕变测试的基本概念和蜕变测试过程; 接着, 从蜕变关系、测试用例、测试执行过程以及蜕变测试工具4个角度, 总结蜕变测试优化技术; 然后, 汇总了蜕变测试的应用领域; 最后, 基于已有研究成果, 讨论蜕变测试在并行程序测试领域面临的问题, 为蜕变技术在并行程序测试领域的研究提供可能的思路.

    Abstract:

    In the process of software testing, the expected output of a program under test is an important factor in judging whether the program is defective or not. Metamorphic testing technique uses the properties of the program under test to check the output of the program, so as to effectively solve the problem of being difficult to construct the expected output of the program. In recent years, metamorphic testing has blossomed in the field of software testing. Many researchers have optimized techniques related to metamorphic testing and applied them to various fields to effectively improve software quality. This study summarizes and analyzes the research work of metamorphic testing from the following three aspects: theoretical knowledge, improvement strategies and application areas, and focuses on the research results of the past five years. Meanwhile, the potential research is discussed when metamorphic testing is applied for parallel programs. First, the basic concepts of metamorphic testing and the metamorphic testing process are provided. Next, according to its steps, the optimization techniques for metamorphic testing are summarized from the four perspectives: metamorphic relationships, test case generation, test execution, and metamorphic testing tools. Then, the application fields of metamorphic testing are listed. Finally, based on the existing research results, the problems faced by metamorphic testing are discussed in parallel program testing, and the possible solutions are provided for further research.

    参考文献
    相似文献
    引证文献
引用本文

田甜,杨秀婷,王安轼,于旭,巩敦卫.蜕变测试研究进展及其在并行程序测试中的研究展望.软件学报,2023,34(1):130-149

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2021-03-26
  • 最后修改日期:2021-06-22
  • 录用日期:
  • 在线发布日期: 2021-10-20
  • 出版日期: 2023-01-06
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号