This thesis aims to research on overview of automatic test case generating, symbolic execution applied into automatic test case generating. The modeling techniques based on Automata and Bitvector are also studied in this thesis. Apart from that, the analysis and evaluation of available test case generating methods on different constraint are mentioned. The quality and effectiveness of test cases generated by using symbolic execution are assessed. | MINISTRY OF EDUCATION AND VIETNAM ACADEMY TRAINING OF SCIENCE AND TECHNOLOGY GRADUATE UNIVERSITY SCIENCE AND TECHNOLOGY ---------------------------- To Huu Nguyen SOME IMPROVEMENTS OF STRING CONTRAINT SOLVING IN AUTOMATED TEST CASES GENERATION FOR SYMBOLIC EXECUTION Major Mathematical foundations for Informatics Code 9 46 01 10 SUMMARY OF DOCTORAL THESIS HaNoi - 2020 This thesis is completed at Graduate University of Science and Technology Vietnam Academy of Science and Technology Supervisors 1 Dr. NGUYEN TRUONG THANG Supervisors 2 . DANG VAN DUC Reviewer 1 Reviewer 2 Reviewer 3 The thesis is to be presented to the Defense Committee of the Graduate University of Science and Technology Vietnam Academy of Science and Technology At Date Month Year 2020 The thesis can be found at - Vietnam National Library - Library of Graduate University of Science and Technology 1 INTRODUCTION In general for each technique used in dynamic run-time testing any software can be separated into two stages preparing the test cases for software testing and performing the program on a background that supports to testing frameworks for available test cases. One of important activities in order to reduce testing cost is to generate test cases automatically and completely. The software developing organizations often pay a large amount for activities related to software testing. The effectiveness of verification and validation progress depends on the number of errors that has been found and fixed before transferring the software. It means that the quality of a software depends strictly on the quality of generated test cases. In past years many researches from international scientists focused to automatic test case generating 3 4 in order to reduce the cost of software developing. There are two main approaches in this topic including testing based on code and testing based on model. Testing based on code has a high coverage. This approach can remove unnecessary instructions that may
