Suppr超能文献

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

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.

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/2912b1cac941/pone.0212476.g001.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.
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.

本文引用的文献

文献AI研究员

20分钟写一篇综述,助力文献阅读效率提升50倍。

立即体验

用中文搜PubMed

大模型驱动的PubMed中文搜索引擎

马上搜索

文档翻译

学术文献翻译模型,支持多种主流文档格式。

立即体验