摘要：In software testing area,all test cases are often generated manually. It time-consumming and costly to complete such task. Symbolic execution is a well-known technique for automatically making the test cases that cover almost every testing criteria in order to deeply discover some errors in complex software systems. In this paper,we present some general points and several results in recent researches about symbolic execution technique. This paper also shows different challenges that need setting in this field such as the explosion of execution paths in a program,the ability of constraint solving,memory modelling or concurrent problems etc. The evaluation of published results is given in this paper as well..
其他摘要：Trong hoạt động kiểm thử phần mềm,các ca kiểm thử thường được tạo ra một cách thủ công,gây tốn kém về chi phí cũng như thời gian để hoàn thành công đoạn này. Thực thi tượng trưng (Symbolic execution) được biết đến là một kỹ thuật nổi tiếng với khả năng t
关键词：Constraint solving;Dynamic symbolic execution;Symbolic execution;Testing data;Testing data generation.
