Combined Symbolic and Concrete Execution of TTCN-3 for Automated Testing

Testing procedure can be described by the testing and test control notation-version 3(TTCN-3). The automatic execution of TTCN-3 test scripts is transformed to automatic testing of system under test (SUT). We propose a framework, which uses combined symbolic and concrete execution of TTCN-3 test scripts to automatically generate test inputs for most of the feasible paths. Meanwhile most of the test procedures are accomplished automatically, which can reduce testing cost and better testing effectiveness. Structured values and function calls are the common difficult problems in symbolic execution. We propose a lazy symbolization mechanism to decrease the amount of symbolic values when structured values are processed. And we also propose combined condition and assignment statements to describe functions. We apply our framework to some public fragments of TTCN-3 test scripts. The results are encouraging.