• 文献检索
  • 文档翻译
  • 深度研究
  • 学术资讯
  • Suppr Zotero 插件Zotero 插件
  • 邀请有礼
  • 套餐&价格
  • 历史记录
应用&插件
Suppr Zotero 插件Zotero 插件浏览器插件Mac 客户端Windows 客户端微信小程序
定价
高级版会员购买积分包购买API积分包
服务
文献检索文档翻译深度研究API 文档MCP 服务
关于我们
关于 Suppr公司介绍联系我们用户协议隐私条款
关注我们

Suppr 超能文献

核心技术专利：CN118964589B侵权必究
粤ICP备2023148730 号-1Suppr @ 2026

文献检索

告别复杂PubMed语法，用中文像聊天一样搜索，搜遍4000万医学文献。AI智能推荐，让科研检索更轻松。

立即免费搜索

文件翻译

保留排版，准确专业，支持PDF/Word/PPT等文件格式，支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述，25分钟生成高质量综述，智能提取关键信息，辅助科研写作。

立即免费体验

一种针对事件序列的变体测试方法。

A metamorphic testing approach for event sequences.

机构信息

College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China.

Shandong Provincial Key Laboratory of Computer Networks, Shandong Computer Science Center (National Supercomputer Center in Jinan), Qilu University of Technology (Shandong Academy of Sciences), Jinan, Shandong, China.

出版信息

PLoS One. 2019 Feb 19;14(2):e0212476. doi: 10.1371/journal.pone.0212476. eCollection 2019.

DOI:10.1371/journal.pone.0212476
PMID:30779769
原文链接:https://pmc.ncbi.nlm.nih.gov/articles/PMC6380623/
Abstract

Test oracles are commonly used in software testing to determine the correctness of the execution results of test cases. However, the testing of many software systems faces the test oracle problem: a test oracle may not always be available, or it may be available but too expensive to apply. One such software system is a system involving abundant business processes. This paper focuses on the testing of business-process-based software systems and proposes a metamorphic testing approach for event sequences, called MTES, to alleviate the oracle problem. We utilized event sequences to represent business processes and then applied the technique of metamorphic testing to test the system without using test oracles. To apply metamorphic testing, we studied the general rules for identifying metamorphic relations for business processes and further demonstrated specific metamorphic relations for individual case studies. Three case studies were conducted to evaluate the effectiveness of our approach. The experimental results show that our approach is feasible and effective in testing the applications with rich business processes. In addition, this paper summarizes the experimental findings and proposes guidelines for selecting good metamorphic relations for business processes.

摘要

测试预言通常用于软件测试中，以确定测试用例执行结果的正确性。然而，许多软件系统的测试都面临着测试预言问题：测试预言可能并不总是可用，或者虽然可用，但应用起来过于昂贵。涉及丰富业务流程的软件系统就是这样的一个例子。本文专注于基于业务流程的软件系统的测试，并提出了一种用于事件序列的变体测试方法，称为 MTES，以减轻预言问题。我们利用事件序列来表示业务流程，然后应用变体测试技术来测试系统，而无需使用测试预言。为了应用变体测试，我们研究了识别业务流程的变体关系的一般规则，并进一步针对个别案例研究展示了具体的变体关系。进行了三个案例研究来评估我们方法的有效性。实验结果表明，我们的方法在测试具有丰富业务流程的应用程序方面是可行且有效的。此外，本文总结了实验结果，并提出了选择业务流程的良好变体关系的指导方针。

