TRƯỜNG CAO ĐẲNG VIỆT MỸ
GIÁO TRÌNH
MÔN HỌC: KIỂM THỬ PHẦN MỀM
NGÀNH: CÔNG NGHỆN THÔNG TIN (UDPM)
TRÌNH ĐỘ: CAO ĐẲNG
(Ban hành kèm theo Quyết định số: /QĐ-CĐVM ngày ..… tháng .......
năm……..
của Trường Cao đẳng Việt Mỹ)
Thành phố Hồ Chí Minh, năm 20…
(Lưu hành nội bộ)
TUYÊN BỐ BẢN QUYỀN
Tài liệu này thuộc loại sách giáo trình nên các nguồn thông tin có thể
được phép dùng nguyên bản hoặc trích dùng cho các mục đích về đào tạo và
tham khảo.
Mọi mục đích khác mang tính lệch lạc hoặc sử dụng với mục đích kinh
doanh thiếu lành mạnh sẽ bị nghiêm cấm.
LỜI GIỚI THIỆU
Giáo trình Thiết kế web được biên soạn dựa trên khung chương trình
đào tạo cao đẳng nghề Công nghệ thông tin đã được Trường Cao đẳng Việt Mỹ
phê duyệt.
Tác giả đã nghiên cứu một số tài liệu, giáo trình môn thiết kế web và
nhiều nguồn tài liệu khác, kết hợp kinh nghiệm giảng dạy và làm việc của bản
thân để viết nên cuốn giáo trình này. Nội dung được tác giả trình bày cô đọng,
dễ hiểu, các kiến thức mới đều có ví dụ đi kèm theo giúp người đọc hiểu và ghi
nhớ lâu. Giáo trình được viết ra theo nguyên tắc quan tâm đến kết quả đầu ra,
khả năng tự học và kỹ năng cần thiết để sinh viên có thể nắm vững kiến thức
và thành thạo thao tác. Mục tiêu chính của giáo trình là giúp sinh viên nắm
vững các kiến thức về website, các bước xây dựng trang web, thông thạo ngôn
ngữ HTML và CSS để xây dựng và trang trí trang web.
Trong quá trình biên soạn, giáo trình không tránh khỏi có sai sót. Tác giả
rất mong nhận được ý kiến đánh giá của quý thầy cô, các em sinh viên để giáo
trình ngày càng hoàn thiện.
Xin chân thành cảm ơn quý đồng nghiệp, bạn bè, doanh nghiệp đã có
những ý kiến đóng góp trong quá trình tác giả biên soạn giáo trình này.
Thành phố Hồ Chí Minh, ngày 24 tháng 9 năm 2023
Tham gia biên soạn
Chủ biên ThS. Trần Công Mua
Mục lục
Mục lục i
Lời nói đầu ix
Thuật ngfi xiii
Danh sách hình vẽ xvii
Danh sách bảng xxi
1
Tổng quan về kiểm thfi 1
1.1
Các khái niệm cơ bản về kiểm thử . . . . . . . . . . 1
1.2
Ca kiểm thử . . . . . . . . . . . . . . . . . . . . . . 7
1.3
Mô tả bài toán kiểm thử qua biểu đồ Venn . . . . . 9
1.4
Việc xác định các ca kiểm thử........................................... 11
1.4.1
Kiểm thử chức năng............................................... 12
1.4.2
Kiểm thử cấu trúc
..................................................
14
1.4.3
Tranh luận về kiểm thử chức năng so với kiểm
thử cấu trúc............................................................. 15
1.5
Phân loại các lỗi và sai
.......................................................
17
1.6
Các mức kiểm thử...............................................................18
1.7
Tổng kết
...............................................................................
23
i
MỤC
LỤC
iii
1.8
Bài tập..................................................................................23
2 Một
số ví dụ
25
2.1
Bài toán tam giác . . . . . . . . . . . . . . . . . . .
25
2.1.1 Phát biểu bài toán . . . . . . . . . . . . . .
26
2.1.2 Nhận xét . . . . . . . . . . . . . . . . . . .
26
2.1.3 Cài đặt truyền thống . . . . . . . . . . . . .
27
2.1.4 Cài đặt có cấu trúc . . . . . . . . . . . . . .
30
2.2
Hàm NextDate (ngày kế tiếp) . . . . . . . . . . . .
32
2.2.1 Phát biểu bài toán . . . . . . . . . . . . . .
32
2.2.2 Nhận xét . . . . . . . . . . . . . . . . . . .
32
2.2.3 Cài đặt . . . . . . . . . . . . . . . . . . . .
33
2.3
Hệ thống rút tiền tự động đơn giản . . . . . . . . .
35
2.3.1 Phát biểu bài toán . . . . . . . . . . . . . .
35
2.3.2 Nhận xét . . . . . . . . . . . . . . . . . . .
38
2.4
Bộ điều khiển gạt nước ô tô . . . . . . . . . . . . .
39
2.5
Bài tập . . . . . . . . . . . . . . . . . . . . . . . . .
39
3 Cơ sở toán rời rạc cho việc kiểm thfi
41
3.1 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 . . . . . . . . . . . . . . . . .
44
Các phép toán về tập hợp . . . . . . . . . .
46
Quan hệ giữa các tập hợp . . . . . . . . . .
48
Phân hoạch tập hợp . . . . . . . . . . . . .
48
Các đồng nhất thức về tập hợp . . . . . . .
50
3.2
. . . . . . . . . . . . . . . . . . . . . . . . . .
51
Miền xác định và miền giá trị . . . . . . . .
52
Các loại hàm . . . . . . . . . . . . . . . . .
52
Hàm hợp . . . . . . . . . . . . . . . . . . . .
54