1. Trang chủ
  2. » Công Nghệ Thông Tin

Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu

75 31 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Tiêu đề quy trình xác định yêu cầu
Tác giả N.V. Vỵ, N.V. Hà
Trường học nxb thống kê
Chuyên ngành công nghệ phần mềm
Thể loại bài giảng
Định dạng
Số trang 75
Dung lượng 394,02 KB

Các công cụ chuyển đổi và chỉnh sửa cho tài liệu này

Nội dung

Bài giảng Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu, cung cấp cho người học những kiến thức như: Phân tích yêu cầu; Thẩm định yêu cầu; Một số phương pháp mô hình hóa; Làm bản mẫu trong phân tích;...Mời các bạn cùng tham khảo!

Trang 4

Kh¸i niÖm, tÇm quan träng

Trang 5

Gi¸ ph¶i tr¶ cho sù t×m vµ söa lçi

Trang 6

Qu¸ tr×nh h×nh thµnh yªu cÇu

Trang 8

Phân tích yêu cầu: các công đoạn

„ Xác định khách hàng, cùng khách hàng phát hiện các yêu cầu

„ Xây dựng mô hình phân tích (hiểu bài toán)

Trang 9

Khó khăn của phân tích

cầu

„ người phát triển phải chi tiết hóa thành các

yêu cầu phần mềm có thể phát triển được

„ người phát triển cần tỉnh táo để xác định đúng các yêu cầu (cái gì là cốt yếu, bền vững)

Trang 10

Khó khăn trong phân tích(t)

• Các yêu cầu thường mang tính đặc thù

- khó hiểu, khó định nghĩa

- không có chuẩn biểu diễn

• Hệ thống đa người sử dụng

- yêu cầu đa dạng, mức ưu tiên khác nhau

- yêu cầu mâu thuẫn nhau

Trang 11

Mục tiêu và yêu cầu

• Mục tiêu: là cái hướng tới

• Yêu cầu: là cái cụ thể kiểm tra được

chọn bằng menu"

nhiệm vụ của người phân tích là

xác định các yêu cầu

Trang 12

C¸c lo¹i yªu cÇu

m« t¶ mét chøc n¨ng (dÞch vô) cô thÓ

mµ phÇn mÒm cÇn cung cÊp

• Yªu cÇu phi chøc n¨ng

c¸c rµng buéc vÒ chÊt l−îng, vÒ m«i tr−êng,

• Yªu cÇu chøc n¨ng

Cã thÓ ph©n lo¹i yªu cÇu phÇn mÒm thµnh:

Trang 13

Yªu cÇu phi chøc n¨ng

• Yªu cÇu ngo¹i lai

Trang 14

TiÕn tr×nh ph©n tÝch yªu cÇu

Trang 15

Nguyªn lý ph©n tÝch 1

M« h×nh hãa miÒn th«ng tin

Ph¶i hiÓu vµ biÓu diÔn ®−îc miÒn th«ng tin

Trang 16

Nguyên lý phân tích 2

Mô hình hóa chức năng

Bản chất của phần mềm là biến đổi thông tin

„ định danh các chức năng (biến đổi thông tin)

„ xác định cách thức dữ liệu (thông tin) di chuyển

trong hệ thống (luồng dữ liệu)

„ xác định các tác nhân tạo dữ liệu và tác nhân tiêu

thụ dữ liệu (tác nhân)

Trang 17

Nguyên lý phân tích 3

Mô hình hóa hành vi

Phần mềm (hệ thống) có trạng thái (hành vi)

„ xác định các trạng thái của hệ thống

„ ví dụ: giao diện đồ họa, phần mềm điều khiển,…

„ xác định các dữ kiện làm thay đổi hành vi hệ thống

„ ví dụ: bàn phím, chuột, các cổng thông tin

Trang 19

Nguyên lý phân tích 5

Tim hiểu vấn đề bản chất

Trang 20

Ph−¬ng ph¸p thu thËp yªu cÇu

• Pháng vÊn

• Quan s¸t

• §iÒu tra b»ng b¶ng hái

• Nghiªn cøu tµi liÖu

• Joint Application Design - JAD

Trang 22

Các mức trừu tượng của yêu cầu

Yêu cầu nên được biểu diễn ở nhiều mức trừu tượng khác nhau

