Microsoft PowerPoint 09 SE Software Testing [Compatibility Mode] KiểmKiểm nghiệmnghiệm phầnphần mềmmềm GV GV NguyễnNguyễn Minh Minh HuyHuy KiểmKiểm nghiệmnghiệm phầnphần mềmmềm 1Nhập môn Công Nghệ Phầ[.]
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 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 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 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 Build the right thing?? 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 hồ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 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 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 soá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 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 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 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 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 Thực pha phân tích tích,, thiết kế kế Ưu điểm điểm:: Mô hình tốn học sản phẩm kiểm tra tra Chứng minh mơ hình đắn đắn Kiểm tra đắn hồ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 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 hồ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 Kết mong đợi Kết thực tế 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 w 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 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 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 Integration Testing Unit Testing 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 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 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 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 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 20 ... 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 Integration Testing Unit Testing 15... mong đợi Kết thực tế 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... độ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