Đề tài: Tìm hiểu các kĩ thuật kiểm thử phần mềm. Một số công cụ hỗ trợ
kiểm thử : JUnit, NUnit
Phần I: Giới Thiệu Về Kiểm Thử Phần Mềm
1.1Khái niệm kiểm thử phần mềm
1.2 Mục tiêu của kiểm thử.
1.3 Những khó khăn của kiểm thử.
1.4 Các phương pháp kiểm thử.
1.5 Các kỹ thuật thiết kế trường hợp kiểm thử.
1.6 Phương pháp thử các mô đun.
PHẦN II GIỚI THIỆU CHI TIẾT VỀ KIỂM THỬ
2.1 Nguyên tắc cơ bản kiểm thử phần mềm.
2.2 Các phương pháp kiểm thử.
2.3 Các kỹ thuật thiết kế trường hợp kiểm thử.
2.3.1 Kiểm thử hộp đen – Black box testing.
*Phân Đoạn Tương Đương.
*Phân tích giá trị biên – Boundary Value Analysis.
* Kỹ Thuật Cause-Effect Graphing.
* Đoán lỗi
*Bảng quyết định
*Cây quyết định
2.3.2 Kiểm thử hộp trắng – White box testing.
* Kiểm thử đường diễn tiến của chương trình.
*Kiểm Định Cấu Trúc Điều Kiển.
* Độ phức tạp lặp (Cyclomatic Complexity)
2.3.3 Kiểm thử hộp xám – Gray box testing.
2.4 Phương pháp thử các mô đun.
2.4.1 Kiểm thử mô đun.
2.4.2 Kiểm thử tích hợp – Intergration Test
* Kiểm tra top-down.
* Kiểm tra bottom-up.
* Kiểm thử hệ thống – System Test
* Kiểm thử chấp nhận sản phẩm – Acceptance Test
*Kiểm thử big bang Kiểm thử big bang (big bang testing) là một chiến
lược kiểm thử hệ thống tiến hành một lần duy nhất khi đã phát triển
toàn bộ các mô đun và tích hợp thành một phần mềm hoàn chỉnh Phương
pháp này vẫn thường được tiến hành khi phát triển các phần mềm có kích
thước nhỏ.
*Kiểm thử sandwich.
2.5 Một số kiểm thử khác.
Phần III. Các công cụ hỗ trợ kiểm thử JUnit, NUnit
1. Giới thiệu về JUnit Framework, NUnit Framework
2. Sử dụng JUnit và NUnit trong thiết kế và cài đặt các test case:
Bài toán tài khoản ngân hàng