Abstract: A program slicing-guided test case generation system was introduced in this paper,which could generate the set of test case covering all program behavior without scanning all paths of the program．It consists of three modules:the static analysis,dynamic symbolic execution and test case generation．In the static analysis module,the control flow and information flow of input program are analyzed to extract the control dependency and data dependency,and the potential dependency is also computed．The dynamic symbol execution module is applied to solve the constraints,generate test case and monitor the execution path．In the test case generation module,the covered and uncovered program slices of the execution test scase are computed to guide the new test case generation．In the experiments,the test case set generated by our system,can cover all program behaviors and significantly reduce the number of test cases.

Key words: Software testing,Test case set generation,Dynamic symbolic execution,Program slicing