Loading...
Please wait, while we are loading the content...
Similar Documents
A Scalable Distributed Concolic Testing Approach
| Content Provider | Semantic Scholar |
|---|---|
| Author | Kim, Moonzoo Kim, Yunho Rothermel, Gregg |
| Copyright Year | 2011 |
| Abstract | Although testing is a standard method for improving the quality of software, conventional testing methods often fail to detect faults. Concolic testing attempts to remedy this by automatically generating test cases to explore execution paths in a program under test, helping testers achieve greater coverage of program behavior in a more automated fashion. Concolic testing, however, consumes a significant amount of computing time to explore execution paths, which is an obstacle toward its practical application. In this paper we describe a distributed concolic testing framework that utilizes large numbers of computing nodes to generate test cases in a scalable manner. We present the results of an empirical study that shows that the proposed framework can achieve a several orders-ofmagnitude increase in test case generation speed compared to the original concolic approach, and also demonstrates clear potential for scalability. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://swtv.kaist.ac.kr/publications/ase11-score.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
