Giáo trình Kiểm thử phần mềm: Phần 1 cung cấp cho người học những kiến thức như: Tổng quan về kiểm thử; Một số ví dụ; Cơ sở toán học rời rạc cho việc kiểm thử; Khảo sát đặc tả và mã nguồn; Kiểm thử hàm. Mời các bạn cùng tham khảo! | GIÁO TRÌNH KIỂM THỬ PHẦN MỀM Phạm Ngọc Hùng Trương Anh Hoàng và Đặng Văn Hưng Tháng 1 năm 2014 ii Mục lục 1 Tổng quan về kiểm thử 1 Các thuật ngữ và định nghĩa cơ bản về kiểm thử . . . . . . . . 1 Ca kiểm thử . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Mô tả bài toán kiểm thử qua biểu đồ Venn . . . . . . . . . . . 7 Việc xác định các ca kiểm thử . . . . . . . . . . . . . . . . . . 10 Kiểm thử hàm . . . . . . . . . . . . . . . . . . . . . . . 10 Kiểm thử cấu trúc . . . . . . . . . . . . . . . . . . . . 12 Tranh luận về kiểm thử hàm so với kiểm thử cấu trúc . 13 Phân loại các lỗi và sai . . . . . . . . . . . . . . . . . . . . . . 14 Các mức kiểm thử . . . . . . . . . . . . . . . . . . . . . . . . 15 Bài tập . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 2 Một số ví dụ 21 Bài toán tam giác . . . . . . . . . . . . . . . . . . . . . . . . . 21 Phát biểu bài toán . . . . . . . . . . . . . . . . . . . . 22 Nhận xét . . . . . . . . . . . . . . . . . . . . . . . . . 22 Cài đặt truyền thống . . . . . . . . . . . . . . . . . . . 22 Cài đặt có cấu trúc . . . . . . . . . . . . . . . . . . . . 25 Hàm NextDate ngày kế tiếp . . . . . . . . . . . . . . . . . . 26 iii iv MỤC LỤC Phát biểu bài toán . . . . . . . . . . . . . . . . . . . . 28 Nhận xét . . . . . . . . . . . . . . . . . . . . . . . . . 28 Cài đặt . . . . . . . . . . . . . . . . . . . . . . . . . . 28 Hệ thống rút tiền tự động đơn giản . . . . . . . . . . . . . . . 30 Phát biểu bài toán . . . . . . . . . . . . . . . . . . . . 31 Nhận xét . . . . . . . . . . . . . . . . . . . . . . . . . 32 Bộ điều khiển gạt nước ô tô . . . . . . . . . . . . . . . . . . . 34 Bài tập . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 3 Cơ sở toán học rời rạc cho việc kiểm thử 37 Lý thuyết tập hợp . . . . . . . . . . . . . . . . . . . . . . . . . 37 Phần tử của tập .