Giáo trình Kiểm thử phần mềm cung cấp cơ sở toán học cho kiểm thử phần mềm; các khái niệm cơ bản về kiểm thử phần mềm; các phương pháp phân tích và khảo sát đặc tả và mã nguồn; các phương pháp và quy trình kiểm thử đơn vị, kiểm thử tích hợp, kiểm thử hệ thống, kiểm thử chấp nhận và kiểm thử hồi quy; Giáo trình gồm có 10 chương và được chia thành 2 phần, phần 1 gồm 5 chương với những nội dung chính sau: Tổng quan về kiểm thử, một số ví dụ, cơ sở toán rời rạc cho việc kiểm thử, khảo sát đặc tả và mã nguồn, kiểm thử chức năng. Mời các bạn cùng tham khảo. | Tổng hợp amp Sưu tầm Mục lục Mục lục i Lời nói đầu ix Thuật ngữ xiii Danh sách hình vẽ xvii Danh sách bảng xxi 1 Tổng quan về kiểm thử 1 Các khái niệm cơ bản về kiểm thử . . . . . . . . . . 1 Ca kiểm thử . . . . . . . . . . . . . . . . . . . . . . 7 Mô tả bài toán kiểm thử qua biểu đồ Venn . . . . . 9 Việc xác định các ca kiểm thử . . . . . . . . . . . . 11 Kiểm thử chức năng . . . . . . . . . . . . . 12 Kiểm thử cấu trúc . . . . . . . . . . . . . . 14 Tranh luận về kiểm thử chức năng so với kiểm thử cấu trúc . . . . . . . . . . . . . . . . . . 15 Phân loại các lỗi và sai . . . . . . . . . . . . . . . . 17 Các mức kiểm thử . . . . . . . . . . . . . . . . . . 18 Tổng kết . . . . . . . . . . . . . . . . . . . . . . . . 23 i ii MỤC LỤC Bài tập . . . . . . . . . . . . . . . . . . . . . . . . . 23 2 Một số ví dụ 25 Bài toán tam giác . . . . . . . . . . . . . . . . . . . 25 Phát biểu bài toán . . . . . . . . . . . . . . 26 Nhận xét . . . . . . . . . . . . . . . . . . . 26 Cài đặt truyền thống . . . . . . . . . . . . . 27 Cài đặt có cấu trúc . . . . . . . . . . . . . . 30 Hàm NextDate ngày kế tiếp . . . . . . . . . . . . 32 Phát biểu bài toán . . . . . . . . . . . . . . 32 Nhận xét . . . . . . . . . . . . . . . . . . . 32 Cài đặt . . . . . . . . . . . . . . . . . . . . 33 Hệ thống rút tiền tự động đơn giản . . . . . . . . . 35 Phát biểu bài toán . . . . . . . . . . . . . . 35 Nhận xét . . . . . . . . . . . . . . . . . . . 38 Bộ điều khiển gạt nước ô tô . . . . . . . . . . . . . 39 Bài tập . . . . . . . . . . . . . . . . . . . . . . . . . 39 3 Cơ sở toán rời rạc cho việc kiểm thử 41 Lý thuyết tập hợp . . . . . . . . . . . . . . . . . . . 42 Phần tử của tập hợp . . . . . . . . . . . . . 42 Định nghĩa tập hợp . . . . . . . . . . . . . . 43 Tập hợp rỗng . . . . . . . . . . . . . . . . . 44 Biểu đồ Venn . . . .