Bài giảng Nhập môn Công nghệ phần mềm: Phần 2.1 - ThS. Phan Phương Lan

Bài giảng Nhập môn Công nghệ phần mềm - Phần 2: Tiến trình phần mềm phần Phân tích và đặc tả yêu cầu cung cấp cho người học các kiến thức: Quy trình và xác định yêu cầu, thu thập các yêu cầu, phân loại các yêu cầu, các đặc trưng của yêu cầu,... Mời các bạn cùng tham khảo nội dung chi tiết.

Nội dung NHẬP MÔN CÔNG NGHỆ PHẦN MỀM PHẦN II – TIẾN TRÌNH PHẦN MỀM  Bộ mơn Cơng nghệ phần mềm, Khoa CNTT&TT, Đại học Cần Thơ  Phân tích Đặc tả Thiết kế Lập trình Kiểm thử Triển khai hệ thống Bảo trì  Tiến trình RUP    Ths.Phan Phương Lan Ths.Phan Phương Lan Nội dung TIẾN TRÌNH PHẦN MỀM      PHẦN II.1 – PHÂN TÍCH & ĐẶC TẢ YÊU CẦU     Quy trình xác định yêu cầu Thu thập yêu cầu Phân loại yêu cầu Các đặc trưng yêu cầu Các ký hiệu mơ hình hóa Các ngơn ngữ đặc tả yêu cầu Lập mẫu cho yêu cầu Tài liệu yêu cầu Thẩm tra công nhận hợp lệ Ths.Phan Phương Lan Ths.Phan Phương Lan Quy trình xác định yêu cầu    Quy trình xác định yêu cầu Một yêu cầu diễn đạt cách hoạt động (behaviour) mong muốn Một yêu cầu đề cập đến:  Các đối tượng hay thực thể  Trạng thái đối tượng hay thực thể  Các chức thực để thay đổi trạng thái hay đặc trưng đối tượng Các yêu cầu tập trung vào nhu cầu khách hàng tập trung vào giải pháp hay thực Ths.Phan Phương Lan  Các yêu cầu quan trọng  Các yếu tố hàng đầu làm cho dự án thất bại:  Các u cầu khơng hồn chỉnh  Thiếu tham gia người sử dụng  Các mong muốn không thực tế  Thiếu hỗ trợ quản lý  Thay đổi yêu cầu đặc tả  Thiếu việc lập kế hoạch  Hệ thống không cần  Một phần quy trình xác định yêu cầu liên quan đến hầu hết nguyên nhân  Lỗi yêu cầu gây tốn không phát sớm Ths.Phan Phương Lan Quy trình xác định yêu cầu   Thu thập yêu cầu Được thực nhà phân tích yêu cầu hay nhà phân tích hệ thống Kết cuối tài liệu đặc tả yêu cầu phần mềm Có khoảng cách thơng tin khách hàng nhà phân tích   Sự thảo luận với thành viên tham gia vào hoạt động thu thập yêu cầu quan trọng  Sự thảo luận đưa đến đồng ý bên yêu cầu  Ths.Phan Phương Lan Ths.Phan Phương Lan Thu thập yêu cầu  Thu thập yêu cầu Các thành viên tham gia hoạt động thu thập yêu cầu        Clients: trả tiền cho phần mềm phát triển Customers: mua phần mềm sau phát triển Người dùng: sử dụng hệ thống Chuyên gia lĩnh vực: biết rõ vấn đề mà phần mềm phải tin học hóa Nhà nghiên cứu thị trường: thực khảo sát để xác định xu hướng tương lai khách hàng tiềm Luật sư kiểm toán viên: biết rõ yêu cầu luật pháp, phủ hay an toàn Kỹ sư phần mềm chuyên gia công nghệ khác: đảm bảo phần mềm khả thi kinh tế công nghệ Ths.Phan Phương Lan Các cách thu thập yêu cầu  Phỏng vấn người tham gia hệ thống  Phỏng vấn người tham gia vào hệ thống theo nhóm  Xem lại tài liệu có sẵn  Quan sát hệ thống hành (nếu hệ thống tồn tại)  Theo người dùng để học nghiệp vụ họ cách chi tiết  Sử dụng chiến lược xác định vấn đề thiết kế ứng dụng chung (Joint Application Design)  Vận dụng trí tuệ tập thể (brainstorming) người dùng tiềm để có yêu cầu 10 Ths.Phan Phương Lan Thu thập yêu cầu   Phân loại yêu cầu Các nguồn yêu cầu có    Phân loại yêu cầu Giải xung đột Các loại tài liệu yêu cầu 11 Ths.Phan Phương Lan 12 Ths.Phan Phương Lan Phân loại yêu cầu     Phân loại yêu cầu Các yêu cầu chức (functional requirements) mô tả chức dịch vụ mà hệ thống phải cung cấp Các yêu cầu phi chức (non-functional requirements) mơ tả đặc trưng chất lượng mà phần mềm phải có Các ràng buộc thiết kế chọn hay thành phần giao diện Các ràng buộc quy trình hạn chế kỹ thuật tài nguyên sử dụng để xây dựng hệ thống  Các loại yêu cầu phi chức 13 Ths.Phan Phương Lan Phân loại yêu cầu  14 Ths.Phan Phương Lan Các đặc trưng yêu cầu Giải xung đột Các thành viên khác có yêu cầu khác => yêu cầu xung đột tiềm ẩn  Giải xung đột cách thứ tự ưu tiên cho yêu cầu  Ba hạng mục ưu tiên:  Cần thiết: phải đáp ứng cách hoàn toàn  Mong muốn: mong đáp ứng cao khơng thiết  Tùy chọn: đáp ứng bị loại trừ          Chính xác (Correct) Nhất qn (Consistent) Khơng mơ hồ (Unambigious) Hồn chỉnh (Complete) Khả thi (Feasible) Có liên quan (Relevant) Có thể kiểm thử (Testable) Có thể theo vết (Traceable) 15 Ths.Phan Phương Lan 16 Ths.Phan Phương Lan Mô thức ký hiệu - Lưu đồ thực thể quan hệ Các ký hiệu mơ hình hóa    Việc có ký hiệu chuẩn để mơ hình hóa, lập tài liệu, giao tiếp với định quan trọng  Việc mơ hình hóa giúp ta hiểu thấu đáo yêu cầu (hoạt động mơ hồ hay chưa biết, xung đột kết xuất hay không quan yêu cầu) Một số mô thức (paradigm) ký hiệu bản:        Thực thể: vẽ hình chữ nhật, biểu diễn cho tập đối tượng giới thực mà chúng có chung đặc điểm cách hoạt động  Quan hệ: vẽ cạnh nối hai thực thể, với hình thoi cạnh xác định loại quan hệ  Thuộc tính: diễn giải thực thể Nó mơ tả liệu hay đặc tính kết hợp với thực thể  Lưu đồ thực thể quan hệ (Entity Relationship Diagram - ERD) Dò theo kiện (Event Traces) Máy trạng thái (State Machines) Lưu đồ dòng liệu (Data Flow Diagram) Hàm quan hệ Logic Đặc tả đại số 17 Ths.Phan Phương  Lan Mô thức ký hiệu - Lưu đồ thực thể quan hệ  Ví dụ: sơ đồ thực thể quan hệ toán cửa quay  Lưu đồ thực thể quan hệ phổ biến  Nó cung cấp nhìn tổng quan vấn đề phải xác định  Tính tổng quan tương đối ổn định có thay đổi yêu cầu Lưu đồ thực thể quan hệ phù hợp để mơ hình hóa vấn đề sớm quy trình xác định yêu cầu 19  Ths.Phan Phương Lan Một lưu đồ ký hiệu dạng đồ thị ưa dùng để biểu diễn mơ hình mức quan niệm Các thành phần cốt lõi lưu đồ 18 Ths.Phan Phương Lan Mô thức ký hiệu - Lưu đồ thực thể quan hệ  Ví dụ: sơ đồ lớp UML (UML Class Diagram) lưu đồ thực thể quan hệ phức tạp 20 Ths.Phan Phương Lan Mô thức ký hiệu - Lưu đồ thực thể quan hệ  Mô thức ký hiệu - Lưu đồ thực thể quan hệ Ví dụ: sơ đồ lớp UML lưu đồ thực thể quan hệ phức tạp     Các thuộc tính phương thức kết hợp với lớp với thể lớp Thuộc tính phạm vi lớp, biểu diễn thuộc tính gạch chân, giá trị liệu mà chia sẻ tất thể lớp Phương thức phạm vi lớp, biểu diễn phương thức gạch chân, phương thức thực lớp trừu tượng thể lớp Liên kết (association), biểu diễn đường nối hai lớp, mối quan hệ thực thể lớp 21 Ths.Phan Phương Lan     Liên kết kết tập (aggregation association)  Liên kết cấu thành (composition association)  Liên kết tổng quát hóa  …  22 Mơ thức ký hiệu - Dị theo kiện Mơ hình thực thể quan hệ khơng nói cách mà thực thể hành xử Dò theo kiện mô tả dạng đồ thị chuỗi kiện mà chúng trao đổi thực thể giới thực  Ví dụ: sơ đồ lớp UML lưu đồ thực thể quan hệ phức tạp Ths.Phan Phương Lan Mô thức ký hiệu - Dò theo kiện    Ví dụ: biểu diễn đồ thị theo vết toán cửa quay Trục tung: đường thời gian thực thể riêng biệt; tên xuất đỉnh trục Trục hoành: kiện hay tương tác hai thực thể Thời gian tiến triển theo hướng từ xuống Mỗi đồ thị mơ tả đơn dị theo kiện, biểu diễn cho vài cách hoạt động có 23 Ths.Phan Phương Lan 24 Ths.Phan Phương Lan Mơ thức ký hiệu - Dị theo kiện Mơ thức ký hiệu - Dị theo kiện  Ví dụ: sơ đồ thơng điệp ký hiệu dò theo kiện cải tiến, với phương tiện cho phép tạo hay hủy bỏ thực thể, xác định hoạt động định thời, tạo dò theo      Ví dụ biểu đồ thơng điệp dò theo kiện cải tiến: biểu đồ thông điệp cho giao dịch mượn tài liệu thư viện Đường dọc biểu diễn cho thực thể tham gia Thông điệp vẽ mũi tên hướng từ thực thể gửi sang thực thể nhận Hoạt động vẽ hình chữ nhật gán nhãn đặt đường thực thi thực thể Điều kiện trạng thái quan trọng tiến hóa thực thể, biểu diễn hình sáu cạnh có gán nhãn 25 Ths.Phan Phương Lan Mơ thức ký hiệu - Máy trạng thái  26 Ths.Phan Phương Lan Mô thức ký hiệu - Máy trạng thái Sự mô tả dạng đồ thị tất đối thoại hệ thống môi trường Nút (trạng thái) biểu diễn tập ổn định điều kiện mà tồn lần xuất kiện  Cạnh (dịch chuyển) biểu diễn cho thay đổi hành vi hay điều kiện xuất kiện      Đường đi: trạng thái bắt đầu máy theo dịch chuyển từ trạng thái sang trạng thái khác Máy trạng thái hữu hạn: với trạng thái hay kiện, có đáp ứng Ví dụ: sơ đồ trạng thái máy cho toán cửa quay Hữu ích cho việc xác định hành vi động cho việc mô tả cách mà hành vi nên thay đổi để đáp ứng lịch sử kiện mà chúng xuất 27 Ths.Phan Phương Lan 28 Ths.Phan Phương Lan Mô thức ký hiệu - Máy trạng thái  Mô thức ký hiệu - Máy trạng thái Ví dụ: sơ đồ trạng thái UML  Mô tả hành vi động đối tượng lớp UML  Có cú pháp phong phú, bao gồm phân cấp trạng thái, đồng thời giao tiếp máy  Ví dụ: sơ đồ trạng thái UML cho lớp Publication 29 Ths.Phan Phương Lan Mô thức ký hiệu - Máy trạng thái  30 Ths.Phan Phương Lan Mô thức ký hiệu - Máy trạng thái Ví dụ: mạng Petri  Ký pháp dịch chuyển trạng thái sử dụng để mơ hình hóa hoạt động đồng thời tương tác chúng  Vòng tròn biểu diễn cho hoạt động hay điều kiện  Thanh ngang/ dọc biểu diễn cho dịch chuyển  Cung nối kết dịch chuyển với hoạt động điều kiện vào  Ví dụ: mạng Petri cho mượn sách 31 Ths.Phan Phương Lan 32 Ths.Phan Phương Lan Mô thức ký hiệu - Lưu đồ dịng liệu     Mơ thức ký hiệu - Lưu đồ dòng liệu  Lược đồ thực thể quan hệ phân rã vấn đề theo thực thể Dò theo kiện phân rã vấn đề theo kịch Máy trạng thái phân rã vấn đề theo trạng thái điều khiển Cả ba mô tả hành vi mức thấp => khó nhìn thấy chức mức cao mơ hình Lưu đồ dịng liệu mơ hình hóa chức dịng liệu từ chức sang chức khác Hình elip biểu diễn cho quy trình hay chức năng: biến đổi liệu  Mũi tên biểu diễn cho dòng liệu (vào hay chức năng)  Hai đường song song biểu diễn cho kho liệu: lưu giữ liệu  Hình chữ nhật biểu diễn cho tác nhân: thực thể cung cấp liệu vào nhận kết kết xuất  33 Ths.Phan Phương Lan Mô thức ký hiệu - Lưu đồ dịng liệu  34 Ths.Phan Phương Lan Mơ thức ký hiệu - Lưu đồ dòng liệu Lưu đồ dịng liệu mức cao biểu diễn cho tốn thư viện   Thuận lợi:  Cung cấp mơ hình trực quan chức mức cao hệ thống đề nghị phụ thuộc liệu quy trình khác Khó khăn :  Có thể làm tăng tính mơ hồ nhà phát triển phần mềm, người chưa quen với vấn đề mơ hình hóa 35 Ths.Phan Phương Lan 36 Ths.Phan Phương Lan Mô thức ký hiệu - Lưu đồ dịng liệu  Mơ thức ký hiệu - Lưu đồ dịng liệu Ví dụ: sơ đồ use case UML  Các thành phần  Đường  Ví dụ sơ đồ use case UML: số use case thư viện biên hệ thống (được ký hiệu hình chữ nhật) nhân (được ký hiệu hình người hay >)  Trường hợp sử dụng – use case - (được ký hiệu hình oval) Một use case biểu diễn chức yêu cầu biến thể  Quan hệ tác nhân use case hay use case (được biểu diễn đường hay đường nét đứt)  Tác 37 Ths.Phan Phương Lan Mô thức ký hiệu – Logic, Đặc tả đại số Mô thức ký hiệu – Hàm quan hệ   Phương thức hay cách tiếp cận hình thức: kỹ thuật thiết kế đặc tả dựa vào tốn học Phương thức hình thức mơ hình hóa yêu cầu hay hoạt động phần mềm tập hàm hay quan hệ toán học, chúng ánh xạ từ đầu vào hệ thống tới đầu hệ thống Hàm: xác định trạng thái thực thi hệ thống, kết xuất  Quan hệ: sử dụng giá trị nhập ánh xạ tới nhiều giá trị xuất   Ví dụ: bảng định 39 Ths.Phan Phương Lan 38 Ths.Phan Phương Lan  Logic Một logic bao gồm ngơn ngữ diễn tả thuộc tính tập quy tắc suy luận thuộc tính kết quả, từ thuộc tính có  Ví dụ: ngơn ngữ đặc tả u cầu hình thức Z   Đặc tả đại số Xác định hành vi phép toán cách xác d9inh6 tương tác cặp phép tốn thay mơ hình hóa phép tốn riêng lẻ  Khó định nghĩa tập tiên đề mà hoàn chỉnh, quán phản ánh hành vi mong muốn  Ví dụ: SDL Data  40 Ths.Phan Phương Lan 10 Các ngôn ngữ đặc tả yêu cầu  Ngơn ngữ mơ hình hóa hợp (Unified Modeling Language - UML)  Ngôn ngữ mô tả đặc tả (Specification and Description Language – SDL) Các ngôn ngữ đặc tả yêu cầu  UML (Unified Modeling Language)  Kết hợp nhiều sơ đồ ký hiệu  Các sơ đồ UML sử dụng suốt định nghĩa đặc tả yêu cầu  Sơ đồ use case (Lưu đồ dòng liệu mức cao)  Sơ đồ lớp (Lưu đồ thực thể quan hệ)  Sơ đồ (Dò theo kiện)  Sơ đồ cộng tác (Dò theo kiện)  Sơ đồ trạng thái (Mơ hình trạng thái máy) 41 Ths.Phan Phương Lan Lập mẫu cho yêu cầu Các ngôn ngữ đặc tả yêu cầu  42 Ths.Phan Phương Lan Ngôn ngữ mô tả đặc tả (SDL)  Xác định hành vi quy trình phân tán, đồng thời thời gian thực mà chúng giao tiếp với thông qua hàng đợi thông điệp không giới hạn  Bao gồm:  Sơ đồ hệ thống SDL (Lưu đồ dòng liệu)  Sơ đồ khối SDL (Lưu đồ dòng liệu)  Sơ đồ quy trình SDL (Mơ hình máy trạng thái)  Kiểu liệu SDL (Đặc tả đại số)  Thường kèm tập sơ đồ thông điệp  Xây dựng mẫu   Để thu thập chi tiết hệ thống đề nghị Để cố gắng lấy thông tin phản hồi từ người dùng tiềm về: Những khía cạnh mà họ muốn cải tiến Những đặc tính khơng q hữu ích  Chức thiếu   Giúp xác định xem vấn đề khách hàng có giải pháp khả thi hay không  Hỗ trợ việc thăm dị chọn lựa để tối ưu hóa u cầu chất lượng  43 Ths.Phan Phương Lan 44 Ths.Phan Phương Lan 11 Lập mẫu cho yêu cầu  Lập mẫu cho yêu cầu Các cách tiếp cận để làm mẫu     Cách tiếp cận làm để sử dụng lần (throwaway prototype)  Được phát triển để nghiên cứu thêm vấn đề hay giải pháp đề nghị , không xem phần phần mềm phân phối Cách tiếp cận tiến hóa (evolutionary prototype)  Được phát triển không giúp trả lời câu hỏi mà kết hợp vào sản phẩm cuối  Bản mẫu cuối phải biểu thị yêu cầu chất lượng sản phẩm cuối Cả hai kỹ thuật gọi làm mẫu nhanh Sự khác lập mẫu mơ hình hóa  Lập mẫu  Tốt trả lời câu hỏi giao diện người dùng  Mơ hình hóa  Trả lời nhanh câu hỏi ràng buộc theo thứ tự mà theo kiện nên xuất hiện, đồng hoạt động 45 Ths.Phan Phương Lan Tài liệu yêu cầu  Tài liệu yêu cầu Các loại tài liệu yêu cầu  Định nghĩa yêu cầu: danh sách hoàn chỉnh thứ mà khách hàng muốn đạt Mô tả thực thể môi trường nơi hệ thống cài đặt (các thực thể giới thực khách hàng)  Mô tả phép biến đổi hay ràng buộc lên thực thể   Đặc tả yêu cầu: diễn tả lại yêu cầu đặc tả cách mà hệ thống đề nghị hoạt động  Chỉ tham khảo tới thực thể mà hệ thống truy xuất chúng qua giao diện hệ thống (chỉ thực thể giới thực mà chúng có hệ thống đề nghị) 47 Ths.Phan Phương Lan 46 Ths.Phan Phương Lan  Định nghĩa yêu cầu - Các bước quy trình  Phác thảo mục đích chung phạm vi hệ thống, bao gồm lợi ích liên quan, mục tiêu mục đích  Mơ tả tảng nhân tố ẩn sau đề xuất cho hệ thống  Mô tả đặc trưng cần thiết giải pháp chấp nhận  Mơ tả mơi trường hệ thống vận hành  Phác thảo mô tả đề xuất, khách hàng có đề xuất cho giải vấn đề  Liệt kê giả định cách mà môi trường hoạt động 48 Ths.Phan Phương Lan 12 Tài liệu yêu cầu  Tài liệu yêu cầu Đặc tả yêu cầu - Các bước quy trình    Mơ tả chi tiết tất đầu vào, đầu ra, bao gồm:  Các nguồn đầu vào  Các đích đầu  Các miền giá trị  Định dạng liệu cho liệu vào/ra  Các giao thức liệu  Tổ chức định dạng cửa sổ  Ràng buộc thời gian Diễn đạt lại chức yêu cầu dạng đầu vào/ra giao diện Đưa tiêu chuẩn phù hợp cho yêu cầu chất lượng khách hàng  Chuẩn IEEE cho đặc tả yêu cầu phần mềm 1.Introduction to the Document 1.1 Purpose of the Product 1.2 Scope of the Product 1.3 Acronyms, Abbreviations, Definitions 1.4 References 1.5 Outline of the rest of the SRS 2.General Description of Product 2.1 Context of Product 2.2 Product Functions 2.3 User Characteristics 2.4 Constraints 2.5 Assumptions and Dependencies 49 Ths.Phan Phương Lan 50 Ths.Phan Phương Lan Tài liệu yêu cầu Thẩm tra công nhận hợp lệ Specific Requirements 3.1 External Interface Requirements 3.1.1 User Interfaces 3.1.2 Hardware Interfaces 3.1.3 Software Interfaces 3.1.4 Communications Interfaces 3.2 Functional Requirements 3.2.1 Class 3.2.2 Class … 3.3 Performance Requirements 3.4 Design Constraints 3.5 Quality Requirements 3.6 Other Requirements Appendices   Công nhận hợp lệ (xác nhận, validation) yêu cầu: ta kiểm tra xem định nghĩa u cầu có phản ánh xác nhu cầu khách hàng Thẩm tra (verification) yêu cầu: ta kiểm tra xem tài liệu tạo có tuân theo tài liệu khác Tại mức yêu cầu, ta kiểm tra xem đặc tả yêu cầu có phù hợp với định nghĩa yêu cầu 51 Ths.Phan Phương Lan 52 Ths.Phan Phương Lan 13 Thẩm tra công nhận hợp lệ Thẩm tra công nhận hợp lệ  Các kỹ thuật công nhận hợp lệ  Thẩm tra tra xem tài liệu đặc tả yêu cầu có tương đương với định nghĩa yêu cầu  Đảm bảo ta thực hệ thống mà đáp ứng đặc tả hệ thống đáp ứng yêu cầu khách hàng  Đảm bảo yêu cầu tài liệu định nghĩa theo vết đặc tả  Kiểm 53 Ths.Phan Phương Lan 54 Ths.Phan Phương Lan Thẩm tra cơng nhận hợp lệ  TIẾN TRÌNH PHẦN MỀM Các kỹ thuật thẩm tra PHẦN II.2 – THIẾT KẾ 55 Ths.Phan Phương Lan 56 Ths.Phan Phương Lan 14 Định nghĩa thiết kế Nội dung      Định nghĩa thiết kế Các nội dung thiết kế Một số vấn đề thiết kế Đặc trưng thiết kế hoàn thiện Tài liệu thiết kế   Thiết kế trình sáng tạo thực việc chuyển đổi vấn đề thành giải pháp Sự mô tả giải pháp biết thiết kế  Đặc tả yêu cầu định nghĩa vấn đề  Tài liệu thiết kế xác định giải pháp cụ thể cho vấn đề 57 Ths.Phan Phương Lan Định nghĩa thiết kế Định nghĩa thiết kế  58 Ths.Phan Phương Lan  Thiết kế trình tương tác gồm hai phần:  Thiết kế mức quan niệm (thiết kế hệ thống)  Thiết kế kỹ thuật Thiết kế mức quan niệm nói với khách hàng mà hệ thống phải làm: Dữ liệu đến từ đâu?  Điều xảy với liệu hệ thống?  (Đối với người sử dụng) Hệ thống trơng giống gì?  Những lựa chọn cung cấp cho người dùng?  Các báo cáo hình giống gì?  Định thời gian cho kiện?  59 Ths.Phan Phương Lan 60 Ths.Phan Phương Lan 15 Định nghĩa thiết kế  Định nghĩa thiết kế Thiết kế mức quan niệm Các đặc trưng thiết kế mức quan niệm hoàn thiện:  Thiết kế kỹ thuật nói với lập trình viên mà hệ thống phải làm như: Các thành phần phần cứng chức chúng  Sự phân cấp chức thành phần phần mềm  Các cấu trúc liệu dòng liệu  Theo ngơn ngữ mà khách hàng hiểu  Khơng có từ kỹ thuật  Mơ tả chức hệ thống  Độc lập với cài đặt  Được liên kết với yêu cầu  61 Ths.Phan Phương Lan Định nghĩa thiết kế  62 Ths.Phan Phương Lan Định nghĩa thiết kế Sự khác tài liệu thiết kế   Thiết kế hệ thống xác định tập thành phần giao diện thành phần để đáp ứng tập yêu cầu đặc tả Những phương pháp tạo thiết kế rã theo mô đun  Phân rã hướng liệu  Phân rã hướng kiện  Thiết kế  Thiết kế hướng đối tượng  Phân 63 Ths.Phan Phương Lan 64 Ths.Phan Phương Lan 16 Định nghĩa thiết kế Định nghĩa thiết kế Sự phân rã  Mô tả liệu hệ thống  Mô tả chức mức cao  Tạo phân cấp thông tin với chi tiết tăng dần Tính mơ đun hóa  Mơ đun hay thành phần (component): phận hợp lại thiết kế  Một hệ thống có tính mơ đun   Mỗi hoạt động hệ thống thực thành Đầu vào đầu thành phần rành mạch   Ths.Phan Phương Lan Các mức phân rã 65 66 Ths.Phan Phương Lan Thiết kế kiến trúc Các nội dung thiết kế  Nhà thiết kế thực công việc:  Thiết kế kiến trúc  Thiết kế liệu  Thiết kế giao diện  Thiết kế thủ tục (thuật toán)  Thiết kế kiến trúc  Liên kết thành phần hệ thống với khả xác định đặc tả yêu cầu  Một loại kiến trúc phần mềm liên quan tới thành phần, liên kết ràng buộc thành phần kết hợp 67 Ths.Phan Phương Lan Tất đầu vào cần thiết cho chức Tất kết xuất tạo hoạt động 68 Ths.Phan Phương Lan 17 Thiết kế kiến trúc  Đường dẫn lọc Thiết kế kiến trúc  Các loại kiến trúc phần mềm Thiết kế kiến trúc - Ví dụ Phân lớp 69 Ths.Phan Phương Lan Thiết kế liệu  Thiết kế liệu – Ví dụ Thiết kế liệu    70 Ths.Phan Phương Lan Các thành phần liệu bảng để tạo CSDL Các cấu trúc liệu Các mức thiết kế liệu   Thiết kế cấu trúc logic: quan hệ chuẩn, khóa, tham chiếu, cấu trúc thao tác liệu Thiết kế cấu trúc vật lý: file, kiểu, kích thước 71 Ths.Phan Phương Lan 72 Ths.Phan Phương Lan 18 Thiết kế liệu – Ví dụ Thiết kế giao diện  Thiết kế giao diện  Các form nhập liệu  Các reports kết xuất mà hệ thống phải sinh 73 Ths.Phan Phương Lan 74 Ths.Phan Phương Lan Thiết kế giao diện Thiết kế thủ tục   Thiết kế thủ tục (thuật toán)  Giải thích q trình xử lý từ input đến output Phương pháp biểu diễn  Lưu đồ giải thuật  Ngôn ngữ giả 75 Ths.Phan Phương Lan 76 Ths.Phan Phương Lan 19 Một số vấn đề thiết kế Thiết kế thủ tục  Thiết kế cộng tác Hầu hết dự án làm việc cộng tác  Các vấn đề thiết kế cộng tác  Ai người phù hợp để thiết kế phận hệ thống  Viết tài liệu thiết kế  Làm để kết hợp thành phần thiết kế thành thiết kế hợp  Lưu đồ xử lý nhấn nút “Đăng nhập”  Các vấn đề việc thực thiết kế cộng tác  Sự khác kinh nghiệm cá nhân, hiểu biết, sở thích 77 Ths.Phan Phương Lan Một số vấn đề thiết kế  78 Ths.Phan Phương Lan Một số vấn đề thiết kế Thiết kế giao diện Các vấn đề then chốt xem xét thiết kế giao diện:  Các vấn đề văn hóa (quốc tịch, dân tộc, giới tính, nghề nghiệp, tuổi tác, vùng miền)  Sở thích người dùng  Một số lưu ý thiết kế giao diện:  Nên có đồng giao diện (menu, lệnh, hiển thị )  Đặt tên nhãn ngắn gọn, dễ nhớ  Tối ưu trình bày hộp thoại di chuyển chuột   Một số lưu ý thiết kế giao diện  Hạn chế nhập liệu trực tiếp, có thể, nên cho người dùng chọn lựa từ số liệu có sẵn  Yêu cầu xác nhận tác vụ mang tính phá hủy (xố liệu)  Chấp nhận lỗi từ phía người sử dụng  Nên cung cấp feedback cho người dùng  Tạo thơng báo lỗi có ý nghĩa  Cung cấp trợ giúp 79 Ths.Phan Phương Lan 80 Ths.Phan Phương Lan 20 Các đặc trưng thiết kế hoàn thiện Một số vấn đề thiết kế  Sự đồng thời    Các vấn đề  Tính quán liệu chia sẻ thành phần mà chúng thực thi thời điểm  Đảm bảo hoạt động không can thiệp vào hoạt động khác Các giải pháp  Sự đồng bộ: phương pháp cho phép hai hoạt động thực đồng thời mà không can thiệp vào  Loại trừ lẫn nhau: quy trình truy xuất phần tử liệu, khơng có quy trình khác ảnh hưởng tới phần tử  Giám sát: đối tượng trừu tượng kiểm soát loại trừ lẫn quy trình cụ thể 81 Ths.Phan Phương Lan Sự độc lập thành phần Sự nối kết (coupling): mức độ tương tác mô đun  Sự gắn kết (cohesion): mức độ tương tác bên mô đun    Nhận dạng xử lý ngoại lệ Ngăn chặn chấp nhận lỗi giới hạn cho phép   Chủ động Bị động 82 Ths.Phan Phương Lan Sự nối kết Sự nối kết  Các thành phần nối kết cao có lượng lớn phụ thuộc  Các thành phần nối kết lỏng lẻo có phụ thuộc kết nối lẫn thành phần yếu  Các thành phần khơng nối kết khơng có quan hệ  Ta đo nối kết theo mức độ phụ thuộc 83 Ths.Phan Phương Lan 84 Ths.Phan Phương Lan 21 Sự nối kết  Sự nối kết Các loại nối kết      Nối kết nội dung: thành phần sửa liệu nội thành phần khác hay thành phần rẽ nhánh sang thành phần khác Nối kết chung: thành phần truy xuất làm thay đổi liệu chung Nối kết điều khiển: thành phần truyền tham số để điều khiển hoạt động thành phần khác Nối kết cấu trúc liệu: cấu trúc liệu sử dụng để truyền thông tin từ thành phần sang thành phần khác thân cấu trúc liệu truyền Nối kết liệu: có liệu truyền từ thành phần sang thành phần khác  Ví dụ Nối kết chung Nối kết nội dung 85 Ths.Phan Phương Lan 86 Ths.Phan Phương Lan Sự gắn kết FUNCTION A   FUNCTION FUNCTION B C Một thành phần gắn kết tất thành viên thành phần điều khiển với mục đích cần thiết để thực công việc Một số dạng gắn kết FUNCTION FUNCTION D E Coincidental Parts unrelated logic FUNCTION A TIME T0 FUNCTION A’ TIME T0 + X FUNCTION B FUNCTION A” TIME T0 + 2X FUNCTION C Logical Similar functions FUNCTION A Temporal Related by time Procedural Related by order of functions DATA FUNCTION A FUNCTION A FUNCTION A - part FUNCTION B FUNCTION B FUNCTION A - part FUNCTION C Communicational Access same data 87 Ths.Phan Phương Lan FUNCTION C FUNCTION A - part Sequential Output of one part is input to next Functional Sequential with complete, related functions 88 Ths.Phan Phương Lan 22 Nhận dạng xử lý ngoại lệ  Các ngoại lệ: tình mà ngược lại với mà ta thực muốn hệ thống làm Các ngoại lệ điển hình gồm:     Ngăn chặn chấp nhận lỗi Không thực việc cung cấp dịch vụ Cung cấp liệu hay dịch vụ sai Làm hư liệu  Các ngoại lệ xử lý theo ba cách sau     Thử lại: phục hồi hệ thống trạng thái trước cố gắng thực dịch vụ chiến lược khác Hiệu chỉnh: phục hồi hệ thống trạng thái trước đó, hiệu chỉnh mặt hệ thống cố gắng thực lại chiến lược Báo cáo: phục hồi hệ thống trạng thái trước đó, báo cáo vấn đề với thành phần xử lý lỗi không cung cấp dịch vụ   Phát lỗi chủ động: định kỳ kiểm tra dấu hiệu lỗi cố gắng giải trước lỗi xuất Phát lỗi bị động: chờ lỗi xuất suốt thực thi Hiệu chỉnh lỗi: đền bù hệ thống cho diện lỗi Chấp nhận lỗi: cô lập thiệt hại bị gây lỗi 89 Ths.Phan Phương Lan Viết tài liệu thiết kế  Viết tài liệu thiết kế Tài liệu thiết kế gồm mục:      Nêu lý thiết kế  Phác thảo vấn đề then chốt thỏa hiệp Mô tả thành phần hệ thống Xác định cách mà người dùng tương tác với hệ thống Tập biểu đồ ký pháp hình thức mơ tả tồn tổ chức cấu trúc hệ thống 91 Ths.Phan Phương Lan 90 Ths.Phan Phương Lan Xác định cách mà người sử dụng tương tác với hệ thống  Các menu định dạng hình hiển thị  Giao diện người dùng: phím chức năng, v.v  Kết nhập: liệu đến từ đâu, cách mà chúng định dạng, chúng lưu giữ phương tiện  Kết xuất: liệu đến từ đâu, cách mà chúng định dạng, chúng lưu giữ phương tiện  Các đặc trưng chức chung  Các ràng buộc thực thi  Các thủ tục lưu giữ  Cách phương pháp xử lý lỗi 92 Ths.Phan Phương Lan 23 ... Kiểm 53 Ths .Phan Phương Lan 54 Ths .Phan Phương Lan Thẩm tra cơng nhận hợp lệ  TIẾN TRÌNH PHẦN MỀM Các kỹ thuật thẩm tra PHẦN II.2 – THIẾT KẾ 55 Ths .Phan Phương Lan 56 Ths .Phan Phương Lan 14 Định... 10 Ths .Phan Phương Lan Thu thập yêu cầu   Phân loại yêu cầu Các nguồn yêu cầu có    Phân loại yêu cầu Giải xung đột Các loại tài liệu yêu cầu 11 Ths .Phan Phương Lan 12 Ths .Phan Phương Lan. .. 71 Ths .Phan Phương Lan 72 Ths .Phan Phương Lan 18 Thiết kế liệu – Ví dụ Thiết kế giao diện  Thiết kế giao diện  Các form nhập liệu  Các reports kết xuất mà hệ thống phải sinh 73 Ths .Phan Phương