Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
iv
3.5.2. Duyệt lại cấu hình 51
3.5.3. Kiểm thử Alpha và Beta 51
3.6. Kiểm thử hệ thống 52
3.6.1. Kiểm thử khôi phục 52
3.6.2. Kiểm thử bảo mật 52
3.6.3. Kiểm thử ứng suất 53
3.6.4. Kiểm thử khả năng thực hiện 53
Chƣơng 4 MỘT SỐ ỨNG DỤNG CỤ THỂ CỦA QUI TRÌNH KIỂM
THỬ 54
4.1. Mục tiêu 54
4.2. Phƣơng pháp luận 54
4.2.1. Tổng quan về các phương pháp 54
4.2.2. Phạm vi giải quyết 54
4.2.3. Phân loại các kiểu kiểm thử 55
4.2.4. Tổ chức giao diện kiểm thử 56
4.3. Phát sinh các trƣờng hợp kiểm thử 57
4.3.1. Chiến lược kiểm thử 57
4.3.2. Kiểm thử đơn vị 57
4.3.3. Kiểm thử khả năng thực hiện 65
KẾT LUẬN 66
TÀI LIỆU THAM KHẢO 67
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
v
DANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT
BRO : Kiểm thử nhánh và toán tử quan hệ
BVA : Phân tích giá trị biên
DU : Một chuỗi khai báo - sử dụng
E : Là số cạnh của đồ thị lƣu trình
N : Là số đỉnh của đồ thị lƣu trình
P : Số đỉnh điều kiện có trong đồ thị lƣu trình
R : Số vùng của đồ thị lƣu trình
V(G) : Xác định độ phức tạp Cyclomat
V&V : Xác minh và thẩm định
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
vi
DANH MỤC CÁC BẢNG
Bảng 1.1: Tỉ lệ công thức của các giai đoạn phát triển phần mềm
………….
4
Bảng 2.1: Bảng liệt kê các lớp tƣơng
đƣơng…………………………………
28
Bảng 2.2: Ví dụ các lớp tƣơng đƣơng
…………………………………………
29
Bảng 2.3: Các ký hiệu trong đồ thị nhân quả
………………………………
32
Bảng 2.4: Ví dụ bảng quyết định
………………………………………………
33
Bảng 3.1: So sánh kiểm thử Top-Down và Bottom-Up
………………………
49
Bảng 4.1: Bảng các trƣờng hợp kiểm thử cho Module Merge
………………
61
Bảng 4.2: Các trƣờng hợp kiểm thử cho Module Split
………………………
62
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
vii
DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ
Hình 1.1: Sản phẩm phần mềm
………………………………………………………….
5
Hình 1.2: Các nguyên nhân gây ra lỗi phần mềm
………………………………………
6
Hình 1.3: Chi phí sửa lỗi theo thời gian phát hiện lỗi
…………………………………
7
Hình 1.4: Kiểm thử phần mềm trong một số ngữ cảnh
…………………………………
8
Hình 1.5: Giai đoạn kiểm thử trong xử lý phần mềm
…………………………………
9
Hình 1.6: Qui trình kiểm thử phần mềm
………………………………………………
11
Hình 2.1: Luồng thông tin kiểm thử
…………………………………………………….
13
Hình 2.2: Ví dụ chu trình điều khiển
…………………………………………………….
15
Hình 2.3: Ký hiệu đồ thị lƣu trình 16
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
viii
……………………………………………………….
Hình 2.4: Điều kiện phức
…………………………………………………………………
17
Hình 2.5: Lƣu đồ thuật toán và đồ thị lƣu trình
………………………………………
17
Hình 2.6: Độ phức tạp Cyclomat
…………………………………………………………
19
Hình 2.7: Ví dụ minh họa phát sinh các trƣờng hợp kiểm thử theo đƣờng dẫn cơ
sở
20
Hình 2.8: Các kiểu vòng lặp
………………………………………………………………
25
Hình 2.9: Ví dụ đồ thị nhân quả
………………………………………………………….
33
Hình 3.1: Chiến lƣợc kiểm thử
…………………………………………………………
38
Hình 3.2: Các bƣớc kiểm thử
…………………………………………………………….
39
Hình 3.3: Mật độ lỗi là hàm thời gian thực hiện
………………………………………
41
Hình 3.4: Quan hệ giữa chi phí kiểm thử và số lỗi chƣa đƣợc phát hiện
………………
42
Hình 3.5: (a) Kiểm thử đơn vị (b) Môi trƣờng kiểm thử đơn vị
………………………
44
Hình 3.6: Kiểm thử Top – Down
…………………………………………………………
46
Hình 3.7: Tích hợp Bottom – Up
…………………………………………………………
47
Hình 4.1: Giao diện kiểm thử nhúng 56
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
ix
…………………………………………………….
Hình 4.2: Minh họa thuật toán sắp xếp
MergeSort……………………………………
57
Hình 4.3: Đồ thị lƣu trình của chức năng
Merge………………………………………
59
Hình 4.4: Giao diện điều khiển kiểm thử thuật toán
MergeSort……………………….
64
Hình 4.5: Kết quả đƣợc ghi ra FileLog
…………………………………………………
64
Hình 4.6: Giao diện điều khiển kiểm thử khả năng thực hiện của các thuật toán sắp
xếp
65
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
x
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
1
MỞ ĐẦU
1. Lý do chọn đề tài
Với sự phát triển như vũ bão của công nghệ thông tin nói chung và công
nghệ phần mềm nói riêng, việc phát triển phần mềm ngày càng được hỗ trợ bởi
nhiều công cụ tiên tiến, giúp cho việc xây dựng phần mềm đỡ mệt nhọc và hiệu quả
hơn. Tuy nhiên, vì độ phức tạp của phần mềm và những giới hạn về thời gian và chi
phí, cho dù các hoạt động đảm bảo chất lượng phần mềm nói chung và kiểm thử nói
riêng ngày càng chặt chẽ và khoa học, vẫn không đảm bảo được rằng các sản phẩm
phần mềm đang được ứng dụng không có lỗi. Lỗi vẫn luôn tiềm ẩn trong mọi sản
phẩm phần mềm và cũng có thể gây những thiệt hại khôn lường.
Kiểm thử phần mềm là một quá trình liên tục, xuyên suốt mọi giai đoạn phát
triển phần mềm để đảm bảo rằng phần mềm thoả mãn các yêu cầu thiết kế và các
yêu cầu đó đáp ứng các nhu cầu của người dùng. Các kỹ thuật kiểm thử phần mềm
đã, đang được nghiên cứu, và việc kiểm thử phần mềm đã trở thành qui trình bắt
buộc trong các dự án phát triển phần mềm trên thế giới. Kiểm thử phần mềm là một
hoạt động rất tốn kém, mất thời gian, và khó phát hiện được hết lỗi. Vì vậy, việc
kiểm thử phần mềm đòi hỏi phải có chiến lược phù hợp, một kế hoạch hợp lý và
việc thực hiện được quản lí chặt chẽ.
Ở Việt Nam, trong thời gian qua việc kiểm thử phần mềm bị xem nhẹ, với
công cụ lập trình hiện đại, người ta cảm tính cho rằng không kiểm thử cũng không
sao, nên chưa có nhiều sự quan tâm, nghiên cứu. Những năm gần đây, một số tổ
chức nghiên cứu và phát triển phần mềm đã bắt đầu có những quan tâm hơn đến vấn
đề kiểm thử phần mềm. Tuy nhiên, vấn đề kiểm thử phần mềm hầu như vẫn chưa
được đầu tư và quan tâm đúng mức. Nước ta đang trong quá trình xây dựng một
ngành công nghiệp phần mềm thì không thể xem nhẹ việc kiểm thử phần mềm vì
xác suất thất bại sẽ rất cao, hơn nữa, hầu hết các công ty phần mềm có uy tín đều
đặt ra yêu cầu nghiêm ngặt là nếu một phần mềm không có tài liệu kiểm thử đi kèm
thì sẽ không được chấp nhận.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
2
2. Mục tiêu và nhiệm vụ nghiên cứu
- Luận văn tập trung nghiên cứu, tìm hiểu, đánh giá các nguyên lý, chiến lược
và kỹ thuật kiểm thử phần mềm.
- Thiết kế các trường hợp kiểm thử áp dụng cho một vài chương trình cụ thể.
3. Đối tƣợng và phạm vi nghiên cứu
Qui trình và bản chất của các kỹ thuật kiểm thử hộp đen và kiểm thử hộp
trắng.
Chiến lược kiểm thử phần mềm.
Đặc tả thiết kế kiểm thử.
4. Phƣơng pháp nghiên cứu
- Nghiên cứu, tìm hiểu các kỹ thuật, chiến lược kiểm thử phần mềm.
- Sử dụng các phương pháp kiểm thử đã nghiên cứu, thiết kế bộ test cho
chương trình cụ thể. Đưa ra tài liệu kế hoạch kiểm thử và đặc tả kiểm thử;
xây dựng chương trình thực thi kiểm thử.
5. Dự kiến kết quả
- Thiết kế các trường hợp kiểm thử cho một số chương trình cụ thể.
- Tạo các tài liệu kiểm thử (đặc tả trường hợp kiểm thử và kết quả kiểm thử.)
- Xây dựng chương trình kiểm thử.
6. Ý nghĩa khoa học và thực tiễn của Luận văn
Kết quả nghiên cứu có thể làm tài liệu tham khảo cho các cơ sở đang tiến tới
đưa qui trình kiểm thử phần mềm thành một qui trình bắt buộc trong dự án phát
triển phần mềm của họ.
7. Đặt tên đề tài
“Một số kỹ thuật kiểm thử phần mềm.”
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
3
8. Bố cục của Luận văn
Toàn bộ nội dung của Luận văn được chia thành 4 chương như sau:
Chƣơng 1: Vấn đề chất lượng phần mềm và kiểm thử phần mềm.
Chƣơng 2: Các kỹ thuật kiểm thử phần mềm
Chƣơng 3: Chiến lược kiểm thử phần mềm
Chƣơng 4: Một số ứng dụng cụ thể (của qui trình kiểm thử)
Không có nhận xét nào:
Đăng nhận xét