tailieunhanh - Bài giảng Công nghệ phần mềm: Bài 7 - Học viện Kỹ thuật Quân sự

Bài giảng Công nghệ phần mềm: Bài 7 Thẩm định và xác minh phần mềm, cung cấp cho người đọc những kiến thức như: 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; .Mời các bạn cùng tham khảo! | 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 amp V Lập kế hoạch cho V amp 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 amp V Verification Xác minh quot Are we building the product right quot The software should conform to its specification Validation Thẩm định quot Are we building the right product quot The software should do what the user really requires Khái niệm V amp 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 amp 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 amp 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 Xác minh tĩnh và động 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