Có nhiều đối tượng người đọc:

• người sử dụng

• nhà quản lý

• lập trình viên

Trang 23

C¸c møc trõu t−îng cña yªu cÇu

• tµi liÖu cã cÊu tróc

• m« t¶ chi tiÕt, chÝnh x¸c vÒ yªu cÇu

Trang 24

VÝ dô: chøc n¨ng kiÓm tra chÝnh t¶

§Þnh nghÜa: th«ng b¸o c¸c lçi chÝnh t¶ cña v¨n b¶n

Trang 25

Đòi hỏi đối với đặc tả yêu cầu

• Tính đầy đủ

• Tính không được mâu thuẫn lẫn nhau

- mọi yêu cầu của người dùng phải được mô tả

• Tính chính xác: yêu cầu không được mơ hồ

- người phát triển sẽ làm cái nhỏ nhất

- chi phí phát sinh do sửa đổi yêu cầu rất cao

Trang 26

Thẩm định yêu cầu

1 Thỏa mãn được nhu cầu của người dùng

2 Yêu cầu không mâu thuẫn nhau

3 Yêu cầu phải đầy đủ (chức năng; ràng buộc)

4 Yêu cầu phải hiện thực

Nội dung cần thẩm định đặc tả yêu cầu:

Trang 27

Quan hÖ gi÷a ph©n tÝch vµ thiÕt kÕ

• Ph©n tÝch chØ nªn ®−a ra gi¶ sö tèi thiÓu

vÒ thiÕt kÕ hÖ thèng

• Yªu cÇu ph¶i kh«ng m©u thuÉn víi kü thuËt

m¸y tÝnh vµ tµi nguyªn hiÖn cã

Trang 30

Ví dụ: Biểu đồ phân rã chức năng

Trang 31

Biểu đồ luồng dữ liệu

Data Flow Diagram - DFD

Trang 32

DFD: Khái niệm

Tác nhân ngoài:

- đối t−ợng bên ngoài hệ thống

- phát sinh hoặc tiếp nhận thông tin

Luồng dữ liệu:

- luồng thông tin di chuyển trong hệ thống

Trang 33

DFD: Ký ph¸p

t¸c nh©n tiÕn tr×nhluång d÷ liÖukho d÷ liÖu

Cã nhiÒu c¸ch biÓu diÔn kh¸c nhau

Trang 34

DFD - C¸c b−íc x©y dùng

• Ph©n r· chøc n¨ng hÖ thèng

• LiÖt kª c¸c t¸c nh©n, c¸c kho¶n môc d÷ liÖu

• VÏ DFD cho c¸c møc

Trang 35

DFD – Mét sè nguyªn t¾c

• C¸c tiÕn tr×nh ph¶i cã luång vµo vµ luång ra

• Kh«ng cã luång d÷ liÖu trùc tiÕp gi÷a t¸c nh©nvíi t¸c nh©n hay kho d÷ liÖu

• Luång d÷ liÖu kh«ng quay l¹i n¬i xuÊt ph¸t

• B¾t ®Çu b»ng DFD møc 0, liÖt kª c¸c t¸c

nh©n ngoµi ë møc 0

Trang 38

DFD møc 1

Ph©n tÝch yªu cÇu

KiÓm tra giê tÇu

Ph¸t hµnh kh¸ch hµng

Trang 40

TÇm quan träng cña E-R

Trang 41

E-R: định nghĩa

Thực thể:

- là các đối tượng thế giới thực mà chúng ta

muốn xử lý

- có thể là đối tượng thực hoặc trừu tượng

Thuộc tính: đặc điểm của thực thể

Quan hệ:

- mối liên hệ giữa các thực thể

- là thông tin cần lưu trữ/xử lý

Trang 42

E-R: Ví dụ

sinh viên

địa chỉ

Trang 44

Lùc l−îng tham gia quan hÖ

object relationship object

Trang 45

E-R: Xác định thực thể và quan hệ

Thực thể:

- là các danh từ (trong câu mô tả yêu cầu)

- có các thuộc tính khóa (xác định duy nhất)

Quan hệ:

- hoạt động xẩy ra giữa các thực thể

- có nghĩa với hoạt động của hệ thống

- là động từ

Trang 47

Tõ ®iÓn d÷ liÖu

