Đồ Án Công việc kiểm nghiệm (testing) chương trình

MỤC LỤC


MỤC LỤC 1
I. ĐẶT VẤN ĐỀ: 2
II. KIỂM NGHIỆM PHẦN MỀM: 3
II.1. Định nghĩa: 3
II.2. Các thuật ngữ: 3
II.3. Vòng đời của việc kiểm nghiệm (testing life cycle): 4
II.4. Phân loại kiểm nghiệm: 5
II.5. Sự tương quan giữa các công đoạn xây dụng phần mềm và loại kiểm nghiệm: Mô hình chữ V 5
II.6. Sơ lượt các kỹ thuật và công đoạn kiểm nghiệm: 7
II.6.1 Các loại kiểm nghiệm tầm hẹp: 7
II.6.2. Các loại kiểm nghiệm tầm rộng: 8
III. Phương pháp white-box: 11
III.1. Mô tả một số cấu trúc theo lược đồ: 11
III.2. Kiểm tra theo câu lệnh: (Statement Testing) 12
III.3. Kiểm tra theo đường dẫn: (Path Testing) 14
III.4. Kiểm tra theo điều kiện: (Condition Testing) 16
III.5. Kiểm tra theo vòng lặp: (Loop Testing) 17
IV. Phương pháp black-box: 20
IV.1 Phân chia tương đương: 21
IV.2 Phân tích giá trị biên: 23
IV.3. Đồ thị Cause – Effect : 24
V. KẾT LUẬN : 26
VI. TÀI LIỆU THAM KHẢO : 27


I. ĐẶT VẤN ĐỀ:

“Lỗi phần mềm là chuyện hiển nhiên của cuộc sống. Chúng ta dù cố gắng đến mức nào thì thực tế là ngay cả những lập trình viên xuất sắc nhất cũng không có thể lúc nào cũng viết được những đoạn mã không có lỗi. Tính trung bình, ngay cả một lập trình viên loại tốt thì cũng có từ 1 đến 3 lỗi trên 100 dòng lệnh. Người ta ước lượng rằng việc kiểm tra để tìm ra các lỗi này chiếm phân nửa khối lượng công việc phải làm để có được một phần mềm hoạt động được”. (Software Testing Techniques, Second Edition, by Boris Beizer, Van Nostrand Reinhold, 1990, ISBN 1850328803).

Trên đây là một nhận định về công việc kiểm nghiệm (testing) chương trình.

Thật vậy, ngày nay càng ngày các chương trình (các phần mềm) càng trở lên phức tạp và đồ sộ. Việc tạo ra một sản phẩm có thể bán được trên thị trường đòi hỏi sự nổ lực của hàng chục, hàng trăm thậm chí hàng ngàn nhân viên. Số lượng dòng mã lên đến hàng triệu. Và để tạo ra một sản phẩm thì không phải chỉ do một tổ chức đứng ra làm từ đầu đến cuối, mà đòi hỏi sự liên kết, tích hợp của rất nhiều sản phẩm, thư viện lập trình, của nhiều tổ chức khác nhau Từ đó đòi hỏi việc kiểm nghiệm phần mềm càng ngày càng trở nên rất quan trọng và rất phức tạp.

Song song với sự phát triển các công nghệ lập trình, các ngôn ngữ lập trình thì các công nghệ và kỹ thuật kiểm nghiệm phần mềm ngày càng phát triển và mang tính khoa học. Bài tiểu luận này với mục đích là tập hợp, nghiên cứu, phân tích các kỹ thuật, các công nghệ kiểm nghiệm phần mềm đang được sử dụng và phát triển hiện nay.