Research On Abstract Memory Modeling Technology Supporting Test Case Automatic Generation Of Non-Numeric Data Type

Software testing can be divided into unit testing, integration testing, system testing and acceptance testing by execution phase. As the first phase, unit testing is used for testing and verifying the smallest testable part of software and is easier and cheaper to reveal bugs comparing with other phases, so it is quite important and meaningful to ensure unit testing being efficient and complete. Traditional unit testing has low efficiency and high error rate, which automatic unit testing can make up, and test case generation is an important research area of automatic unit testing.This paper has done deep research on path analysis of automatic unit testing, and comes up with abstract memory modeling technology, which consists of three parts:abstract memory model, constraint extracting algorithm and test case shape algorithm. Abstract memory is designed for storage of semantics and constraints, and constraint-extraction algorithm is designed for every operation of every data type to extract semantics and constraints. After path analysis, non-numeric test case algorithm is used for building the shape of non-numeric variables by dealing with all the semantics and constraints.The author implements abstract memory modeling technology in a system called Code Test System (CTS). It proves the feasibility of abstract memory modeling technology in path-based test case generation.