Summary of Mathematical Doctoral Thesis: Some improvements of string contraint solving in automated test cases generation for symbolic execution

Some Improvements Of String Constraint Solving In Automated Test Cases Generation For Symbolic Execution

Tác giả: To Huu Nguyen
Lĩnh vực: Mathematical foundations for Informatics
Nội dung tài liệu:
Luận án này nghiên cứu tổng quan về việc tạo trường hợp kiểm thử tự động, thực thi biểu tượng áp dụng vào việc tạo trường hợp kiểm thử tự động. Các kỹ thuật mô hình hóa dựa trên Automata và Bitvector cũng được nghiên cứu. Ngoài ra, phân tích và đánh giá các phương pháp tạo trường hợp kiểm thử hiện có trên các ràng buộc khác nhau cũng được đề cập. Chất lượng và hiệu quả của các trường hợp kiểm thử được tạo ra bằng thực thi biểu tượng được đánh giá.
Mục lục chi tiết:

CHAPTER 1. OVERVIEW OF SOFTWARE TESTING AND SYMBOLIC EXECUTION
1.1. Software testing
1.1.2 Testing techniques [24]:
– Black box testing
– White box testing
– Unit test
1.2. Control flow white box testing technique
1.3. The comparison of static and dynamic control flow white box testing technique
1.4. The challenges in software testing
1.5. Symbolic execution
1.5.1. Overview of symbolic execution
1.5.2. Static symbolic execution
1.5.3. Dynamic symbolic execution
1.5.4 Concolic execution
1.6. The conclusion of chapter 1

CHAPTER 2. SYMBOLIC EXECUTION AND CONSTRAINT MODELING
2.1. The difficulties and some solutions
2.1.1. Path exploration
2.1.2. Memory modeling
2.2. Symbolic execution and extended tools
2.2.1. Symbolic execution and software testing
2.2.2. Symbolic execution on Java programming language
2.3. Constraint solving and symbolic execution
2.4. Mixed constraints and improvement in string constraint solving
2.4.1. String graph
2.4.2. Constraint re-construction
2.4.3. Pre-processing progress
2.4.4. String constraint generating and the implemental results
2.4.5. Constraint solving using automata
2.5. The conclusion of chapter 2