Cơ sở toán học cho các kỹ thuật kiểm thử phần mềm

MỤC LỤC

DANH MỤC CÁC BẢNG VÀ HÌNH VẼ

MỞ ĐẦU

CHƯƠNG 1 TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM

1.1. Các khái niệm cơ bản về kiểm thử phần mềm

1.1.1. Lý do kiểm thử phần mềm

1.1.2. Vai trò của kiểm thử phần mềm

1.1.3. Mục đích của kiểm thử phần mềm

1.2. Quy trình kiểm thử phần mềm

CHƯƠNG 2 PHƯƠNG PHÁP PHÂN HOẠCH TRONG KIỂM THỬ HỘP ĐEN

2.1. Phương pháp kiểm thử dựa trên phân hoạch tương đương

2.1.1 Phân lớp tương đương mạnh

2.1.2 Phân lớp tương đương yếu

2.1.3 Phân lớp tương đương truyền thống

2.2 Ứng dụng

2.2.1 Kiểm thử chương trình nhập điểm thi cao học

2.2.2 Kiểm thử chương trình sau khi lập trình viên đã sửa lỗi

CHƯƠNG 3 CƠ SỞ TOÁN HỌC TRONG KIỂM THỬ HỘP TRẮNG

3.1. Ứng dụng đồ thị lưu trình trong lý thuyết đồ thị vào kiểm thử luồng điều khiển

3.2 Áp dụng vào kiểm thử đoạn mã chương trình trong ví dụ "Nhập điểm thi cao học"

3.2.1 Trường hợp 1: Đoạn mã chương trình A:

3.2.2 Trường hợp 2: Đoạn mã chương trình B (đã chỉnh sửa).

CHƯƠNG 4 KẾT LUẬN

TÀI LIỆU THAM KHẢO