m« t¶ d÷ liÖu mµ hÖ thèng xö lý

miÒn gi¸ trÞ cña chóng (vd on/off)

c¸ch thøc xö lý d÷ liÖu

(CASE)

Trang 48

Kho¶n môc tõ ®iÓn d÷ liÖu

Trang 49

VÝ dô tõ ®iÓn d÷ liÖu

telephone number integrated office

phone system

Name:

Aliases:

Where/How used:

Description:

telephone number phone number, number read-phone-number (input) display-phone-number (output) analyze-long-distance-calls (input)

telephone no = [ local extension | outside no | 0 ] outside no = 9 + [ service code | domestic no ] service code = [ 211 | 411 | 611 | 911 ]

Build the requirements dictionary:

system output

Trang 50

2.3 Làm bản mẫu trong phân tích

Trong nhiều trường hợp, mô hình chạy thử là

phương pháp duy nhất để xác định yêu cầu

phần mềm lớn, phức tạp

bản mẫu (= trực quan)Các loại bản mẫu:

Trang 51

Các bước làm bản mẫu

Bước 1: Đánh giá yêu cầu và xác định

có nên làm bản mẫu không

Bước 2: Biểu diễn vắn tắt yêu cầu

yêu cầu chức năng/yêu cầu phi chức năng

Bước 3: Thiết kế nhanh

kiến trúc, cấu trúc dữ liệu

độ phức tạp, chủng loại, khách hàng

Trang 53

¦u ®iÓm

• Lo¹i bít hiÓu nhÇm

• Ph¸t hiÖn thiÕu hôt chøc n¨ng

• Ph¸t hiÖn c¸c ®iÓm yÕu:

• KiÓm tra tÝnh kh¶ thi/h÷u Ých

vd: so¹n th¶o kÐo theo kiÓm tra chÝnh t¶

- khã sö dông,

- thao t¸c kh«ng an toµn

- cã thÓ x©y dùng ®−îc kh«ng

Trang 54

Ưu điểm (t)

• Làm cơ sở cho đặc tả

• Huấn luyện người sử dụng

• Hỗ trợ kiểm thử (so sánh kết quả)

làm phần mềm giống như thế này, nhưng tốt hơn

Trang 55

Nhược điểm của bản mẫu

• Các yêu cầu phi chức năng thường không được thể hiện đầy đủ

• Làm tăng chi phí: cần phải ước lượng chính xácchi phí của bản mẫu

• Các yêu cầu thay đổi quá nhanh khiến bản mẫutrở nên vô nghĩa

• Người dùng không dùng bản mẫu theo cách

Trang 57

B¶n mÉu giao diÖn/ b¶n mÉu trùc quan

„ VB

„ Delphi, J Builder

„ FrontPage

cña nhiÒu nhãm, khã b¶o tr×

Trang 58

- có nhiều cách biểu diễn cho một khái niệm

khó phân hoạch, khó sửa đổi

Trang 60

§Æc t¶ h×nh thøc

<unsigned number> ::= <unsigned integer> | <unsigned real>

<unsigned integer> ::= <digit> {<digit>}

<unsigned real> ::= <unsigned integer> <digit> {<digit>} |

<unsigned integer> <digit> {<digit>} E <scale factor> |

<unsigned integer> E <scale factor>

<scale factor> ::= <unsigned integer> | <sign> <unsigned integer>

Trang 61

unsigned number

Trang 62

Đặc tả hình thức (t)

• Ưu điểm

tính chính xác (duy nhất) của định nghĩa

• Nh−ợc điểm

- khó hiểu, tốn thời gian mô tả

- không áp dụng đ−ợc với mọi bài toán

(các yêu cầu phi chức năng)

đúng đắn???

Trang 65

DFD, E-R, UML

võa dïng cho ph©n tÝch, võa h−íng tíi thiÕt kÕ

Trang 66

2.5 Tµi liÖu yªu cÇu

Trang 67

§Þnh d¹ng cña tµi liÖu yªu cÇu

Software Requirement Specification-SRS

Trang 68

định dạng của tài liệu yêu cầu (SRS)

1 Giới thiệu

1.1 Mục đích

1.2 Phạm vi

1.3 Định nghĩa (định nghĩa, từ viết tắt)

1.4 Tài liệu tham khảo

