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 Thạc sĩ ngành: Công nghệ phần mềm; 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

4. Ý nghĩa lý luận và thực tiễn của đề tài
Kết quả nghiên cứu góp phần hoàn thiện các phương pháp kiểm thử phủ đã được nghiên
cứu từ trước đến nay. Kết quả nghiên cứu cũng sẽ trang bị thêm một công cụ cho việc đánh
giá kết quả của việc kiểm thử phần mềm. Với nội dung như trên, luận văn bao gồm:
Chương I: Tổng quan về kiểm thử phần mềm: Chương này cho một cái nhìn tổng quan
về kiểm thử phần mềm: các khái niệm cơ bản về kiểm thử phần mềm, các chiến lược và quy
tắc trong kiểm thử, các phương pháp kiểm thử phần mềm tiêu biểu.
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.

3
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.

References
[Beiz90] Boris Beizer. Software Testing Techniques, Second Edition, Van NostrandReinhold,
1990.
[Beiz95] Beizer, B. Black-box Testing.Wiley,1995.
[Brad77] J.M.Brady. The Theory Computer Science, Chapman and Hall, London, 1977.
[Cem&90] Cem Kaner, Jack Falk, Hung Quoc Nguyen. Testing Computer Software, John
Wiley & Sons, Inc., 1990, pp.27-141.
[Hare&90] D.Harel, H. Lachover, A.Laamad, A.Pnuali, M.Politi, R.Sherman, A.Shtull-
Trauring, and M.Trakhtenbrot, STATMATE: A Working Environment for the