期刊
JOURNAL OF SYSTEMS AND SOFTWARE
卷 83, 期 12, 页码 2379-2391出版社
ELSEVIER SCIENCE INC
DOI: 10.1016/j.jss.2010.07.026
关键词
Automated test data generation; Search based testing; Concolic testing; Symbolic execution
资金
- EPSRC [EP/G060525/1, EP/G009600/1, EP/F065825/1, EP/D050863, GR/S93684, GR/T22872]
- EPSRC [EP/F065825/1, EP/G009600/1] Funding Source: UKRI
- Engineering and Physical Sciences Research Council [EP/G009600/1, EP/F065825/1] Funding Source: researchfish
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. (C) 2010 Elsevier Inc. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据