Paper Info
Title
Model-based test case generation using symbolic execution
Abstract
In this paper, we present a test case generation method in which test cases are generated from Excel-based functional specications, called error-check/update specications. This method has the following two characteristics. 1) Logical structures and constraint conditions in error-check/update specications are translated into Java code. Then the trans- lated Java code is executed symbolically. A solution found by solving combinations of the constraint conditions, during the symbolic execution can serve as a test case for the Excel- based specication. 2)We present test case selection method to extract a suitable test-suite from the large number of test cases typically generated by the above symbolic execution. Our test case selection is based on a path condition-based test case selection criterion, proposed in our previous work, in which the selected test cases covers all the atomic conditions of path conditions collected during symbolic execution. In this paper, we extend this method with classication of test cases and priority of variable values with the aim of improv- ing the quality of the selected test-suite. We implemented the test case generation method in our tool and evaluated this method with Excel-based test specications for a real- world nancial system.
Year
DOI
Venue
2013
10.1145/2489280.2489282
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Keywords
DocType
Citations 
test case selection,constraint condition,model-based test case generation,update specications,symbolic execution,selected test case,excel-based test specications,test case generation method,present test case selection,path condition-based test case,test case,model based testing
Conference
0
PageRank 
References 
Authors
0.34
5
3
Name
Order
Citations
PageRank
Kazuki Munakata1142.17
Susumu Tokumoto282.55
Tadahiro Uehara31159.66