tailieunhanh - Bài giảng Bộ môn Công nghệ phần mềm - Bài 7: Thẩm định và xác minh phần mềm

Bài 7: Thẩm định và xác minh phần mềm. Bài giảng bao gồm các kiến thức liên quan đến công nghệ phần mềm như: Khái niệm V&V, mục đích của V&V, cách thức tiến hành, xác minh tĩnh và động, các loại thử nghiệm, quy trình Debug, ứng dụng của phân tích tĩnh. Nội dung rất bổ ích đối với các bạn học chuyên ngành. . | Thẩm định và Xác minh phần mềm : Verification and Validation BM CNPM – Khoa CNTT – HVKTQS 10/2012 Outline Khái niệm V&V Lập kế hoạch cho V&V Điều tra phần mềm Phân tích tự động Phương pháp hình thức Khái niệm V&V Verification –Xác minh: "Are we building the product right" The software should conform to its specification Validation – Thẩm định: "Are we building the right product" The software should do what the user really requires Khái niệm V&V (giải thích) Thẩm định phần mềm: Là xem phần mềm cho kết quả đúng hay không và có thỏa mãn yêu cầu của người sử dụng hay không. Xác minh phần mềm: Là xem sản phẩm có đúng là sản phẩm được yêu cầu không và chương trình có đúng với đặc tả không. Thẩm định và xác minh phần mềm là 2 quá trình liên tục, xuyên suốt từ lúc phân tích các yêu cầu của khách hàng cho đến khi giao sản phẩm, với mục đích: Xem hệ thống có đáp ứng yêu cầu của khách hàng không, phát hiện lỗi của phần mềm. Mục đích của V&V Tạo sự tự tin về phần mềm sẽ đạt được mục tiêu đề ra. Điều này không có nghĩa là sẽ tạo ra phần mềm không có lỗi chút nào. Kiểu sử dụng phần mềm sẽ quyết định mức độ tự tin cần thiết: V & V confidence Depends on system’s purpose, user expectations and marketing environment Software function The level of confidence depends on how critical the software is to an organisation. User expectations Users may have low expectations of certain kinds of software. Marketing environment Getting a product to market early may be more important than finding defects in the program. Cách thức tiến hành Để thẩm định và xác minh phần mềm người ta phải thử nghiệm (kiểm thử) hay thanh tra. Hai cách thức này thường có liên hệ với nhau Thanh tra phần mềm. Liên quan đến việc phân tích hệ thống trong trạng thái tĩnh (không chạy) để phát hiện các vấn đề (Xác minh tĩnh) Có thể sử dụng các công cụ phân tích tài liệu và phân tích mã nguồn để hỗ trợ Kiểm thử phần mềm. Liên quan đến việc cho chạy và quan sát hành vi của phần mềm (Xác minh động). Hệ thống được cho chạy . | Thẩm định và Xác minh phần mềm : Verification and Validation BM CNPM – Khoa CNTT – HVKTQS 10/2012 Outline Khái niệm V&V Lập kế hoạch cho V&V Điều tra phần mềm Phân tích tự động Phương pháp hình thức Khái niệm V&V Verification –Xác minh: "Are we building the product right" The software should conform to its specification Validation – Thẩm định: "Are we building the right product" The software should do what the user really requires Khái niệm V&V (giải thích) Thẩm định phần mềm: Là xem phần mềm cho kết quả đúng hay không và có thỏa mãn yêu cầu của người sử dụng hay không. Xác minh phần mềm: Là xem sản phẩm có đúng là sản phẩm được yêu cầu không và chương trình có đúng với đặc tả không. Thẩm định và xác minh phần mềm là 2 quá trình liên tục, xuyên suốt từ lúc phân tích các yêu cầu của khách hàng cho đến khi giao sản phẩm, với mục đích: Xem hệ thống có đáp ứng yêu cầu của khách hàng không, phát hiện lỗi của phần mềm. Mục đích của V&V Tạo sự tự tin về phần mềm sẽ đạt được mục tiêu đề ra. .