tailieunhanh - Bài giảng Phân tích yêu cầu phần mềm: Lecture 12 - Trần Văn Hoàng

Bài giảng "Phân tích yêu cầu phần mềm - Lecture 12: Kiểm tra và kiểm chứng (Verification and Validation)" cung cấp cho người học các kiến thức: Khái niệm, các kỹ thuật kiểm chứng, các kỹ thuật kiểm tra (Verification Techniques), V&V độc lập. nội dung chi tiết. | Phân tích yêu cầu phần mềm Lecture 12 Kiểm tra và Kiểm chứng Verification and Validation Khái niệm Định nghĩa V V Các kỹ thuật kiểm chứng Lập bản mẫu Prototyping Phân tích mô hình Model Analysis . Model Checking Kiểm duyệt Inspection Các kỹ thuật kiểm tra Verification Techniques Thực hiện lưu vết đặc tả Specifications Traceable Bài 19 Kiểm thử Testing Kiểm duyệt mã lệnh Code Inspection Phân tích mã lệnh Code analysis V V độc lập 1 Phân tích yêu cầu phần mềm Verification and Validation Kiểm chứng Validation Chúng ta đã xây dựng đúng hệ thống Khai báo vấn đề đã thực sự nắm bắt được vấn đề thực tế Hệ thống đã đáp ứng được nhu cầu của tất cả đối tác Kiểm tra Verification Chúng ta đã xây dựng hệ thống đúng Thiết kế đáp ứng đặc tả Cài đặc đáp ứng đặc tả Hệ thống được phân phối sẽ thực hiện điều mà nó phải làm Các mô hình yêu cầu thống nhất với những mô hình khác 2 Phân tích yêu cầu phần mềm Khái niệm Tiêu chuânV V Al t D Source Adapted from Jackson 1995 p170-171 J-J Sự khác biệt Domain Properties những điều luôn luôn đúng trong lĩnh vực ứng dụng Requirements những điều chúng ta mong là đúng trong lĩnh vực ứng dụng Specification sự mô tả các hành vi mà chương trình cần thực hiện để đáp ứng với các yêu cầu Hai tiêu chuẩn kiểm tra verification Chương trình Program thực hiện trên một máy tính Computer cụ thể đáp ứng với đặc tả Specification Đặc tả Specification được cho trong thuộc tính của lĩnh vực Domain properties thỏa mãn các yêu cầu Requirements Hai tiêu chuẩn kiểm chứng validation Chúng ta đã xem xét và hiểu tất cả các yêu cầu Requirements quan trọng Chúng ta đã xem xét và hiểu tất cả các thuộc tính lĩnh vực Domain properties liên quan.