Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 1 Bài 7: Xác minh và thẩm định KỸ NGHỆ PHẦN MỀM © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 2 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 3 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 4  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 ĐẠI CƯƠNG – Các khái niệm © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 5  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 ĐẠI CƯƠNG – Các khái niệm © 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 – 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 7 ĐẠ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 8 ĐẠ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 9 ĐẠI CƯƠNG – Yêu c u i v i ki m thầ đố ớ ể ử  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 10  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 CÁC GIAI ĐOẠN KIỂM THỬ [...]... Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 14 CÁC GIAI ĐOẠN KIỂM THỬ - Phía khách hàng  Kiểm thử hệ thống  Mở rộng phạm vi kiểm thử, nhìn nhận phần mềm là một yếu tố trong một HTTT phức tạp  Kiểm tra các yếu tố: • Khả năng phục hồi sau lỗi • Độ an toàn • Hiệu năng và giới hạn của phần mềm © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 15... • Dựa vào TL đặc tả yêu cầu phần mềm • Kiểm tra toàn bộ hệ thống •Dựa vào yêu cầu nghiệp vụ của khách hàng © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 12 CÁC GIAI ĐOẠN KIỂM THỬ - Phía khách hàng  Kiểm thử alpha Là kiểm thử chấp nhận được tiến hành ở môi trường khách hàng © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 13 CÁC GIAI ĐOẠN KIỂM... thúc) © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 21 CÁC HOẠT ĐỘNG Vấn đề của thiết kế test  Xác định các test case    Phân hoạch tương đương Đường đi trong mô đun Mô tả các test case © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 22 CÁC HOẠT ĐỘNG – mô tả test case  Tên mô đun/chức năng muốn kiểm thử  Dữ liệu vào - dữ liệu thông thường:... phân tích thứ tự thực hiện các lệnh (white box) © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 16 Các đồ thị luồng chương trình C If C Then S1 else S2; Sequential statement block S2 S1 C Case C of L1: S1; L2: S2; Sn … Kn: Sn; end; C If C Then S1; S1 © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 17 Các đồ thị luồng chương trình I=1 C For loop:... liệu sai kiểu - dữ liệu ngẫu nhiên © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 28 HOẠT ĐỘNG – xác định test case Đường đi trong mô đun  Phân tích mô đun để xác định đường đi  Đường đi là thứ tự thực hiện các lệnh từ điểm bắt đầu đến điểm kết thúc của mô đun  Thiết kế các test case để kiểm thử mọi đường đi © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ. .. định đường đi Start Ví dụ: 0 1 2 End 3 11 4 5 6 7 8 9 © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN 10 Kỹ nghệ phần mềm Slide 31 HOẠT ĐỘNG – xác định test case Đường đi trong mô đun – Xác định đường đi 1 Ví dụ: 2 9 4 5 3 6 7 đường đi: 1-2-3-8-1-9 1-2-4-6-7-8-1-9 8 © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 32 HOẠT ĐỘNG – xác định test case Đường đi trong mô đun... được kiểm thử với hai trường hợp true và false © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 33 HOẠT ĐỘNG – xác định test case Đường đi trong mô đun – Đường đi độc lập 1 Ví dụ: 2 9 4 5 3 6 7 1-9 1-2-3-8-1-9 1-2-4-6-7-8-1-9 1-2-4-5-7-8-1-9 8 © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 34 HOẠT ĐỘNG – xác định test case Đường đi trong mô... thuật toán © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 35 HOẠT ĐỘNG – xác định test case Đường đi trong mô đun – Độ phức tạp thuật toán Độ phức tạp V(G) của flow chart G: 1 V(G)=Số miền của đồ thị G +1 2 V(G) = E - N + 2 E: số cạnh N: số đỉnh 3 V(G) = P + 1 P: số các nút điều kiện © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 36 ... Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 25 HOẠT ĐỘNG – xác định test case Phân hoạch tương đương - Equivalence partitioning     Không thể kiểm thử mọi trường hợp Chia dữ liệu thành các miền có cùng hành vi Tạo một test case cho từng miền Tạo test case cho biên của các miền - nhiều lỗi xuất hiện với giá trị biên © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ. .. các dữ liệu liên quan đến các hoạt động test  Tính toán và phân tích các chỉ tiêu liên quan đến các hoạt động test © Bộ môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 19 CÁC HOẠT ĐỘNG KIỂM THỬ Bắt đầu Lập kế hoạch Test Thiết kế Test Cài đặt và chuẩn bị Test Test tích hợp Test hệ thống Xem xét và Đánh giá kết quả test Tổng hợp, báo cáo Kết thúc © Bộ môn Công nghệ phần mềm – . môn Công nghệ phần mềm – Khoa CNTT- ĐHCN- ĐHQGHN Kỹ nghệ phần mềm Slide 1 Bài 7: Xác minh và thẩm định KỸ NGHỆ PHẦN MỀM © Bộ môn Công nghệ phần mềm – Khoa. 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 3 Tài liệu  Pressman, Kỹ nghệ phần mềm, chương 18~19.  Sommerville: