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. Mời các bạn cùng tham khảo nội dung chi tiết.
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 CuuDuongThanCong.com https://fb.com/tailieudientucntt 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 CuuDuongThanCong.com https://fb.com/tailieudientucntt 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 CuuDuongThanCong.com https://fb.com/tailieudientucntt Khái niệm kiểm nghiệm Kiểm Nghiệm (V & V): Tiêu chí Ngữ cảnh Verification Validation Kiểm tra phần mềm Nghiệm thu phần mềm Ý nghĩa Phần mềm có với đặc tả? Phần mềm có thỏa mãn nhu cầu Stakeholders?? Mục tiêu Phát lỗi cài đặt Phát hiểu sai Đối tượng thực Đội ngũ phát triển Stakeholders Cách thức thực Vận hành không vận hành phần mềm Vận hành phần mềm Build the thing right?? Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com Build the right thing?? https://fb.com/tailieudientucntt Khái niệm kiểm nghiệm Phân loại Verification: Kiểm tra động (dynamic verification): Kiểm tra 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 đầu vào đầu ra Ưu điểm điểm:: Ít tốn (phần mềm bình thường thường) ) Kiểm tra yêu cầu phi chức năng Nhược điểm điểm:: Tốn (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 CuuDuongThanCong.com https://fb.com/tailieudientucntt Khái niệm kiểm nghiệm Phân loại Verification: Kiểm tra tĩnh (static verification): Kiểm tra xét duyệt, duyệt, chứng minh Kiểm chứng phần mềm mềm Kiểm tra hộp trắng (white (white box testing) Dựa nội dung bên trong Ưu điểm điểm:: Khơng cần hồn thành phần mềm mềm Khơng cần vận hành hành Phát lỗi tìm ẩn ẩn Nhược điểm điểm:: Chi phí nhân cơng cơng Cần đội ngũ kinh nghiệm nghiệm Tốn thời gian, gian, công sức sức Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt Khái niệm kiểm nghiệm Phân loại Validation: Nghiệm thu Alpha (Alpha Testing): Nghiệm thu có giới hạn hạn Triển khai thí điểm điểm Chọn lọc đối tượng tham gia gia Vận hành có kiểm sốt sốt Nghiệm thu Beta (Beta Testing): Nghiệm thu khơng giới hạn hạn Triển khai đại trà trà Không hạn chế đối tượng tham gia gia Vận hành tự Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt Khái niệm kiểm nghiệm Tóm tắt loại kiểm nghiệm nghiệm:: Kiểm tra (Verification) Nghiệm thu (Validation) Kiểm thử (động) (Testing) Nghiệm thu Alpha (Alpha Testing) Kiểm chứng (tĩnh) (Static Verification) Nghiệm thu Beta (Beta Testing) Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt 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 CuuDuongThanCong.com https://fb.com/tailieudientucntt Các hình thức kiểm nghiệm Kỹ thuật kiểm tra tĩnh tĩnh:: Thanh tra phần mềm (Software Inspection): Micheal Fagan đề xuất 1979 Kiểm tra cách đọc nội dung Đội ngũ tra độc lập lập Ưu điểm điểm:: Có thể thực pha pha Rất hiệu để tìm lỗi lỗi Khuyết điểm điểm:: Đội ngũ nhiều kinh nghiệm nghiệm Tốn thời gian chi phí phí Nhập mơn Cơng Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt 10 Các hình thức kiểm nghiệm Kỹ thuật kiểm tra tĩnh tĩnh:: Model Checking: Kiểm tra cách chứng minh Mơ hình tốn học sản phẩm kiểm tra tra Chứng minh mơ hình đắn đắn Thực pha phân tích tích,, thiết kế kế Ưu điểm điểm:: Kiểm tra đắn hoàn tồn tồn Có thể thực tự động động Khuyết điểm điểm:: Phức tạp để mơ hình hóa hóa Chưa có cơng cụ tự động hiệu quả Nhập mơn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt 11 Các hình thức kiểm nghiệm Kỹ thuật kiểm tra động động:: Test Case: Kiểm tra đầu vào đầu ra Dùng kịch kiểm thử thử Các đối tượng kiểm tra tra:: Dữ liệu đầu vào Một đoạn mã nguồn nguồn Một tình Use Case Một chức hoàn chỉnh chỉnh Nội dung Test Case: Ngữ cảnh kiểm tra tra Dữ liệu đầu vào vào Kết đầu mong đợi đợi Các bước thực hiện Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com Kết mong đợi Kết thực tế https://fb.com/tailieudientucntt 12 Các hình thức kiểm nghiệm Test Case tình “Nhập sách thất bại”: bại”: Test Case Nhập sách thất bại Related Use Case Nhập sách Context Đăng nhập với quyền “Thủ thư” Input Data Tên sách: Chiến tranh Hịa bình Tác giả: (trống) Nhà xuất bản: (trống) Số tập: tập Expected Output Hiện thông báo “Lỗi: Thông tin sách bạn nhập vào không đầy đủ!” Thông tin sách không lưu vào sở liệu Test Steps Đăng nhập vào hệ thống: (username “nmhuy”, password “12345” Chọn chức “Nhập sách mới” (menu “Sách / Nhập sách”) Nhập thông tin Input Data Nhấn nút cập nhật Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt 13 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 CuuDuongThanCong.com https://fb.com/tailieudientucntt 14 Quy trình kiểm nghiệm Mơ hình chữ V (V (V Model): Project Planning Acceptance Testing Requirement Analysis System Testing Software Design Coding Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com Integration Testing Unit Testing https://fb.com/tailieudientucntt 15 Quy trình kiểm nghiệm Các pha kiểm nghiệm nghiệm:: Kiểm thử đơn vị (Unit Testing): Kiểm tra đơn vị lập trình trình Các hàm mã nguồn nguồn Thực mơi trường lập lập Lập trình viên thực hiện Unit Test Case: Unit Test Case Chia cho số khơng Context (Khơng có) Method Number.divide(float a, float b) Input Data a=5 b=0 Expected Output Exception: Divided by zero Test Steps float c = Number.divide(5, 0) Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt 16 Quy trình kiểm nghiệm Các pha kiểm nghiệm nghiệm:: Kiểm thử tích hợp (Sub (Sub system Testing) Kiểm tra nhóm đơn vị lập trình trình Kiểm tra phối hợp hoạt động động Dancing testing Thực môi trường tích hợp hợp Nhập mơn Cơng Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt 17 Quy trình kiểm nghiệm Các pha kiểm nghiệm nghiệm:: Kiểm thử hệ thống (System Testing) Kiểm tra toàn hệ thống thống Hệ thống hoạt động đặc tả tả? ? Thực môi trường giả lập lập Phân loại loại:: Functional Testing Non functional Testing Non Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt 18 Quy trình kiểm nghiệm Các pha kiểm nghiệm nghiệm:: Nghiệm thu phần mềm (Acceptance Testing) Khách hàng dùng thử thử Hệ thống thỏa mãn nhu cầu cầu? ? Thực môi trường vận hành thật sự Phân loại loại:: Nghiệm thu Alpha Nghiệm thu Beta Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt 19 Bài tập Bài tập viết Test Case: Hệ thống “Online Bookstore” Công việc việc:: Chức “Check “Check out đơn hàng hàng”: ”: Thiết kế hình hình Viết test case để kiểm tra tất tình xảy ra Chức “Thêm sách vào hệ thống thống”: ”: Thiết kế hình hình Viết test case để kiểm tra tất tình xảy ra Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt 20 ... Nghiệm thu Beta Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt 19 Bài tập Bài tập viết Test Case: Hệ thống “Online Bookstore” Công việc việc::... Stakeholders Cách thức thực Vận hành không vận hành phần mềm Vận hành phần mềm Build the thing right?? Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com Build the right thing??... phí nhân cơng cơng Cần đội ngũ kinh nghiệm nghiệm Tốn thời gian, gian, công sức sức Nhập môn Công Nghệ Phần Mềm - Nguyễn Minh Huy CuuDuongThanCong.com https://fb.com/tailieudientucntt Khái niệm