AN AUTOMATIC GENERATION TOOL FOR UNIT TEST CASE BASED ON DYNAMIC SYMBOLIC EXECUTION
Meng Li,Xiao-Hua Yang,Shi-Yu Yan,Hua Liu,Chao-Hui Liu
DOI: https://doi.org/10.1299/jsmeicone.2019.27.1944
2019-01-01
Abstract:Program verification is the premise of model validation. After the program is adequately tested, the model validation is meaningful. If it is not enough verified, when the problem is discovered during the validation phase, it is difficult to locate the fault and the repair is costly. The earlier the bug is discovered, the earlier the repair is made and the lower the overall cost. Software testing can only lead to credible conclusions while it meets the test adequacy criteria. Unit testing is the first software testing phase, generally, the control flow coverage criterion is adopted. According to the test case, the consistency between the actual output and the expected value is checked. Due to the complicated structure of the nuclear power design program, it is impossible to directly apply the existing tools to them, which makes it difficult to construct the expected value and the design of the test case is difficult. A unit test case generation tool based on dynamic symbol execution is developed, which searches for new paths based on coverage criteria, generates corresponding input and expected values, moreover improves work efficiency by reducing candidate paths. With a fission product calculation function, an example is taken to illustrate the feasibility and effectiveness of the tool, and finally give the next research direction.