Trường Đại Học Bách Khoa Tp. Hồ Chí Minh
Khoa Công Nghệ Thông Tin
-Trang235-
Khoa Công Nghệ Thông Tin - Môn Công Nghệ Phần Mềm - Chương 9: Kỹ thuật kiểm nghiệm phần mềm
Chương 9
KỸ THUẬT
KIỂM NGHIỆM PHẦN MỀM
✦
✦✦
✦ Test-case
✦
✦✦
✦ Kiểm tra các đường độc lập cơ bản
NỘI DUNG
9.1 Một số khái niệm
9.2. Cơ sở của kiểm nghiệm phần mềm
9.1.1. Mục tiêu của kiểm nghiệm phần mềm
9.1.2. Các nguyên lý của kiểm nghiệm phần mềm
9.1.3. Thiết lập các test-case
9.3. Kiểm nghiệm các đường độc lập cơ bản
9.2.1. Xây dựng đồ thò dòng chảy (flow graph)
9.2.2. Liệt kê các đường độc lập cơ bản
9.2.3. Thiết lập các test-case
-Trang236-
Khoa Công Nghệ Thông Tin - Môn Công Nghệ Phần Mềm - Chương 9: Kỹ thuật kiểm nghiệm phần mềm
GIỚI THIỆU
 Mặc dù được tự động hoá một phần bởi các
công cụ CASE, rất nhiều công đoạn trong quá
trình sản xuất phần mềm vẫn được thực hiện bởi
con người
 Lỗi có thể xảy ra trong tất cả các giai đoạn:

phí thấp nhất.
 Kiểm nghiệm phần mềm giúp

Phát hiện được lỗi trong chương trình (nếu có).

Chứng minh được phần mềm hoạt động đúng như đã thiết kế.

Chứng minh được phần mềm đáp ứng yêu cầu của user

Góp phần chứng minh chất lượng của phần mềm.
-Trang239-
Khoa Công Nghệ Thông Tin - Môn Công Nghệ Phần Mềm - Chương 9: Kỹ thuật kiểm nghiệm phần mềm
MỤC TIÊU CỦA KIỂM NGHIỆM PHẦN MỀM (t.t)
 Quá trình kiểm nghiệm phần mềm là tốt khi

Có khả năng tìm ra lỗi cao.

Không dư thừa.

Biết chọn lọc: chỉ kiểm nghiệm những phần nào có khả năng tìm ra lỗi
đặc trưng.

Không quá phức tạp cũng không quá đơn giản.
 Chú ý: Kiểm nghiệm phần mềm không khẳng đònh được phần
mềm không còn khiếm khuyết, chỉ khẳng đònh được phần mềm có
lỗi.
-Trang240-
Khoa Công Nghệ Thông Tin - Môn Công Nghệ Phần Mềm - Chương 9: Kỹ thuật kiểm nghiệm phần mềm
CÁC NGUYÊN LÝ KIỂM NGHIỆM PHẦN MỀM
 Việc kiểm nghiệm nên hướng về yêu cầu của khách hàng

Khoa Công Nghệ Thông Tin - Môn Công Nghệ Phần Mềm - Chương 9: Kỹ thuật kiểm nghiệm phần mềm