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.

• Kỹ thuật lập trình
• Phân tích yêu cầu phần mềm
• Yêu cầu phần mềm
• Kiểm tra phần mềm
• Kiểm chứng phần mềm
• Kỹ thuật kiểm chứng
• Kỹ thuật kiểm tra
• Quy trình công nghệ yêu cầu
• Quy trình phần mềm
• Công nghệ phần mềm
• Phân tích yêu cầu phần mềm
• Công nghệ yêu cầu
• Yêu cầu phần mềm
• Chu kỳ sống
• Dự án phần mềm
• Đặc tả yêu cầu
• Requirements Specifications
• Đặc tả yêu cầu phần mềm
• Đặc tả tương thích
• Thiết kế phần mềm
• Phân tích phần mềm
• Mục tiêu thiết kế phần mềm
• Mô hình mục tiêu
• Dữ liệu cứng
• Kỹ thuật phỏng vấn
• Tham gia quan sát
• Bảng câu hỏi
• Nghiên cứu khả thi
• Khảo sát hiện trạng
• Phân tích chi phí
• Phân tích lợi nhuận
• Yêu cầu phi chức năng
• Non Functional Requirements
• Tiếp cận hướng sản phẩm
• Tiếp cận hướng tiến trình
• Requirements Prioritization
• Sắp xếp yêu cầu ưu tiên
• Định hướng theo chi phí
• Định hướng theo giá trị
• Mô hình quan hệ thực thể
• Khóa định dạng
• Khái quát hóa
• Ràng buộc trên thể hiện
• Mô hình hướng đối tượng
• Mô hình phần mềm
• Biểu đồ lớp UML
• Quan hệ tập hợp
• Quan hệ hợp thành
• Mô hình hóa tương tác hệ thống
• Tương tác với hệ thống mới
• Biểu đồ tuần tự
• Chuyển dịch hệ thống
• Báo cáo bài tập lớn
• Nghiên cứu yêu cầu phần mềm
• Bảng ghi nhận thay đổi
• Biên bản khảo sát
• Báo cáo khảo sát dự án
• Slide Báo cáo bài tập tuần 3
• Báo cáo Công nghệ thông tin
• Đề tài công nghệ phận mềm
• Bản đặc tả yêu cầu phần mềm tốt
• Báo cáo bài tập tuần
• Functional test design
• Phân biệt Requirements Verification
• Phần mềm User manual Development
• Báo cáo bài tập tuần 3
• Biểu mẫu IEEE 830 1998
• Các Tips để viết đặc tả
• Software Requirement Specification
• Bài tập Công nghệ thông tin
• Slide Bài tập tuần 4
• User manual development
• Reviews and Inspections
• Bài tập Công nghệ phần mềm