1.5 Mô tả cấu trúc tài liệu

Trang 69

2.5 Giả thiết và sự lệ thuộc

định dạng của tài liệu yêu cầu (SRS)

Trang 70

3 Yêu cầu chi tiết

3.1 Yêu cầu chức năng

3.1.1 Yêu cầu chức năng 13.1.1.1 Giới thiệu

3.1.1.2 Dữ liệu vào3.1.1.3 Xử lí

3.1.1.4 Kết quả

định dạng của tài liệu yêu cầu (SRS)

Trang 71

3 Yêu cầu chi tiết

3.2 Yêu cầu giao diện ngoài

3.2.1 Giao diện người dùng3.2.2 Giao diện phần cứng3.2.3 Giao diện phần mềm3.2.4 Giao diện truyền thông3.3 Yêu cầu hiệu suất

định dạng của tài liệu yêu cầu (SRS)

Trang 72

3 Yªu cÇu chi tiÕt

Trang 73

1 Ph©n tÝch yªu cÇu nghÜa lµ g×?

2 Môc tiªu cña ph©n tÝch yªu cÇu lµ g×?

3 C¸c c«ng ®o¹n cña tiÕn tr×nh ph©n tÝch yªu cÇu?

4 Nhøng khã kh¨n cña ph©n tÝch yªu cÇu?

5 Cã nh÷ng lo¹i yªu cÇu nµo?

6 Nªu nh÷ng yªu cÇu phi chøc n¨ng?

C©u hái «n tËp

Trang 74

8 Nêu các phương pháp thu thập thông tin về

yêu cầu?

9 Đặc tả yêu cầu cần có những tính chất gì?

10 Nội dung cần thẩm định yêu cầu là gì?

11.Các phương pháp mô hình hoá để phân tích

yêu cầu là những phương pháp nào?

Câu hỏi ôn tập

Trang 75

12.Phương pháp làm mẫu để xác định yêu cầu

có những ưu và nhược điểm gi ?

13.Những ngôn ngữ nào được dùng làm mẫu?

14 Có những loại phương pháp đặc tả nào?

Mô tả tóm tắt nội dung của nó?

15 Trình bày nội dung đặc tả yêu cầu theo chuẩn

IEEE 843-1984?

Câu hỏi ôn tập

Ngày đăng: 19/11/2021, 15:48

HÌNH ẢNH LIÊN QUAN

• Một số kỹ thuật mô hình hóa - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
t số kỹ thuật mô hình hóa (Trang 2)
„ phân tích, mô hình hóa - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
ph ân tích, mô hình hóa (Trang 4)
Quá trình hình thành yêu cầu - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
u á trình hình thành yêu cầu (Trang 6)
„ Xây dựng mô hình phân tích (hiểu bài toán) - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
y dựng mô hình phân tích (hiểu bài toán) (Trang 8)
Mô hình hóa chức năng - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
h ình hóa chức năng (Trang 16)
Mô hình hóa hành vi - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
h ình hóa hành vi (Trang 17)
Phân hoạch, làm mịn các mô hình - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
h ân hoạch, làm mịn các mô hình (Trang 18)
• Điều tra bằng bảng hỏi - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
i ều tra bằng bảng hỏi (Trang 20)
2.2 Một số ph−ơng pháp mô hình hóa - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
2.2 Một số ph−ơng pháp mô hình hóa (Trang 28)
khách hàng bảng giờ tầu - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
kh ách hàng bảng giờ tầu (Trang 38)
„ Ph−ơng pháp (văn phạm) có tính hình thức để - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
h −ơng pháp (văn phạm) có tính hình thức để (Trang 47)
Đặc tả hình thức (t) - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
c tả hình thức (t) (Trang 61)
Đặc tả hình thức (t) - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
c tả hình thức (t) (Trang 62)
Các ngôn ngữ đặc tả hình thức Đặc tả yêu cầu:  - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
c ngôn ngữ đặc tả hình thức Đặc tả yêu cầu: (Trang 63)
11.Các ph−ơng pháp mô hình hoá để phân tích - Bài giảng môn Công nghệ phần mềm - Chương 4: Quy trình xác định các yêu cầu
11. Các ph−ơng pháp mô hình hoá để phân tích (Trang 74)

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

🧩 Sản phẩm bạn có thể quan tâm