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.

Automatic Test Data Generation Method for Complex Structure Based on Memory Modeling

Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs

Automatic Test Data Generation for Multiple Paths and Its Applications

Data Automatic Generation Approach for Path Test

Automatic Test Data Generation Based on Usage Model and Genetic Algorithm

Framework of Automatic Test Data Generation for Software Structure

A New Approach of Automated Test Case Generation on Extended Finite State Machine

A Test Path Generation Method Based on SSM Models

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams

Automatic Test Data Generation Tool Based on Genetic Simulated Annealing Algorithm

A Novel Test Case Generation Method Based on Program Structure Diagram

Combining symbolic execution and search-based testing for programs with complex heap inputs

Research on Model of Automated Test Case Generation for Complicated Interactive Software

Search-based Multi-Paths Test Data Generation for Structure-Oriented Testing

Path-Based Automatic Test Data Generation Approach

Automatic Test Case Generation Method Based on UML State Diagram

Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis

Automated Test Data Generation Based on Program Execution

A Scheme on Automated Test Data Generation and Its Evaluation

An Evolutionary Generation Method of Test Data for Multiple Paths Based on Coverage Balance

AN AUTOMATIC GENERATION TOOL FOR UNIT TEST CASE BASED ON DYNAMIC SYMBOLIC EXECUTION