OASIs: oracle assessment and improvement tool
OASIs: oracle assessment and improvement tool
复制标题
OASI：预言机评估和改进工具
DOI：
10.1145/3213846.3229503
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Jahangirova G
中科院分区：
文献类型：
--
作者：
Jahangirova G
预言机问题仍然是软件测试中的关键挑战之一，迄今为止几乎没有开发出自动化支持。我们推出 OASI，这是一种基于搜索的 Java 工具，可帮助测试人员进行预言机评估和改进。它通过结合测试用例生成来揭示假阳性和突变测试来揭示假阴性来实现这一点。在这项工作中，我们描述了 OASI 的工作原理，提供其实现的详细信息，并解释如何在人工参与的迭代预言机改进过程中使用它。最后，我们对之前的实证评估进行了总结，表明使用 OASI 进行改进后，预言机的故障检测率平均提高了 48.6%。
The oracle problem remains one of the key challenges in software testing, for which little automated support has been developed so far. We introduce OASIs, a search-based tool for Java that assists testers in oracle assessment and improvement. It does so by combining test case generation to reveal false positives and mutation testing to reveal false negatives. In this work, we describe how OASIs works, provide details of its implementation, and explain how it can be used in an iterative oracle improvement process with a human in the loop. Finally, we present a summary of previous empirical evaluation showing that the fault detection rate of the oracles after improvement using OASIs increases, on average, by 48.6%.
登录
查看更多内容
DOI：
10.1109/icst.2015.7102580
发表时间：
2015-04
期刊：
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)
影响因子：
--
作者：
M. Harman;Yue Jia;Yuanyuan Zhang
通讯作者：
M. Harman;Yue Jia;Yuanyuan Zhang
使用数据不变推理自动生成状态抽象函数
DOI：
--
发表时间：
2013
期刊：
International Conference/Workshop on Automation of Software Test
影响因子：
--
作者：
P. Tonella;Duy Cu Nguyen;A. Marchetto;Kiran Lakhotia;M. Harman
通讯作者：
M. Harman
DOI：
10.1109/icst.2011.32
发表时间：
2011-03
期刊：
2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
影响因子：
--
作者：
David Schuler;A. Zeller
通讯作者：
David Schuler;A. Zeller
了解用户理解：确定生成的程序不变量的正确性
DOI：
--
发表时间：
2012
期刊：
International Symposium on Software Testing and Analysis
影响因子：
--
作者：
Matthew Staats;Shin Hong;Moonzoo Kim;G. Rothermel
通讯作者：
G. Rothermel
测试预言机评估和改进
DOI：
10.1145/2931037.2931062
发表时间：
2016
期刊：
Proceedings of the 25th International Symposium on Software Testing and Analysis
影响因子：
--
作者：
Gunel Jahangirova;D. Clark;M. Harman;P. Tonella
通讯作者：
P. Tonella