tailieunhanh - Bài giảng Nhập môn công nghệ phần mềm: Chương 9 - Nguyễn Minh Huy

Bài giảng "Nhập môn công nghệ phần mềm - Chương 9: Kiểm nghiệm phần mềm" cung cấp cho người học các kiến thức: Khái niệm kiểm nghiệm, các hình thức kiểm nghiệm, quy trình kiểm nghiệm. nội dung chi tiết. | Bài giảng Nhập môn công nghệ phần mềm: Chương 9 - Nguyễn Minh Huy Kiểm nghiệm phần mềm GV. Nguyễn Minh Huy Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy 1 Nội dung Khái niệm kiểm nghiệm nghiệm Các hình thức kiểm nghiệm nghiệm Quy trình kiểm nghiệm nghiệm Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy 2 Nội dung Khái niệm kiểm nghiệm nghiệm Các hình thức kiểm nghiệm nghiệm Quy trình kiểm nghiệm nghiệm Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy 3 Khái niệm kiểm nghiệm Kiểm và Nghiệm (V & V): Tiêu chí Verification Validation Ngữ cảnh Kiểm tra phần mềm Nghiệm thu phần mềm Ý nghĩa Phần mềm có đúng với Phần mềm có thỏa mãn đặc tả? nhu cầu Stakeholders?? Mục tiêu Phát hiện lỗi cài đặt Phát hiện hiểu sai Đối tượng thực hiện Đội ngũ phát triển Stakeholders Cách thức thực hiện Vận hành hoặc không Vận hành phần mềm vận hành phần mềm Build the thing right?? Build the right thing?? Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy 4 Khái niệm kiểm nghiệm Phân loại Verification: Kiểm tra động (dynamic verification): Kiểm tra bằng vận hành hành,, dùng thử. thử. Kiểm thử phần mềm (software testing). Kiểm tra hộp đen (black (black--box testing). Dựa trên đầu vào và đầu ra. ra. Ưu điểm điểm:: Ít tốn kém (phần mềm bình thường thường). ). Kiểm tra yêu cầu phi chức năng năng Nhược điểm điểm:: Tốn kém (phần mềm chuyên dụng dụng). ). Phần mềm phải hoàn thành thành Có thể bỏ sót lỗi. lỗi. Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy 5 Khái niệm kiểm nghiệm Phân loại Verification: Kiểm tra tĩnh (static verification): Kiểm tra bằng xét duyệt, duyệt, .