Nhập môn kiểm thử phần mềm: Chương 1 - Trần Duy Hoàng

Nhập môn kiểm thử phần mềm - Chương 1: Tổng quan trình bày các nội dung chính: vai trò của kiểm thử, kiểm thử phần mềm là gì, quy trình kiểm thử phần mềm, các nguyên lý tổng quát, vai trò và thái độ.
Nội dung trích xuất từ tài liệu:
Nhập môn kiểm thử phần mềm: Chương 1 - Trần Duy Hoàng Nhập môn kiểm thử phần mềm Chương 1 – Tổng quan Trần Duy Hoàng – tdhoang@fit.hcmus.edu.vn Nội dung  Tại sao kiểm thử quan trọng?  Kiểm thử phần mềm là gì?  Qui trình kiểm thử phần mềm  Các nguyên lý tổng quát  Vai trò và thái độ 2 Nhập môn kiểm thử phần mềm 1/8/2013 Lỗi phần mềm  Hành vi con người  Error (Mistake)  Hệ quả xuất hiện trên chương trình, tài liệu  Bug (Fault/Defect)  Khi thực thi chương trình  Failure  Hệ quả không như mong đọi  Incident 3 Nhập môn kiểm thử phần mềm 1/8/2013 Lỗi phần mềm A person makes an error ... … that creates a fault in the software ... … that can cause a failure in operation 4 Nhập môn kiểm thử phần mềm 1/8/2013 Độ tin cậy (Reliability)  Độ tin cậy là xác suất phần mềm không phát sinh lỗi trong thời gian và điều kiện xác định  Liệu một hệ thống không tồn tại lỗi?  Liệu một hệ thống đáng tin cậy nhưng vẫn tồn tại lỗi?  Liệu một hệ thống không lỗi là đáng tin cậy? 5 Nhập môn kiểm thử phần mềm 1/8/2013 Tại sao có lỗi?  Phần mềm viết bởi con người  Biết nhiều thứ, nhưng không phải mọi thứ  Có kỹ năng, nhưng không hoàn hảo  Luôn phạm sai lầm  Làm việc dưới điều kiện căng thẳng để kịp bàn giao đúng tiến độ  Không có thời gian kiểm tra, giả định bị sai  Hệ thống chưa hoàn chỉnh 6 Nhập môn kiểm thử phần mềm 1/8/2013 Chi phí lỗi  Có thể rất lớn:  Ariane 5: 7 tỉ đô la,  Mariner space probe to Venus: 250 triệu đô la,  American Airlines: 50 triệu đô la  Có thể gây chết người:  Therac-25  Airbus & Korean Airlines  Có thể không đáng kể:  hơi bất tiện, ảnh hưởng không nhìn thấy được  Không tuyến tính: 1 lỗi nhỏ nhưng có hậu quả lớn 7 Nhập môn kiểm thử phần mềm 1/8/2013 Tại sao kiểm thử cần thiết?  Vì:  Phần mềm luôn tồn tại lỗi  Đánh giá độ tin cậy  Chi phí lỗi có thể rất cao  Tránh bị kiện từ khách hàng  Giữ uy tính trong kinh doanh  Không vì:  Lấp khoản thời gian giữa ngày hoàn thành và ngày bàn giao  Chứng minh là phần mềm không lỗi  Kiểm thử là một phần của kế hoạch dự án 8 Nhập môn kiểm thử phần mềm 1/8/2013 Nội dung  Tại sao kiểm thử quan trọng?  Kiểm thử phần mềm là gì?  Qui trình kiểm thử phần mềm  Các nguyên lý tổng quát  Vai trò và thái độ 9 Nhập môn kiểm thử phần mềm 1/8/2013 Kiểm thử phần mềm là gì?  Kiểm thử phần mềm là quá trình thực thi một chương trình với mục đích tìm lỗi The Art of Software Testing  Là hoạt động kiểm tra xem phần mềm có chạy chính xác hay không (Verification) và có thoả mãn yêu cầu của khách hàng hay không (Validation) nhằm hướng tới mục tiêu Chất lượng cho phần mềm. 10 Nhập môn kiểm thử phần mềm 1/8/2013 Xác minh và thẩm định  Xác minh (Verification)  Có đúng đặc tả, có đúng thiết kết  Phát hiện lỗi lập trình  Thẩm định (Validation)  Có đáp ứng nhu cầu người dùng  Phát hiện lỗi phân tích, thiết kế 11 Nhập môn kiểm thử phần mềm 1/8/2013 Xác minh và thẩm định  V & V = Verification and Validation  Mục tiêu là phát hiện và sửa lỗi phần mềm, đánh giá tính dùng được của phần mềm  Thứ tự thực hiện: Verification  Validation  Verification chiếm 80%, Validation chiếm 20% công việc  Validation tác động 80% hiệu quả chung 12 Nhập môn kiểm thử phần mềm 1/8/2013 Nội dung  Tại sao kiểm thử quan trọng?  Kiểm thử phần mềm là gì?  Qui trình kiểm thử phần mềm  Các nguyên lý tổng quát  Vai trò và thái độ 13 Nhập môn kiểm thử phần mềm 1/8/2013 Qui trình kiểm thử Dữ liệu KT (Test data) Đặc tả YC Kế hoạch KT Ca kiểm thử Kết quả KT Báo cáo KT (Requirement (Test plan) (Test cases) (Test result) (Test report) spec) Lập kế Thiết kế Thực hiện Đánh giá hoạch kiểm thử kiểm thử kết quả 14 Nhập môn kiểm thử phần mềm 1/8/2013 Lập kế hoạch  Mục đích: chỉ định, mô tả các chiến lược kiểm thử  Kết quả: bản kế hoạch kiểm thử (Test plan)  Nội dung:  Giới thiệu  Yêu cầu  Chiến lược  Thời gian  Tài nguyên 15 Nhập môn kiểm thử phần mềm 1/8/2013 Lập kế hoạch Test Policy Company level Test Strategy High Level Project level (IEEE 829) High Level (one for each project) Test Plan Test Plan Test stage level (IEEE 829) Detailed Detailed (one for each stage within a project, Test Plan Detailed Test Plan Detailed e.g. Component, System, etc.) Test Plan Test Plan 16 Nhập môn kiểm thử phần mềm 1/8/2013 Lập kế hoạch  Các bước lập kế hoạch  Xác định yêu cầu ki ...