MỤC LỤC
LỜI MỞ ĐẦU..................................................................................................................................1
Chương 1. FINITE-STATE MACHINES.................................................................................3
1.1.FSMs - Khái niệm cơ bản và ví dụ ..........................................................3
1.2. Mô tả FSMs .............................................................................................6
Chương 2. KIỂM THỬ THEO MÔ HÌNH FSMs..................................................................8
2.1. Những rắc rối cơ bản đối với hệ thống được mô hình hóa bởi FSMs..8
2.2. Xây dựng mô hình và kiểm tra cho thiếu, thừa trạng thái và sự chuyển tiếp.
...............................................................................................................................10
2.3. Sự kiểm thử cho những trạng thái và sự chuyển tiếp..........................13
Chương 3. DÒNG ĐIỀU KHIỂN, PHỤ THUỘC DỮ LIỆU, SỰ KIỂM THỬ TƯƠNG
TÁC.............................................................................................................................................................13
3.1. Sự kiểm thử dòng điều khiển cơ bản....................................................14
3.1.1Khái niệm chung....................................................................................................14
3.1.2. Xây dựng mô hình................................................................................................16
3.1.3. Sự lựa chọn đường dẫn........................................................................................19
3.1.4.Cập nhật đường dẫn.............................................................................................21
3.1.5. Kiểm tra vòng lặp, cách sử dụng CFT và các vấn đề khác.................................21
3.1.5.1. Các kiểu vòng lặp khác nhau và các CFG tương ứng ..................................21
3.1.5.2. Vấn đề của vòng lặp......................................................................................23
3.2.Kiểm thử dòng dữ liệu và phụ thuộc dữ liệu.........................................23
3.2.1. Các khái niệm cơ bản. Sự hoạt động của dữ liệu phụ thuộc dữ liệu..................23
3.2.2. Những vấn đề cơ bản của DFT va DDG..............................................................25
3.2.3. Các thuộc tính và yếu tố của DDG ......................................................................26
3.2.4. Quy trình chung cho sự xây dựng đồ thị DDG ...................................................28
3.2.5. Xử lý các đường vòng ..........................................................................................29
Chương 4. KIỂM THỬ DỰA TRÊN FSM CỦA ỨNG DỤNG WEB............................29
4.1. Các đặc điểm của các ứng dụng web....................................................29
4.2.Kiểm tra đặc điểm của các vấn đề web .................................................31
4.3. FSMs trong kiểm thử web.....................................................................32