https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/2e8669048d23/pone.0212476.g014.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/2912b1cac941/pone.0212476.g001.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/f08aa6d00272/pone.0212476.g002.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/c36b0171f8bb/pone.0212476.g003.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/c3674f1720de/pone.0212476.g004.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/1a227da9f5f6/pone.0212476.g005.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/5335efd400e3/pone.0212476.g006.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/859942133d73/pone.0212476.g007.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/cbd486cfd698/pone.0212476.g008.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/258f951916af/pone.0212476.g009.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/aa369a704048/pone.0212476.g010.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/445d1aabecc1/pone.0212476.g011.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/633d9a30ae2d/pone.0212476.g012.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/860c7b6a3e92/pone.0212476.g013.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/2e8669048d23/pone.0212476.g014.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/2912b1cac941/pone.0212476.g001.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/f08aa6d00272/pone.0212476.g002.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/c36b0171f8bb/pone.0212476.g003.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/c3674f1720de/pone.0212476.g004.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/1a227da9f5f6/pone.0212476.g005.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/5335efd400e3/pone.0212476.g006.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/859942133d73/pone.0212476.g007.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/cbd486cfd698/pone.0212476.g008.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/258f951916af/pone.0212476.g009.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/aa369a704048/pone.0212476.g010.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/445d1aabecc1/pone.0212476.g011.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/633d9a30ae2d/pone.0212476.g012.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/860c7b6a3e92/pone.0212476.g013.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/84e1/6380623/2e8669048d23/pone.0212476.g014.jpg

相似文献

1
A metamorphic testing approach for event sequences.一种针对事件序列的变体测试方法。
PLoS One. 2019 Feb 19;14(2):e0212476. doi: 10.1371/journal.pone.0212476. eCollection 2019.
2
Verification of phylogenetic inference programs using metamorphic testing.使用变质测试对系统发育推断程序进行验证。
J Bioinform Comput Biol. 2011 Dec;9(6):729-47. doi: 10.1142/s021972001100563x.
3
An innovative approach for testing bioinformatics programs using metamorphic testing.一种使用变质测试来测试生物信息学程序的创新方法。
BMC Bioinformatics. 2009 Jan 19;10:24. doi: 10.1186/1471-2105-10-24.
4
Towards testing big data analytics software: the essential role of metamorphic testing.迈向大数据分析软件测试：变质测试的重要作用。
Biophys Rev. 2019 Feb;11(1):123-125. doi: 10.1007/s12551-018-0492-6. Epub 2018 Dec 18.
5
Testing and Validating Machine Learning Classifiers by Metamorphic Testing.通过变形测试对机器学习分类器进行测试与验证。
J Syst Softw. 2011 Apr 1;84(4):544-558. doi: 10.1016/j.jss.2010.11.920.
6
Measuring Effectiveness of Metamorphic Relations for Image Processing Using Mutation Testing.使用变异测试衡量用于图像处理的变质关系的有效性。
J Imaging. 2024 Apr 6;10(4):87. doi: 10.3390/jimaging10040087.
7
Application of Metamorphic Testing to Supervised Classifiers.变质测试在监督分类器中的应用。
Proc Int Conf Qual Softw. 2010 Jan 15;2009(2009):135-144. doi: 10.1109/QSIC.2009.26.
8
Metamorphic Testing for Cybersecurity.网络安全的变质测试
Computer (Long Beach Calif). 2016 Jun;49(6):48-55. doi: 10.1109/MC.2016.176. Epub 2016 Jun 13.
9
Exploratory Metamorphic Testing for Scientific Software.科学软件的探索性变质测试
Comput Sci Eng. 2018 Nov 13;22(2):78-87. doi: 10.1109/MCSE.2018.2880577.
10
Discovering Metamorphic Relations for Scientific Software From User Forums.从用户论坛中发现科学软件的变质关系。
Comput Sci Eng. 2020;23(2):65-72. doi: 10.1109/mcse.2020.3046973.

本文引用的文献

1
Metamorphic Testing for Cybersecurity.网络安全的变质测试
Computer (Long Beach Calif). 2016 Jun;49(6):48-55. doi: 10.1109/MC.2016.176. Epub 2016 Jun 13.
2
Testing and Validating Machine Learning Classifiers by Metamorphic Testing.通过变形测试对机器学习分类器进行测试与验证。
J Syst Softw. 2011 Apr 1;84(4):544-558. doi: 10.1016/j.jss.2010.11.920.
3
An innovative approach for testing bioinformatics programs using metamorphic testing.一种使用变质测试来测试生物信息学程序的创新方法。
BMC Bioinformatics. 2009 Jan 19;10:24. doi: 10.1186/1471-2105-10-24.