Chương 4 các yêu cầu của phần mềm

Chương Các yêu cầu phần mềm Bùi Thế Hồng Chư ng Các yêu c ầu c ph ần m ềm Mục tiêu Giới thiệu khái niệm yêu cầu hệ thống yêu cầu người sử dụng Mô tả yêu cầu chức không chức Giải thích cách tổ chức yêu cầu phần mềm tài liệu yêu cầu Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Công nghệ xác định yêu cầu Qui trình thiết lập dịch vụ khách hàng yêu cầu hệ thống phải thoả mãn với ràng buộc mà hệ thống hoạt động phát triển Bản thân yêu cầu mô tả dịch vụ ràng buộc hệ thống phát sinh trình công nghệ xác định yêu cầu Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Một yêu cầu gì? Nó mô tả tóm tắt mức cao dịch vụ ràng buộc hệ thống đặc tả toán học chi tiết Rõ ràng yêu cầu có chức kép Ví dụ: • • • Bùi Thế Hồng Có thể sở để đấu thầu hợp đồng – phải mở để tìm hiểu; Có thể sở cho hợp đồng – phải định nghĩa chi tiết; Cả hai điều gọi yêu cầu Chương Các yêu c ầu c ph ần m ềm Mô tả tóm tắt yêu cầu Nếu công ty muốn ký hợp đồng thực dự án phát triển m ột phần mềm lớn, công ty phải xác định nhu cầu m ột b ản tóm tắt chưa có giải pháp đềxuất trước Các yêu cầu phải viết để sở vài nhà thầu tham gia đấu th ầu, có l ẽ c ả cung c ấp cách khác đáp ứng nhu cầu công ty Một h ợp đồng công bố người chọn thầu phải viết tài liệu mô tả chi tiết hệ thống cần xây dựng nộp cho công ty gọi thầu đểcông ty xem xét có th ể ch ấp nh ận phần mềm sẽđược xây dựng Cả hai tài liệu có thểđược gọi tài liệu yêu cầu hệ thống Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Các kiểu yêu cầu khác Các yêu cầu người sử dụng • Các mô tả ngôn ngữ tự nhiên với lược đồ diễn tả dịch vụ mà hệ thống cung cấp ràng buộc vận hành hệ thống Những yêu cầu phải cung cấp cho khách hàng Các yêu cầu hệ thống • Bùi Thế Hồng Một tài liệu có cấu trúc tốt trình bày mô tả chi tiết chức năng, dịch vụ ràng buộc vận hành hệ thống Chương Các yêu c ầu c ph ần m ềm Các yêu cầu chức không-chức Các yêu cầu chức • Các mô tả dịch vụ mà hệ thống cung cấp, hệ thống phản ứng lại inputs đặc biệt hệ thống cư xử tình đặc biệt Các yêu cầu không-chức • Những ràng buộc dịch vụ chức hệ thống cung cấp chẳng hạn hạn chế thời gian, ràng buộc qui trình phát triển, tiêu chuẩn v.v Các yêu cầu lĩnh vực ứng dụng • Bùi Thế Hồng Những yêu cầu xuất phát từ lĩnh vực ứng dụng hệ thống phản ánh đặc trưng lĩnh vực Chương Các yêu c ầu c ph ần m ềm Các yêu cầu chức Mô tả dịch vụ chức hệ thống Phụ thuộc vào kiểu phần mềm, người sử dụng kiểu hệ thống nơi phần mềm cài đặt sử dụng Những yêu cầu chức người sử dụng trình bày tóm tắt công việc mà hệ thống phải làm yêu cầu chức hệ thống phải mô tả chi tiết dịch vụ hệ thống Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Tính không xác yêu cầu Các vấn đề xuất yêu cầu không đặt cách xác Những yêu cầu mập mờ làm cho người phát triển người sử dụng hiểu theo cách khác Hãy xem xét thuật ngữ ‘các cách nhìn thích hợp’ • • Bùi Thế Hồng Mục đích người sử dụng - cách nhìn đặc biệt kiểu tài liệu khác Cách hiểu người phát triển – cung cấp cách nhìn văn để nội dung tài liệu Chương Các yêu c ầu c ph ần m ềm Tính đầy đủ quán yêu cầu Về nguyên tắc, yêu cầu phải vừa đầy đủ vừa quán Đầy đủ • Chúng phải bao gồm mô tả tất tiện ích cần thiết Nhất quán • Phải điều trái ngược mâu thuẫn mô tả tiện ích hệ thống Trong thực tế, đưa tài liệu yêu cầu vừa đầy đủ lại vừa quán Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Những thay cho đặc tả ngôn ngữ tự nhiên N otation Descri ption Structured natural language This approach depends on defining standard forms or templates to express the requirements specification Design description languages This approach uses a language like a programming language but with more abstract features to specify the requirements by defining an operational model of the system This approach is not now widely used although it can be useful for interface specifications Graphical notations A graphical language, supplemented by text annotations is used to define the functional requirements for the system An early example of such a graphical language was SADT Now, use-case descriptions and sequence diagrams are commonly used Mathematical specifications These are notations based on mathematical concepts such as finite-state machines or sets These unambiguous specifications reduce the arguments between customer and contractor about system functionality However, most customers don’t understand formal specifications and are reluctant to accept it as a system contract Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Đặc tả ngôn ngữ có cấu trúc Sự tự người viết yêu cầu bị hạn chế mẫu định nghĩa trước cho yêu cầu Tất yêu cầu viết theo cách thức chuẩn Các thuật ngữ dùng mô tả bị hạn chế Ưu điểm hầu hết lực diễn tả ngôn ngữ tự nhiên bảo toàn mức độ đồng áp đặt lên mô tả Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Đặc tả form Định nghĩa chức thực thể Mô tả đầu vào nơi mà từ chúng đến Mô tả đầu nơi mà chúng đến Chỉ dẫn thực thể cần thiết Các điều kiện trước sau (nếu thích hợp) Các hiệu ứng phụ (nếu có) chức Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Đặc tả dạng bảng Được sử dụng để hỗ trợ cho ngôn ngữ tự nhiên Đặc biệt hữu ích phải định nghĩa số trình diễn biến thay hành động Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Đặc tả dạng bảng Condition Action Sugar level falling (r2 < r1) CompDose = Sugar level stable (r2 = r1) CompDose = Sugar level increasing and rate of increase decreasing ((r2-r1) > invalid card Withdraw request Am oun t request Balan ce requ est Balan ce Handle request Am ou nt Debit (am oun t) < < exception> > insufficien t cash Debit respon se Card Card rem oved Cash Cash rem oved Receipt Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Com plete transaction Đặc tả giao diện Hầu hết hệ thống phải hoạt động với hệ thống khác giao diện hoạt động phải đặc tả phần yêu cầu Ba kiểu giao diện phải định nghĩa • • • Các giao diện thủ tục; Các cấu truc liệu phải chuyển đổi; Các biểu diễn liệu Các ký hiệu hình thức kỹ thuật để đặc tả cádc giao diện Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Đặ tả giao diện máy phục vụ in tài liệu interface PrintServer { // defines an abstract printer server // requires: interface Printer, interface PrintDoc // provides: initialize, print, displayPrintQueue, cancelPrintJob, switchPrinter void initialize ( Printer p ) ; void print ( Printer p, PrintDoc d ) ; void displayPrintQueue ( Printer p ) ; void cancelPrintJob (Printer p, PrintDoc d) ; void switchPrinter (Printer p1, Printer p2, PrintDoc d) ; } //PrintServer Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Tài liệu yêu cầu Tài liệu yêu cầu mô tả thức yêu cầu người phát triển hệ thống Cần phải bao gồm định nghĩa yêu cầu từ người sử dụng đặc tả yêu cầu hệ thống Đây tài liệu thiết kế Càng chi tiết tốt, tài liệu yêu cầu cần phải xác định hệ thống phải làm không đề cập đến phải làm Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Người sử dụng tài liệu yêu cầu Bùi Thế Hồng System customers Speci fy the requi rements and read them to check that they meet thei r needs T hey specify changes to the requirements M anagers U se the requirements document to plan a bi d for the system and to pl an the system development process System eng ineers U se the requirements to understand what system i s to be developed System test eng ineers U se the requirements to devel op val idation tests for the system System mai ntenance eng ineers U se the requirements to help understand the system and the rel ationshi ps between i ts par ts Chương Các yêu c ầu c ph ần m ềm Cấu trúc tài liệu yêu cầu Lời nói đầu Giới thiệu Các thuật ngữ Định nghĩa yêu cầu người sử dụng Kiến trúc hệ thống Đặc tả yêu cầu hệ thống Các mô hình hệ thống Cải tiến hệ thống Các phụ lục Bảng dẫn (index) Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Các điểm chìa khoá Các yêu cầu đặt hệ thống phải làm xác định ràng buộc vận hành thực Các yêu cầu chức trình bày dịch vụ mà hệ thống cung cấp Các yêu cầu không-chức ràng buộc hệ thống phát triển qui trình phát triển Các yêu cầu người sử dụng mô tả tóm tắt hệ thống phải làm Các yêu cầu viết ngôn ngữ tự nhiên, biểu diễn bảng biểu đồ Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm Các điểm chìa khoá Các yêu cầu hệ thống truyền tải chức mà hệ thống cần cung cấp Một tài liệu yêu cầu phần mềm mô tả yêu cầu hệ thống Bùi Thế Hồng Chương Các yêu c ầu c ph ần m ềm [...]... các yêu cầu Sáng chế ra một format chuẩn và sử dụng nó cho tất cả các yêu cầu Sử dụng ngôn ngữ theo một phong cách nhất quán In đậm những phần chìa khoá của các yêu cầu Tránh dùng những thuật ngữ riêng của máy tính Bùi Thế Hồng Chương 4 Các yêu c ầu c ủa ph ần m ềm Các yêu cầu hệ thống Đặc tả của các chức năng, các dịch vụ và các ràng buộc của hệ thống cần phải chi tiết hơn so với các yêu cầu của người... //PrintServer Bùi Thế Hồng Chương 4 Các yêu c ầu c ủa ph ần m ềm Tài liệu các yêu cầu Tài liệu các yêu cầu là những mô tả chính thức của những gì được yêu cầu đối với người phát triển hệ thống Cần phải bao gồm cả định nghĩa của các yêu cầu từ người sử dụng và các đặc tả về các yêu cầu hệ thống Đây không phải là một tài liệu thiết kế Càng chi tiết càng tốt, tài liệu các yêu cầu cần phải xác định hệ thống... những yêu cầu chức năng Nếu những yêu cầu này không được đáp ứng thì hệ thống có thể không dùng được Bùi Thế Hồng Chương 4 Các yêu c ầu c ủa ph ần m ềm Phân loại các yêu cầu không-chức năng Các yêu cầu về sản phẩm • Những yêu cầu chỉ rõ sản phẩm được chuyển giao phải vận hành theo một tiêu chuẩn riêng nào đó, ví dụ về tốc độ thực hiện, độ tin cậy, v.v Các yêu cầu về tổ chức • Những yêu cầu là hệ quả của. .. hệ thống Các yêu cầu hệ thống có thể được định nghĩa hoặc minh hoạ bằng các mô hình hệ thống Bùi Thế Hồng Chương 4 Các yêu c ầu c ủa ph ần m ềm Các yêu cầu và thiết kế Về nguyên tắc, các yêu cầu cần xác đinh rõ hệ thống cần làm gì và thiết kế cần mô tả hệ thống sẽ làm như thế nào Trong thực tế, các yêu cầu và thiết kế không thể tách rời nhau Bùi Thế Hồng Chương 4 Các yêu c ầu c ủa ph ần m ềm Các vấn... quả của các chính sách và thủ tục tổ chức, ví dụ như các chuẩn qui trình đang được sử dụng, các yêu cầu về quá trình thực hiện, v.v Các yêu cầu ngoại lai • Bùi Thế Hồng Những yêu cầu xuất phát từ những nhân tố bên ngoại hệ thống và qui trình phát triển của nó, ví dụ như những yêu cầu liên kết với bên ngoài, những yêu cầu về luật pháp, v.v Chương 4 Các yêu c ầu c ủa ph ần m ềm Các kiểu yêu cầu không-chức.. .Các yêu cầu không-chức năng Những yêu cầu này định nghĩa các đặc tính và các ràng buộc của hệ thống, ví dụ độ tin cậy, thời gian đáp ứng và những yêu cầu về bộ nhớ Các ràng buộc là khả năng của thiết bị I/O, cách trình diễn của hệ thống, v.v Các yêu cầu về qui trình cũng có thể được đặc tả bằng một hệ thống CASE, một ngôn ngữ lập trình hoặc một phương pháp phát triển nào đó Các yêu cầu không-chức... được • • Các yêu cầu phải được diễn tả bằng ngôn ngữ của lĩnh vực ứng dụng; Thường thì các kỹ sư phát triển hệ thống rất khó khăn để hiểu được những yêu cầu về lĩnh vực ứng dụng Tính ẩn ý • Bùi Thế Hồng Các chuyên gia thuộc lĩnh vực ứng dụng thông hiểu lĩnh vực của họ đến mức cho rằng không cần phải nêu rõ những yêu cầu về lĩnh vực ứng dụng Chương 4 Các yêu c ầu c ủa ph ần m ềm Các yêu cầu của người... nhiều chips hơn Yêu cầu nào là quan trọng hơn? Chương 4 Các yêu c ầu c ủa ph ần m ềm Các yêu cầu lĩnh vực ứng dụng Phát sinh từ lĩnh vực ứng dụng và mô tả những đặc trưng và tính năng hệ thống phản ánh lĩnh vực ứng dụng này Nếu các yêu cầu lĩnh vực không được xác định thì hệ thống có thể sẽ không thể vận hành được Bùi Thế Hồng Chương 4 Các yêu c ầu c ủa ph ần m ềm Các vấn đề đối với yêu cầu lĩnh vực Tính... accept it as a system contract Bùi Thế Hồng Chương 4 Các yêu c ầu c ủa ph ần m ềm Đặc tả bằng ngôn ngữ có cấu trúc Sự tự do của người viết các yêu cầu bị hạn chế trong các bản mẫu đã định nghĩa trước cho các yêu cầu Tất cả các yêu cầu được viết theo một cách thức chuẩn Các thuật ngữ được dùng trong mô tả có thể bị hạn chế Ưu điểm là hầu hết năng lực diễn tả của ngôn ngữ tự nhiên đều được bảo toàn nhưng... rem oved Receipt Bùi Thế Hồng Chương 4 Các yêu c ầu c ủa ph ần m ềm Com plete transaction Đặc tả giao diện Hầu hết các hệ thống đều phải hoạt động cùng với các hệ thống khác và các giao diện hoạt động phải được đặc tả như một phần của các yêu cầu Ba kiểu giao diện có thể phải định nghĩa • • • Các giao diện thủ tục; Các cấu truc dữ liệu phải chuyển đổi; Các biểu diễn dữ liệu Các ký hiệu hình thức là một