Name
Title | ||
|---|---|---|
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples |
Abstract | ||
|---|---|---|
One of the most challenging task of testing activity is the generation of test cases/data. While there is significant amount of studies in this regard, there is still need to move towards approaches that can generate test case/data based only on source code since many software systems mostly have the source code available and no adequate documentation. In this paper a new methodology, called Singularity, is introduced to generate unit test data for C++ applications based on Model Checking, a popular technique for test case generation. Our approach, which is to be supported by a tool, automatically translates C++ code into a model which resembles a Statechart model and then into the notation of the NuSMV Model Checker. Later, we rely on a technique based on the HiMoST Method, producing counterexamples from the Model Checker that are, in fact, the test cases/data themselves. We have applied our approach to a few C++ case studies analyzing how feasible it is for automatic test data generation.
|
Year | DOI | Venue |
|---|---|---|
2019 | 10.1145/3356317.3356319 | Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing |
Keywords | Field | DocType |
Automation, Counterexamples, Model Checking, Tool, Unit test | Model checking,Computer science,Unit testing,Algorithm,Singularity,Counterexample,Test data generation | Conference |
ISBN | Citations | PageRank |
978-1-4503-7648-8 | 1 | 0.37 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Eduardo Rohde Eras | 1 | 2 | 0.74 |
| Valdivino Alexandre de Santiago, Júnior | 2 | 1 | 0.37 |
| Luciana Brasil Rebelo dos Santos | 3 | 1 | 0.37 |