TAILIEUCHUNG - 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 .

• Hệ điều hành
• Công nghệ phần mềm
• Thẩm định phần mềm
• Xác minh phần mềm
• V&V
• Quy trình Debug
• Phân tích tĩnh
• Xác minh tĩnh và động
• Bài giảng Công nghệ phần mềm
• Mô hình phát triển phần mềm
• Lịch sử phát triển phần mềm
• Phân loại phần mềm
• Chất lượng phần mềm
• Đặc trưng của phần mềm
• Nguyên tắc công nghệ phần mềm
• Đặc trưng công nghệ phần mềm
• Tổng quan về công nghệ phần mềm
• Tài liệu công nghệ phần mềm
• Dự án phần mềm
• Phần mềm công nghệ
• Quy trình viết phần mềm
• Bài giảng Nhập môn công nghệ phần mềm
• Nhập môn công nghệ phần mềm
• Qui trình công nghệ phần mềm
• Công cụ hỗ trợ phát triển phần mềm
• Đề tài xây dựng phần mềm
• Đồ án phần mềm
• Bài tập lớn công nghệ phần mềm
• Phần mềm và kỹ thuật phần mềm
• Bài thuyết trình công nghệ phần mềm
• Bài thuyết trình kỹ nghệ phần mềm
• Bài tập Nhập môn công nghệ phần mềm
• Kỹ nghệ yêu cầu phần mềm
• Yêu cầu phần mềm
• Công cụ đặc tả yêu cầu phần mềm
• Phần mềm
• Công nghệ phần mềm ứng dụng
• Công nghệ học phần mềm
• Kiến trúc phần mềm
• Đặc tính chung của phần mềm
• Ứng dụng phần mềm
• Khủng hoảng phần mềm
• Công cụ phát triển phần mềm
• Phần mềm và lớp phần mềm
• Khái niệm về công nghệ phần mềm
• Tài liệu về công nghệ phần mềm
• Công nghệ phần mềm chương 1
• Phương tiện của Công nghệ phần mềm
• Nội dung của Công nghệ phần mềm
• Đề thi môn Công nghệ phần mềm
• Ôn thi Công nghệ phần mềm
• Bài thi môn Công nghệ phần mềm
• Tài liệu thi Công nghệ phần mềm
• Nội dung thi Công nghệ phần mềm
• Câu hỏi thi Công nghệ phần mềm
• Mục tiêu Công nghệ phần mềm
• Môn học Công nghệ phần mềm
• Nội dung Công nghệ phần mềm
• Quy trình công nghệ phần mềm
• Mô hình công nghệ phần mềm
• Tài liệu kỹ thuật
• Công nghệ phần mềm nâng cao
• Bài giảng Công nghệ phần mềm nâng cao
• Tài liệu Công nghệ phần mềm nâng cao
• Mục tiêu Công nghệ phần mềm nâng cao
• Nội dung Công nghệ phần mềm nâng cao
• Requirement engineering
• Mục đích xác định yêu cầu phần mềm
• Quy trình xác định yêu cầu phần mềm
• tiến trình phần mềm
• lập trình phần mềm
• Phát triển phần mềm
• Quy trình phát triển phần mềm
• Đóng gói phần mềm
• Quy trình đóng gói phần mềm
• Công cụ đóng gói phần mềm
• Quản lý cấu hình phần mềm
• Lập kế hoạch quản lý cấu hình phần mềm
• Công cụ quản lý cấu hình phần mềm
• Môn công nghệ phần mềm
• Đồ án công nghệ phần mềm
• Tìm hiểu công nghệ phần mềm
• Tiểu luận công nghệ phần mềm
• Đặc tính của phần mềm
• Công nghệ phân lớp
• Sản xuất phần mềm
• Hệ thống máy tính
• Phương pháp xây dựng phần mềm
• Thiết kế phần mềm
• Đặc điểm công nghệ phần mềm
• Quá trình thiết kế phần mềm
• Chiến lược thiết kế phần mềm
• Thiết kế kiến trúc phần mềm
• Thiết kế chi tiết phần mềm