Lecture 6:
Phân tích yêu cầu phần mềm
Mô hình hóa yêu cầu
Làm rõ các khái niệm
Mô hình hóa là gì ?
Các yêu cầu; Hệ thống; Tư duy hệ thống (Systems Thinking)
Vai trò của Mô hình hóa trong RE
Tầm quan trọng của mô hình hóa
Hạn chế của mô hình hóa
Tổng quan về các ngôn ngữ mô hình hóa
Nguyên tắc mô hình hóa
Trừu tượng hóa (Abstraction)
Phân tách (Decomposition)
Quy chiếu (Projection)
Mô-đun hóa (Modularity)
1
Phân tích yêu cầu phần mềm
Khái niệm : Các định nghĩa
Application Domain
D - domain properties
R - requirements
Một vài điểm khác biệt
Machine Domain
C - computers
P - programs
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: mô tả các hành vi chương trình cần thực hiện để đáp ứng với các yêu cầu
Hai tiêu chí cho 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 chí cho 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?
2
Phân tích yêu cầu phần mềm
Khái niệm : Từ hệ thống đến mô hình
Source: Adapted from Loucopoulos & Karakostas, 1995, p73
Needs
information
about
Usage System
contracts
Subject System
Uses
Development System
Maintains
information
about
Information system
builds
. 3
Phân tích yêu cầu phần mềm
Khái niệm : Tư duy hệ thống
4
Mô hMô hình hóa
Phân tích yêu cầu phần mềm
Mô hình hóa có thể hướng dẫn suy luận
Nó có thể giúp bạn chỉ ra câu hỏi gì để hỏi
Nó có thể giúp làm nổi rõ các yêu cầu ẩn chứa
i.e. giúp bạn hỏi những câu chính xác?
Mô hình hóa có thể cung cấp sự đo lường cho quy trình:
Việc hoàn thiện của mô hình -> hoàn thiện của suy luận (?)
i.e. chúng ta có thể hoàn thiện tất cả các thành phần của mô hinh, được không?
Mô hình hóa có thể giúp phơi bày các vấn đề
Sự mâu thuẫn trong các mô hình có thể dẫn đến nhiều thứ đáng quan tâm…
e.g. các yêu cầu xung đột hoặc không thể thực hiện
e.g. nhầm lẫn các thuật ngữ, phạm vi, etc
e.g. bất đồng giữa các đối tác
Mô hình hóa có thể giúp kiểm tra sự thấu hiểu của bạn
Lý giải trên các mô hình để hiểu kết quả của nó
Nó có đạt được những đặc tính mà chúng ta mong muốn?
Xây dựng hình ảnh bằng các mô hình giúp quan sát/kiểm chứng các yêu cầu
5