Nghiên cứu kiểm thử bao phủ phần mềm và ứng
dụng

Ngô Thùy Linh

Trường Đại học Công nghệ
Luận văn ThS. Chuyên ngành: Công nghệ thông tin; Mã số: 60 48 10
Người hướng dẫn: PGS.TS. Nguyễn Văn Vỵ
Năm bảo vệ: 2010

Abstract: Chương 1: Tổng quan về kiểm thử phần mềm. Chương 2: Kiểm thử phần mềm hướng
đối tượng. Chương 3: Kiểm thử bao phủ phần mềm. Chương 4: Máy trạng thái và kiểm thử bao
phủ máy trạng thái.
Keywords: Kiểm thử phần mềm; Công nghệ phần mềm; Máy trạng thái
Content:
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 (CNTT) 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ụ phát
triển tiên tiến, làm cho việc xây dựng phần mềm đỡ mệt nhọc, nhanh hơn 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, các nguồn lực, nên các hoạt
động đảm bảo chất lượng phần mềm và kiểm thử phần mềm ngày càng chặt chẽ, song vẫn không
đảm bảo rằng các sản phẩm phần mềm được tạo ra không còn lỗi. Lỗi vẫn luôn tiềm ẩn trong
mọi sản phẩm và có thể gây ra những thiệt hại khôn lường. Đặc biệt, do nguồn lực có hạn, việc
kiểm thử phần mềm có thể phải ngừng lại khi cạn kiệt nguồn lực hay thời gian cho phép đã hết.
Vấn đề đặt ra là, có thể dừng qúa trình kiểm thử được không hay bắt buộc phải kiếm thêm nguồn
lực để tiếp tục. Ngay trong trường hợp còn nguồn lực, khi kiểm thử không phát hiện thấy lỗi, một
câu hỏi tương tự đặt ra: có cần thiết phải tiếp tục kiểm thử nữa hay không. Để trả lời những câu
hỏi trên đây, có một số cách cho phép đánh giá chất lượng đạt được của phần mềm để đưa ra
quyết định:
− Cách thứ nhất là xây dựng mô hình đo độ tin cậy để đánh giá chương trình. Khi chương

Chương II: Kiểm thử phần mềm hướng đối tượng: Chương này trình bày khái quát về lập
trình hướng đối tượng, khái niệm kiểm thử hướng đối tượng và tiến trình kiểm thử hướng đối
tượng.
Chương III: Kiểm thử bao phủ phần mềm: Trong chương này, đi tìm trình bày về kiểm thử
bao phủ phần mềm, các phương pháp bao phủ phần mềm và các công cụ phân tích mức độ bao
phủ phần mềm.
Chương IV: Máy trạng thái và kiểm thử bao phủ máy trạng thái: Trong chương này trình
bày khái lược về máy trạng thái và kiểm thử bao phủ máy trạng thái, xây dựng một chương trình
thử nghiệm tiến hành kiểm thử phủ các trạng thái và các chuyển trạng thái cho bài toán cầu thang
máy.
Cuối cùng là kết luận và tài liệu tham khảo.

MỤC LỤC

MỞ ĐẦU 1
1. Lý do chọn đề tài 1
2. Đối tượng nghiên cứu 2
3. Mục đích và phương pháp nghiên cứu 2
4. Ý nghĩa lý luận và thực tiễn của đề tài 2
CHƢƠNG 1: TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM ERROR! BOOKMARK NOT
DEFINED.
1.1. Khái niệm về lỗi phần mềm Error! Bookmark not defined.
1.2. Nguyên nhân có lỗi phần mềm Error! Bookmark not defined.
1.3. Chi phí cho việc sửa lỗi Error! Bookmark not defined.
1.4. Khái niệm về kiểm thử phần mềm Error! Bookmark not defined.
1.5. Các mức của kiểm thử phần mềm Error! Bookmark not defined.
1.5.1. Kiểm thử mức đơn vị Error! Bookmark not defined.
1.5.2. Kiểm thử tích hợp Error! Bookmark not defined.
1.5.3. Kiểm thử mức hệ thống Error! Bookmark not defined.
1.5.4. Kiểm thử chấp nhận Error! Bookmark not defined.

3.3.3. Kiểm thử phạm vi dựa trên trạng thái Error! Bookmark not defined.
3.4. Các công cụ phân tích kiểm thử bao phủ Error! Bookmark not defined.
CHƢƠNG 4: MÁY TRẠNG THÁI VÀ THỬ NGHIỆM KIỂM THỬ BAO PHỦ MÁY
TRẠNG THÁI ERROR! BOOKMARK NOT DEFINED.
4.1. Máy trạng thái hữu hạn Error! Bookmark not defined.
4.1.1. Khái niệm về máy trạng thái hữu hạn Error! Bookmark not defined.
4.1.2. Mô hình máy trạng thái Error! Bookmark not defined.
4.1.3. Lược đồ trạng thái Error! Bookmark not defined.
4.1.4. Cách xây dựng biểu đồ chuyển trạng thái Error! Bookmark not defined.
4.1.5. Ví dụ về đặc tả bằng máy tráng thái hữu hạn Error! Bookmark not defined.
4.2. Vấn đề bao phủ mô hình máy trạng thái Error! Bookmark not defined.
4.2.1. Những đặc trưng của máy trạng thái Error! Bookmark not defined.
4.2.2. Kiểm thử bao phủ máy trạng thái Error! Bookmark not defined.
4.3. Chương trình thử nghiệm Error! Bookmark not defined.
4.3.1. Giới thiệu bài toán Error! Bookmark not defined.
4.3.2. Xây dựng các ca kiểm thử cho chương trình Error! Bookmark not defined.
4.3.3. Xây dựng chương trình 59
KẾT LUẬN ERROR! BOOKMARK NOT DEFINED.
TÀI LIỆU THAM KHẢO Error! Bookmark not defined.