An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
复制标题
使用 CUTE 和 AUSTIN 对 C 程序分支覆盖率进行实证研究
DOI：
10.1016/j.jss.2010.07.026
复制
发表时间：
2010
影响因子：
3.5
通讯作者：
Lakhotia K
中科院分区：
文献类型：
--
作者：
Lakhotia K
自动化测试数据生成一直是一个相当感兴趣的话题，几十年来，因为它是试图自动化软件测试过程的核心。本文报告了一个实证研究的结果，使用动态符号执行工具，CUTE，和一个基于搜索的工具，AUSTIN五个非平凡的开源应用程序。其目的是向从业人员提供一个评估，说明在没有或只有很少专业知识的情况下，通过现有技术可以取得什么样的成果，并向研究人员提供基线数据，以便衡量随后的工作。为了实现这一点，每个工具都是“按原样”应用的，既没有额外的调优，也没有支持工具，也没有对测试中的主题程序进行调整。这些工具能够以这种方式“开箱即用”的事实反映了自动化测试数据生成的日益成熟。然而，正如预期的那样，这项研究揭示了改进的机会，并提出了将这两种迄今为止完全独立发展的方法混合起来的方法。
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testing. This paper reports the results of an empirical study using the dynamic symbolic-execution tool, CUTE, and a search based tool, AUSTIN on five non-trivial open source applications. The aim is to provide practitioners with an assessment of what can be achieved by existing techniques with little or no specialist knowledge and to provide researchers with baseline data against which to measure subsequent work. To achieve this, each tool is applied ‘as is’, with neither additional tuning nor supporting harnesses and with no adjustments applied to the subject programs under test. The mere fact that these tools can be applied ‘out of the box’ in this manner reflects the growing maturity of Automated test data generation. However, as might be expected, the study reveals opportunities for improvement and suggests ways to hybridize these two approaches that have hitherto been developed entirely independently.
登录
查看更多内容
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
Oliver D. Buehler
通讯作者：
Oliver D. Buehler
用于有效自动化单元测试的软件分区
DOI：
--
发表时间：
2006
期刊：
International Conference on Embedded Software
影响因子：
--
作者：
A. Chakrabarti;Patrice Godefroid
通讯作者：
Patrice Godefroid
用于回归测试用例优先级排序的元启发式搜索算法
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
Zheng Li;M. Harman;R. Hierons
通讯作者：
R. Hierons
将软件工程重新定义为一种搜索
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
Joseph Andrew Clarke;M. Harman;R. Hierons;B. Jones;M. Lumkin;B. Mitchell;Spiros Mancoridis;K. Rees;M. Roper;M. Shepperd
通讯作者：
M. Shepperd
影响因子：
7.4
作者：
Harman, Mark;McMinn, Phil
通讯作者：
McMinn, Phil