Tài liệu Nhập môn công nghệ học phần mềm - Introduction to Software Engineering - Phần II docx

HUT, Falt. of IT  Dept. of SE, 2002 SE-III.1 Nhập môn Công nghệ học Phần mềm Introduction to Software Engineering Department of Software Engineering Faculty of Information Technology Hanoi University of Technology TEL: 04-8682595 FAX: 04-8692906 Email: cnpm@it-hut.edu.vn HUT, Falt. of IT  Dept. of SE, 2002 SE-III.2 Phần III Yêu cầu người dùng User’s Requirements Chương 5: Phương pháp xác định yêu cầu 5.1. Kỹ thuật xác định yêu cầu 5.2. Nội dung xác định yêu cầu 5.3. Các nguyên lý phân tích yêu cầu HUT, Falt. of IT  Dept. of SE, 2002 SE-III.3 5.1. Kỹ thuật xác định yêu cầu phần mềm SW Requirements Engineering • Yêu cầu phần mềm: là tất cả các yêu cầu về phầm mềm do khách hàng - người sử dụng phần mềm - nêu ra, bao gồm: các chức năng của phần mềm, hiệu năng của phần mềm, các yêu cầu về thiết kế và giao diện, các yêu cầu đặc biệt khác HUT, Falt. of IT  Dept. of SE, 2002 SE-III.4 • Thông thường các yêu cầu phần mềm được phân loại theo 4 thành phần của phần mềm: – Các yêu cầu về phần mềm (Software) – Các yêu cầu về phần cứng (Hardware) – Các yêu cầu về dữ liệu (Data) – Các yêu cầu về con người (People, Users) • Mục đích: mục đích của yêu cầu phần mềm là xác định được phần mềm đáp ứng được các yêu cầu và mong muốn của khách hàng - người sử dụng phần mềm HUT, Falt. of IT  Dept. of SE, 2002 SE-III.5 Tại sao cần phải đặt ra yêu cầu phần mềm ? • Khách hàng chỉ có những ý tưởng còn mơ hồ về phần mềm cần phải xây dựng để phục vụ công việc của họ, chúng ta phải sẵn sàng, kiên trì theo đuổi để đi từ các ý tưởng mơ hồ đó đến “Phần mềm có đầy đủ các tính năng cần thiết” • Khách hàng rất hay thay đổi các đòi hỏi của mình, chúng ta nắm bắt được các thay đổi đó và sửa đổi các mô tả một cách hợp lý HUT, Falt. of IT  Dept. of SE, 2002 SE-III.6 5.2. Nội dung xác định yêu cầu phần mềm Contents of Requirements Engineering • Phát hiện các yêu cầu phần mềm (Requirements elicitation) • Phân tích các yêu cầu phần mềm và thương lượng với khách hàng (Requirements analysis and negotiation) • Mô tả các yêu cầu phần mềm (Requirements specification) • Mô hình hóa hệ thống (System modeling) • Kiểm tra tính hợp lý các yêu cầu phần mềm (Requirements validation) • Quản trị các yêu cầu phần mềm (Requirements management) HUT, Falt. of IT  Dept. of SE, 2002 SE-III.7 Quy trình xác định yêu cầu phần mềm the problem the problem Requirements Requirements elicitation elicitation Build a Build a prototype prototype Create Create analysis analysis models models Develop specification Review Review HUT, Falt. of IT  Dept. of SE, 2002 SE-III.8 The Analysis Model Data Model Behavioral Model Functional Model HUT, Falt. of IT  Dept. of SE, 2002 SE-III.9 5.2.1. Phát hiện yêu cầu phần mềm (Requirements Elicitation) Các vấn đề của phát hiện yêu cầu phần mềm (Problems) • Phạm vi của phần mềm (Scope) • Hiểu rõ phần mềm (Understanding) • Các thay đổi của hệ thống (Volatility) HUT, Falt. of IT  Dept. of SE, 2002 SE-III.10 Phương pháp phát hiện yêu cầu phần mềm Requirements Elicitation Methodology • Xác định các phương pháp sử dụng phát hiện các yêu cầu phần mềm: phỏng vấn, làm việc nhóm, các buổi họp, gặp gỡ đối tác, v.v. • Tìm kiếm các nhân sự (chuyên gia, người sử dụng) có những hiểu biết sâu sắc nhất, chi tiết nhất về hệ thống giúp chúng ta xác định yêu cầu phần mềm • Xác định “môi trường kỹ thuật - technical environment” • Xác định các “ràng buộc lĩnh vực domain constraints” • Thu hút sự tham gia của nhiều chuyên gia, khách hàng để chúng ta có được các quan điểm xem xét phần mềm khác nhau từ phía khách hàng • Thiết kế các kịch bản sử dụng của phần mềm [...]... thụng qua ng cnh ca bi to n HUT, Falt of Dept of SE, 2002 SE-III.34 Quan h ch ra mi liờn quan ga cỏc i tng d liu Bookstore 1 Orders N Books Cardinality : ch ra nh lng ca mi quan h 1:1 one -to- one 1:N one -to- many M:N many -to- many Modality : 0 cú th cú, cú th khụng cú quan h 1 bt buc cú quan h Customer HUT, Falt of 1 Is provided with N Dept of SE, 2002 Repair Action SE-III.35 Vớ d ERD mụ t th... dng trong phn mm (nu cú) Danh sỏch nhõn s tham gia vo quỏ trỡnh phỏt hin cỏc yờu cu phn mm - k c cỏc nhõn s t phớa cụng ty- khỏch hng HUT, Falt of Dept of SE, 2002 SE-III.11 5.2.2 Phõn tớch cỏc yờu cu phn mm v thng lng vi khỏch hng Software Engineering Group HUT, Falt of Customer Group Dept of SE, 2002 SE-III.12 Requirements Analysis and Negotiation Phõn loi cỏc yờu cu phn mm v sp xp chỳng theo... sỏch trong th vin) Mi quyn sỏch cú th cú 1 trong 5 trng thỏi sau: (AV) - Available c phộp mn, (CO) - (BR) - ó mn (Check Out; Borrow), (L): Last, (R): Remove HUT, Falt of Dept of SE, 2002 SE-III.30 FSM c t cỏc trng thỏi CO AV BR L R ii Cú th cú hn ch v s sỏch c mn cho 1 nhúm c gi hoc mi c gi, HUT, Falt of Dept of SE, 2002 SE-III.31 Mụ hỡnh c t : Mụ hỡnh thc th liờn kt Mụ hỡnh khỏi nim cho phộp... SE, 2002 SE-III.19 Biu lung d liu (DFD) H thng (System): tp hp cỏc d liu (data) c x lý bng cỏc chc nng tng ng (functions) Cỏc ký phỏp s dng: Th hin cỏc chc nng (functions) Th hin lung d liu Kho d liu Vo ra d liu v tng tỏc gia h thng v ngi s dng HUT, Falt of Dept of SE, 2002 SE-III.20 Vớ d mụ t biu thc to n hc bng DFD (a+b)*(c+a*d) b a + a d c * + * HUT, Falt of Dept of SE, 2002 SE-III.21 Vớ d... Dept of SE, 2002 SE-III.32 Thc th tp hp cỏc thụng tin liờn quan cn c x lý trong phn mm Thc th cú th cú mi quan h: person owns car Person HUT, Falt of Owns Dept of SE, 2002 Car SE-III.33 Thc th cú cỏc thuc tớnh Thuc tớnh: Tớnh cht ca mt thc th hoc mt i tng d liu t tờn cho 1 mu (instance) ca i tng d liu mụ t mu (instance) to liờn kt (reference) n cỏc mu khỏc Ford Car Automobile Company Blue... HUT, Falt of Dept of SE, 2002 SE-III.24 A B E D F C Chc nng D cú th cn c A, B v C Chc nng D cú th ch cn mt trong A, B v C thc hin Chc nng D cú th kt xut kt qu cho mt trong E v F Chc nng D cú th kt xut kt qu chung cho c E v F Chc nng D cú th kt xut kt qu riờng cho c E v F HUT, Falt of Dept of SE, 2002 SE-III.25 A B DFD khụng xỏc nh s ng b gia cỏc chc nng / mụ-un A x lý d liu v B c hng (nhn)... (asynchronous activities) vỡ th cn cú buffer ngn chn tỡnh trang mt d liu HUT, Falt of Dept of SE, 2002 SE-III.26 Finite State Machines (FSM) FSM cha Tp hu hn cỏc trng thỏi Q Tp hu hn cỏc u vo I Cỏc chc nng chuyn tip :Qì I Q High pressure alarm ON High temp alarm OFF Restart HUT, Falt of Dept of SE, 2002 SE-III.27 c t cỏc yờu cu phn mm bng FSM Xem xột vớ d v th vin vi cỏc giao dch nh sau: Mn sỏch / Tr... kim sỏch theo cỏc yờu cu ca ngi mn Tỡm kim sỏch quỏ hn tr, HUT, Falt of Dept of SE, 2002 SE-III.28 c t Cỏc yờu cu c bit ca th vin: c gi khụng c mn quỏ mt s lng sỏch nht nh, trong mt thi gian nht nh Mt s sỏch khụng c mn v Mt s ngi khụng c mn mt s loi sỏch no ú, HUT, Falt of Dept of SE, 2002 SE-III.29 Cỏc i tng Tờn sỏch Mó quyn Nhõn viờn phc v Ngi mn Chỳng ta cn cú tp hp (danh sỏch) cỏc... Falt of Dept of SE, 2002 SE-III.13 Requirements Analysis and Negotiation Phõn cp cỏc yờu cu phn mm theo da trờn nhu cu v ũi hi khỏch hng / ngi s dng Thm nh tng yờu cu phm mm xỏc nh chỳng cú kh nng thc hin c trong mụi trng k thut hay khụng, cú kh nng kim nh cỏc yờu cu phn mm hay khụng Thm nh cỏc ri ro cú th xy ra vi tng yờu cu phn mm HUT, Falt of Dept of SE, 2002 SE-III.14 Requirements Analysis... sách SE-III.22 Cỏc hn ch ca DFD ý ngha ca cỏc ký phỏp s dng c xỏc nh bi cỏc nh danh la chn ca NSD Vớ d ca chc nng tỡm kim: If NSD nhp vo c tờn tỏc gi v tiờu sỏch Then tỡm kim sỏch tng ng, khụng cú thỡ thụng bỏo li Elseif ch nhp tờn tỏc gi Then hin th danh sỏch cỏc sỏch tng ng vi tờn tỏc gi ó nhp v yờu cu NSD la chn sỏch Elseif ch nhp tiờu sỏch Then Endif HUT, Falt of Dept of SE, 2002 SE-III.23 . of IT  Dept. of SE, 2002 SE-III.1 Nhập môn Công nghệ học Phần mềm Introduction to Software Engineering Department of Software Engineering Faculty of Information. 2002 SE-III.4 • Thông thường các yêu cầu phần mềm được phân loại theo 4 thành phần của phần mềm: – Các yêu cầu về phần mềm (Software) – Các yêu cầu về phần