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. Mời các bạn cùng tham khảo nội dung chi tiết.
Nội dung trích xuất từ tài liệu:
Bài giảng Phân tích yêu cầu phần mềm: Lecture 12 - Trần Văn Hoà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)Khái niệm: Định nghĩa V&VCác kỹ thuật kiểm chứng Lập bản mẫu (Prototyping) Phân tích mô hình (Model Analysis) (e.g. 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 ValidationKiểm chứng (Validation) Problem “Chúng ta đã xây dựngđúng hệ thống ?” Situation Khai báo vấn đề đã thực sự nắm bắt được vấn đề thực tế? Validatio n Hệ thống đã đáp ứng được Problem nhu cầu của tất cả đối tác? StatementKiểm tra (Verification) Verificatio n “Chúng ta đã xây dựng hệ thống đúng?” Implementation Thiết kế đáp ứng đặc tả? Statement 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? System 2 Phân tích yêu cầu phần mềm Khái niệm: Tiêu chuẩnV&V Source: Adapted from Jackson, 1995, p170-171Application Domain Machine Domain 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ớicá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 ứngvớ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. 3 Phân tích yêu cầu phần mềm Ví dụ V&V Ví dụ Requirement R: “Phản lực chỉ có thể xảy ra khi máy bay đang chạy trên đường băng” Domain Properties D: Xung lực bánh xe xảy ra khi và chỉ khi các bánh xe bật ra Các bánh xe bật ra khi và chỉ khi nó chạy trên đường băng Specification S: Phản lực có thể xảy ra khi và chỉ khi có xung lực bánh xe Kiểm tra Phần mềm cho máy bay, P, thực thi trên máy tính trong buồng lái của máybay, C, có hoàn toàn chính xác như đặc tả, S? S, trong ngữ cảnh của giả thuyết D, có đáp ứng R? Kiểm chứng Giả thuyết của chúng ta, D, về lĩnh vực có thật chính xác? Có thiếu sót gìkhông? Yêu cầu, R, có thật sự cần thiết? Có thiếu sót gì không? 4 Phân tích yêu cầu phần mềm Chu trình điều tra Lưu ý : Tương tự như Kiến thức có trước một tiến trình khảo(e.g. Phản hồi từ khách hàng) sát khoa học : Các mô hình yêu Giả thiết ban đầu cầu là lý thuyết về thực tế; Thiết kế sẽ Quan sát kiểm thử các lý (Điều gì sai trong thuyết đó. hệ thống hiện tại?) Tìm kiếm những bất thường – Can thiệp Cái không thể giải thích bằng Mô hình ...