Kỹ nghệ phần mềm máy tính

Thẩm định/xác minh tĩnh(kiểm tra - software inspection)- không thực hiện chương trình- xét duyệt yêu cầu, thiết kế, mã nguồn- tiến hành ở mọi công đoạn phát triển- khó đánh giá tính hiệu quả của sảnphẩm
Nội dung trích xuất từ tài liệu:
Kỹ nghệ phần mềm máy tính KỸ NGHỆ PHẦN MỀM Bài 7: Xác minh và thẩm địnhBộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 1 NỘI DUNG  Đại cương  Các giai đoạn kiểm thử  Các loại kiểm thử  Tổ chức kiểm thử  Các hoạt động kiểm thử  Chiến lược kiểm thử tích hợp© Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 2 Tài liệu  Pressman, Kỹ nghệ phần mềm, chương 18~19.  Sommerville: Software Engineering, chương 22, 23.© Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 3 ĐẠI CƯƠNG – Các khái niệm  Xác minh (Verification) - có đúng đặc tả không, có đúng thiết kế không - phát hiện lỗi lập trình  Thẩm định (Validation) - có đáp ứng nhu cầu người dùng không - có hoạt động hiệu quả không - phát hiện lỗi phân tích, lỗi thiết kế (lỗi mức cao) V & V - Validation & Verification© Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 4 ĐẠI CƯƠNG – Các khái niệm  Thẩm định/xác minh tĩnh (kiểm tra - software inspection) - không thực hiện chương trình - xét duyệt yêu cầu, thiết kế, mã nguồn - tiến hành ở mọi công đoạn phát triển - khó đánh giá tính hiệu quả của sản phẩm© Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 5 ĐẠI CƯƠNG – Các khái niệm  Thẩm định/xác minh động (kiểm thử – software testing) - thực hiện chương trình - cần có mã nguồn - phát hiện lỗi lập trình - đánh giá tính hiệu quả phần mềm - là cách duy nhất để kiểm tra yêu cầu phi chức năng© Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 6 ĐẠI CƯƠNG – Mục tiêu  Xác định được mức độ phần mềm đáp ứng được các yêu cầu (độ tin cậy)© Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 7 ĐẠI CƯƠNG - Thời điểm tiến hành Tiến hành ở mọi công đoạn phát triển phần mềm  phân tích - xét duyệt đặc tả yêu cầu  thiết kế - xét duyệt đặc tả thiết kế  mã hóa - kiểm thử chương trình© Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 8 ĐẠI CƯƠNG – Yêucầuđốivớikiểmthử  Tính lặp lại - kiểm thử phải lặp lại được (kiểm tra xem lỗi đã được sửa hay chưa) - dữ liệu/trạng thái phải mô tả được  Tính hệ thống - đảm bảo kiểm tra hết các trường hợp  Được lập tài liệu - kiểm soát tiến trình/kết quả© Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 9 CÁC GIAI ĐOẠN KIỂM THỬ  Trong môi trường của phía phát triển  Kiểm thử đơn vị  Kiểm thử tích hợp  Kiểm thử hệ thống phần mềm  Kiểm thử chấp nhận  Trong môi trường của phía khách hàng  Kiểm thử alpha  Kiểm thử beta  Kiểm thử hệ thống thông tin© Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 10 CÁC GIAI ĐOẠN KIỂM THỬ - Phía phát triển OO: System tests Include use- cases Integration tests Packages Module combination of classes Unit Combinations of tests Module methods in class Function Methods© Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 11 CÁC GIAI ĐOẠN KIỂM THỬ - Phía phát triển • Unit test/Module test • Dựa vào TL thiết kế chi tiết (kiểm thử đơn vị) • Test 1 module (hàm, thủ tục, đoạn code, component…) • Integration test • Dựa vào TL thiết kế tổng thể (test tích hợp) • Kiểm tra sự tương tác giữa các module • System test • Dựa vào TL đặc tả yêu cầu phần mềm • Kiểm tra toàn bộ hệ thống ...