Giáo trình Công nghệ phần mềm - Yêu cầu người dùng potx

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 [...]... cỏc chc nng ca th vin qua DFD Yêu cầu từ người mượn Tên sách, tác giả Tên người mượn Sách Kho sách Tên tác giả Danh sách tác giả Tên sách Danh sách tên sách Danh sách chủ đề Có sách Sách Thông tin về sách Tên sách; Tên người mượn Tìm theo chủ đề Danh sách người mượn Liệt kê các tên sách liên quan đến chủ đề Chủ đề Chủ đề yêu cầu HUT, Falt Dept of SE, 2002 Đưa ra Tên sách SE-III.22 Cỏc hn ch ca DFD ý... 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 1 Is provided with N Dept of SE, 2002 Repair Action SE-III.35 Vớ d ERD mụ t th vin Area N Deals with Copy Belongs to 1 N N Title Written by state Text Was held by holds 1 Author M Borrower limit ER diagram for a library HUT, Falt Dept of SE, 2002 SE-III.36 ... Falt 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 tiờu sỏch, danh sỏch cỏc tỏc gi cho tng quyn sỏch, danh sỏch cỏc ch liờn quan ca cỏc quyn sỏch Ta cú tp hp cỏc sỏch (mi u sỏch cú th cú nhiu quyn 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),... Chc nng D cú th kt xut kt qu riờng cho c E v F HUT, Falt 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) cỏc kt qu c x lý t A A v B l cỏc chc nng khụng ng b (asynchronous activities) vỡ th cn cú buffer ngn chn tỡnh trang mt d liu HUT, Falt Dept of SE, 2002 SE-III.26 Finite State Machines (FSM) FSM cha Tp hu hn cỏc trng thỏi Q Tp hu... Dept of 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 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 Dept of SE, 2002 SE-III.21 Vớ d c... Falt 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 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 c t cỏc yờu cu logic ca h thng, thng c s dng trong cỏc h thng d liu ln ER Model Thc th Quan h Thuc tớnh Biu thc th HUT, Falt Dept of SE, 2002 SE-III.32 Thc th tp hp... hay s 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 tykhỏch hng HUT, Falt 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 Customer Group Engineering Group HUT, Falt 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 cỏc... High temp alarm OFF Restart HUT, Falt 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 sỏch Thờm u sỏch / Loi b u sỏch Lit kờ danh sỏch cỏc u sỏch theo tờn tỏc gi hay theo ch Tỡm kim sỏch theo cỏc yờu cu ca ngi mn Tỡm kim sỏch quỏ hn tr, HUT, Falt Dept of SE, 2002 SE-III.28 c t Cỏc yờu cu c bit ca th vin: c gi khụng c... c tớnh c trng ca phn mm HUT, Falt Dept of SE, 2002 SE-III.17 Requirements Specification c t chc nng (Operational Specifications): thụng thng khi c t cỏc chc nng ca phn mm ngi ta s dng cỏc cụng c tiờu biu sau Biu lung d liu (Data Flow Diagrams) Mỏy trng thỏi hu hn (Finite State Machines Mng Petri (Petri nets) HUT, Falt Dept of SE, 2002 SE-III.18 Requirements Specification c t mụ t (Descriptive... gi ó nhp v yờu cu NSD la chn sỏch Elseif ch nhp tiờu sỏch Then Endif HUT, Falt Dept of SE, 2002 SE-III.23 Trong DFD khụng xỏc nh rừ cỏc hng thc hin (control aspects) A B E D F C Biu DFD ny khụng ch rừ u vo l gỡ thc hin chc nng D v u ra l gỡ sau khi thchin chc nng D HUT, Falt 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 . 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. các yêu cầu phần mềm và sắp xếp chúng theo các nhóm liên quan • Khảo sát tỉ mỉ từng yêu cầu phần mềm trong mối quan hệ của nó với các yêu cầu phần mềm khác • Thẩm định từng yêu cầu 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