Scalable COncolic testing for REliable Software (SCORE)
Overview
By utilizing distributed computing nodes, SCORE automatically generates a large number of test cases very fast, each of which explores a unique execution path of a target C program. The SCORE framework employs a distributed concolic testing algorithm that can utilize a large number of computing nodes in a scalable manner to achieve (1) a linear increase in the speed of test case generation as a number of distributed nodes increases and (2) low communication overhead among distributed nodes.
For example, the following graph illustrates the speed-up of test case generation for 6 SIR benchmark programs achieved by SCORE as a number of clients increases. For example, SCORE with 256 client nodes generates test cases for vim 245 times faster than SCORE with 1 client on Amazon EC2.
Details of SCORE and related empirical study on the SIR benchmark programs can be found from a paper A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation (ICST 2012).
For further questions and discussions, please join the SCORE user group.
Tutorials
We provide a short tutorial to describe how to use SCORE.
Download
SCORE 0.1.1 binary is publicly available and can be downloaded from the following link.
Currently, SCORE supports only 32bit target programs on the Linux/x86 platforms.
Publications
- M.Kim, Y.Kim and G.Rothermel, A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation, IEEE International Conference on Software Testing, Verification and Validation (ICST), April 17-21, 2012
- Y.Kim and M.Kim, SCORE: a Scalable Concolic Testing Tool for Reliable Embedded Software, ACM SIGSOFT Foundation of Software Engineering (FSE) Tool demonstration track, pages 420-423, Szeged, Hungary, Sep 5-9 2011 (4 page short paper) [BibTeX]
- Y.Kim, M.Kim, N.Dang, Scalable Distributed Concolic Testing: a Case Study on a Flash Storage Platform, Grand Challenge in Verified Software Track @ Intl. Conf. on Theoretical Aspects of Computing (ICTAC) (LNCS 6255), pages 199-213, Natal, Brazil, Sep 1-3 2010
License
SCORE is distributed under the revised BSD license. See LICENSE for details.