Đang tải... (xem toàn văn)
Slide Công nghệ mobile ip – giải pháp ip cho mạng thông tin di động gsm
HUT, Falt. of IT Dept. of SE, 2002 SE-III.1Nhập môn Công nghệ học Phần mềmIntroduction to Software EngineeringDepartment of Software EngineeringFaculty of Information TechnologyHanoi University of TechnologyTEL: 04-8682595 FAX: 04-8692906 Email: cnpm@it-hut.edu.vn HUT, Falt. of IT Dept. of SE, 2002 SE-III.2Phần IIIYêu cầu người dùngUser’s RequirementsChương 5: Phương pháp xác định yêu cầu5.1. Kỹ thuật xác định yêu cầu 5.2. Nội dung xác định yêu cầu5.3. Các nguyên lý phân tích yêu cầu HUT, Falt. of IT Dept. of SE, 2002 SE-III.35.1. Kỹ thuật xác định yêu cầu phần mềmSW 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.65.2. Nội dung xác định yêu cầu phần mềmContents 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.7Quy trình xác định yêu cầu phần mềmthe problemthe problemRequirementsRequirementselicitationelicitationBuild aBuild aprototypeprototypeCreateCreateanalysisanalysismodelsmodelsDevelopspecificationReviewReview HUT, Falt. of IT Dept. of SE, 2002 SE-III.8The Analysis ModelData ModelBehavioralModelFunctionalModel HUT, Falt. of IT Dept. of SE, 2002 SE-III.95.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.10Phươ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 [...]... Flow Diagrams) Mỏy trng thỏi hu hn (Finite State Machines Mng Petri (Petri nets) HUT, Falt of IT â Dept of SE, 2002 SE-III.18 Requirements Specification c t mụ t (Descriptive Specifications) Biu thc th liờn kt (EntityRelationship Diagrams) c t Logic (Logic Specifications) c t i s (Algebraic Specifications) HUT, Falt of IT â Dept of SE, 2002 SE-III.19 Biu lung d liu (DFD) H thng (System): tp hp... 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 Ford ID Tp cỏc thuc tớnh ca 1 i tng d liu c xỏc nh thụng qua ng cnh ca bi toỏn HUT, Falt of IT â 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... SE, 2002 SE-III.21 Vớ d c t 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ả Có sách Danh sách tác giả Tên sách Danh sách tên sách Sách Thông tin về sách Tên sách; Tên người mượn Danh sách chủ đề 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 of IT â Dept of SE, 2002 Đưa ra Tên... sỏch Then Endif HUT, Falt of IT â 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 of IT â 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... 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 IT â 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... 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), (L): Last, (R): Remove HUT, Falt of IT â Dept of SE, 2002 SE-III.30 FSM c t cỏc trng thỏi CO BR L AV R Cú th cú hn ch v s sỏch c mn cho 1 nhúm... HUT, Falt of IT â 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 of IT â 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 IT... specifications) mụ t cỏc hot ng ca h thng phn mm s xõy dng c t mụ t (Descriptive specifications) c t cỏc c tớnh c trng ca phn mm HUT, Falt of IT â 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... activities) vỡ th cn cú buffer ngn chn tỡnh trang mt d liu HUT, Falt of IT â 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 IT â 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... Falt of IT 1 Is provided with â Dept of SE, 2002 N 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 Borrower ER diagram for a library HUT, Falt of IT M â Dept of SE, 2002 limit SE-III.36 . Specifications): thông thường khi đặc tả các chức năng của phần mềm người ta sử dụng các công cụ tiêu biểu sau–Biểu đồ luồng dữ liệu (Data Flow Diagrams)–Máy trạng. bất kỳ một tổ hợp các công cụ nói trên•Chất lượng của hồ sơ đặc tả đánh giá qua các tiêu thức–Tính rõ ràng, chính xác–Tính phù hợp–Tính đầy đủ, hoàn thiện