Chương 5 Mô hình hóa phân tích

Chia sẻ: Trần Công Chính | Ngày: | Loại File: PPT | Số trang:30

Thêm vào BST

Báo xấu

52
lượt xem 4
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Mục tiêu của mô hình phân tích(Analysis model) To describe what the customer requires To establish a basis for the creation of a software design To deﬁne a set of requirements that can be validated once the software is built. Mô hình phân tích được tạo từ quá trình phân tích cấu trúc.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Chương 5 Mô hình hóa phân tích

1 Chương 5 Mô hinh hoa phân tich ̀ ́ ́ Analysis Modeling Bai giang môn Công nghệ Phân Mêm - BM HTTT - ̀ ̉ ̀ ̀ Khoa CNTT - HUI
Nôi dung ̣ • Muc tiêu cua mô hinh phân tich ̣ ̉ ̀ ́ • Mô hinh hoa chức năng và dong thông tin ̀ ́ ̀ • Mô hinh hoa hanh vi ̀ ́ ̀ • Cơ chế cua phân tich theo dang câu truc ̉ ́ ̣ ́ ́ ▫ Control specification ▫ Process specification 2 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Muc tiêu cua mô hinh phân tich ̣ ̉ ̀ ́ (Analysis model) 1. To describe what the customer requires 2. To establish a basis for the creation of a software design 3. To deﬁne a set of requirements that can be validated once the software is built. Mô hinh phân tich được tao từ quá trinh phân tich ̀ ́ ̣ ̀ ́ ́ ́ câu truc. 3 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Tư điển dữ liệu ̀ (Data dictionary) • A repository that contains descriptions of all data objects consumed or produced by the software. • Thường được đinh kem vao SRS như 1 phụ luc ́ ̀ ̀ ̣ 4 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Vi du: từ điển dữ liệu với muc telephone number ̣́ ̣ 5 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Câu truc cua mô hinh phân tich ́ ́ ̉ ̀ ́ 6 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Mô hinh dữ liệu ̀ (Data model) • Lược đồ entity- relationship (ERD) 7 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Mô hinh hoa chức năng ̀ ́ • Thông tin được xuât ra bởi 1 phân mêm thường ́ ̀ ̀ ̉ ̃ ́ ́ ̉ trai qua 1 chuôi cac biên đôi (series of transformation) 8 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Lươc đồ dong dữ liệu ̣ ̀ (Data flow diagram) • DFD dung để mô tả dong thông tin và cac biên ̀ ̀ ́ ́ đôi được ap dung cho dữ liêu từ luc đi vao hệ ̉ ́ ̣ ̣ ́ ̀ thông cho đên luc xuât ra bên ngoai hệ thông ́ ́ ́ ́ ̀ ́ • DFD cung câp cơ chế mô hinh hoa chức năng ́ ̀ ́ cung như mô hinh hoa dong thông tin cua hệ ̃ ̀ ́ ̀ ̉ ́ thông 9 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Lươc đồ ngữ canh ̣ ̉ 10 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Cach ve DFD mức 1 ́ ̃ • Phương phap đơn gian và hữu hiêu là ́ ̉ ̣ phân tich ngữ phap ("grammatical parse“) ́ ́ đoan văn mô tả process ở mức ngữ canh. ̣ ̉ ▫Gach dưới tât cả danh từ xuât hiên lân đâu  ̣ ́ ́ ̣ ̀ ̀ tât cả cac danh từ hoăc là external entity , dữ ́ ́ ̣ liêu hay đôi tượng điêu khiên (control objects) ̣ ́ ̀ ̉ ▫In nghiêng tât cả đông từ xuât hiên lân đâu  ́ ̣ ́ ̣ ̀ ̀ cac đông từ sẽ trở thanh process ́ ̣ ̀ 11 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
12
DFD level 1 13 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
DFD level 2 for process Monitor sensors 14 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Mô hinh dong kiểm soat ̀ ̀ ́ (Control Flow model CFD) • Đôi với loai ứng dung xử lý dữ liêu (data ́ ̣ ̣ ̣ processing application) thì mô hinh dữ liêu và ̀ ̣ DFD là đủ để phân tich yêu câu phân mêm ́ ̀ ̀ ̀ • Đôi với ứng dung hướng sự kiên (event- driven), ́ ̣ ̣ viêc tao ra thông tin điêu khiên quan trong hơn cả ̣ ̣ ̀ ̉ ̣ viêc tao ra bao cao hay hiên thị  cân sử dung ̣ ̣ ́ ́ ̉ ̀ ̣ ̀ ́ ̀ ̉ ́ thêm mô hinh hoa dong kiêm soat (CFD) bên canh mô hinh dong dữ liêu (DFD) ̣ ̀ ̀ ̣ 15 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
16
DFD va CFD ̀ • Quy trinh check and convert pressure sẽ thực thi ̀ ̉ ̣ giai thuât trong PSPEC. • Khi ap suât thung chứa (absolute tank pressure) ́ ́ ̀ lớn hơn ap suât cực đai thì sự kiên ap suât mức ́ ́ ̣ ̣́ ́ trên (above pressure) sẽ được phat ra. ́ • Thanh thăng đứng mà dong sự kiên above ̉ ̀ ̣ pressure là 1 con trỏ trỏ đên CSPEC. Vì vây để ́ ̣ xac đinh xem cai gì xay ra khi sự kiên nay xay ra, ́ ̣ ́ ̉ ̣ ̀ ̉ ̀ ̉ ̉ cân phai kiêm tra CSPEC. 17 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Cach tao lược đồ dong kiểm soat (CFD) ́ ̣ ̀ ́ • Từ DFD lam mờ đi tât cả mui tên dong dữ liêu ̀ ́ ̃ ̀ ̣ (data flow) • Cac muc sự kiên (event) và kiêm soat (control) ́ ̣ ̣ ̉ ́ được thêm vao lược đồ dưới dang mui tên đứt ̀ ̣ ̃ net và window (thanh thăng đứng) sẽ chỉ ra đăc ́ ̉ ̣ tả kiêm soat (control specification) ̉ ́ • Môt sự kiên hay muc kiêm soat được thực thi tuy ̣ ̣ ̣ ̉ ́ ̀ theo giá trị Boolean 18 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Vi du: lược đồ DFD mưc 1 ́ ́ 19 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀
Vi du: lược đồ CFD mưc 1 ̣́ ́ 20 Bai giang môn Công nghệ Phân Mêm - BM HTTT - Khoa CNTT - HUI ̀ ̉ ̀ ̀