Luận Văn Sinh ca kiểm thử tham số hóa cho chương trình java

MỤC LỤC
LỜI CẢM ƠN . i
TÓM TẮT NỘI DUNG .ii
MỤC LỤC iii
CÁC KÝ HIỆU VIẾT TẮT . v
DANH MỤC HÌNH VẼ . vi
Chương 1: Kiểm thử đơn vị tham số hóa 3
1.1. Kiểm thử phần mềm . 3
1.2. Kiểm thử đơn vị 4
1.3. Kiểm thử đơn vị tham số hóa . 6
1.3.1. Khái niệm . 6
1.3.2. Mối quan hệ giữa UT và PUT 7
1.3.3. Kiểm thử đơn vị tham số hóa với Pex 8
1.3.4. Các mẫu kiểm thử tham số hóa 9
1.3.5. Lựa chọn đầu vào kiểm thử với Pex . 10
Chương 2: Sinh dữ liệu kiểm thử tự động cho PUT 12
2.1. Thực thi tượng trưng 13
2.1.1. Những khái niệm cơ bản . 13
2.1.2. Thực thi tượng trưng tĩnh 14
2.1.3. Thực thi tượng trưng động 17
2.2. Xây dựng ràng buộc . 23
2.2.1. Lưu trữ giá trị tượng trưng 24
2.2.2. SE với các kiểu dữ liệu nguyên thủy 25
2.2.3. SE với đối tượng 28
2.2.4. SE với các lời gọi phương thức 30
2.3. Sinh dữ liệu kiểm thử cho PUT . 31
Chương 3: Sinh ca kiểm thử tham số hóa với JPF . 36
3.1. Kiến trúc của JPF . 36
3.2. Symbolic JPF 40
3.2.1. Bộ tạo chỉ thị 40
3.2.2. Các thuộc tính 41
3.2.3. Xử lý các điều kiện rẽ nhánh 42
3.2.4. Ví dụ . 43
3.2.5. Kết hợp thực thi cụ thể và thực thi tượng trưng 47
3.3. Sinh PUT với Symbolic JPF 48
3.4. Mở rộng Symbolic JPF 53
3.4.1. Các phương pháp cũ 53
3.4.2. Hướng mở rộng . 54
KẾT LUẬN . 58
TÀI LIỆU THAM KHẢO 1