(cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:2)(cid:8)(cid:6)(cid:9)(cid:10)(cid:11)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:17)(cid:9) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:2)(cid:8)(cid:6)(cid:9)(cid:10)(cid:11)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:17)(cid:9) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:2)(cid:8)(cid:6)(cid:9)(cid:10)(cid:11)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:17)(cid:9) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:2)(cid:8)(cid:6)(cid:9)(cid:10)(cid:11)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:17)(cid:9) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:8)(cid:9)(cid:10)(cid:8)(cid:11)(cid:2)(cid:6)(cid:12)(cid:13)(cid:14)(cid:2)(cid:6)(cid:15)(cid:3)(cid:8)(cid:1) (cid:16)(cid:17)(cid:10)(cid:9)(cid:18)(cid:14)(cid:2)(cid:6)(cid:15)(cid:3)(cid:19)(cid:8)(cid:20)(cid:2)(cid:15) (cid:21)(cid:12)(cid:9)(cid:17)(cid:22) (cid:23)(cid:17)(cid:15)(cid:24)(cid:13)(cid:18)(cid:25)(cid:15)(cid:6)(cid:7)(cid:19) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:8)(cid:9)(cid:10)(cid:8)(cid:11)(cid:2)(cid:6)(cid:12)(cid:13)(cid:14)(cid:2)(cid:6)(cid:15)(cid:3)(cid:8)(cid:1) (cid:16)(cid:17)(cid:10)(cid:9)(cid:18)(cid:14)(cid:2)(cid:6)(cid:15)(cid:3)(cid:19)(cid:8)(cid:20)(cid:2)(cid:15) (cid:21)(cid:12)(cid:9)(cid:17)(cid:22) (cid:23)(cid:17)(cid:15)(cid:24)(cid:13)(cid:18)(cid:25)(cid:15)(cid:6)(cid:7)(cid:19)

(cid:1)(cid:2)(cid:3)(cid:4)(cid:1)(cid:2)(cid:3)(cid:4) (cid:3)(cid:4)(cid:5)(cid:6)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:5)(cid:8)(cid:3)(cid:7)(cid:5)(cid:8)(cid:3) (cid:9)(cid:10)(cid:9)(cid:9)(cid:10)(cid:9) (cid:1)(cid:2)(cid:3)(cid:4)(cid:1)(cid:2)(cid:3)(cid:4) (cid:3)(cid:4)(cid:5)(cid:6)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:5)(cid:8)(cid:3)(cid:7)(cid:5)(cid:8)(cid:3) (cid:9)(cid:10)(cid:9)(cid:9)(cid:10)(cid:9) (cid:18)(cid:18)(cid:18)(cid:18)(cid:18)(cid:18)(cid:18)(cid:18)(cid:19)(cid:8)(cid:6)(cid:5)(cid:10)(cid:20)(cid:21)(cid:22)(cid:6)(cid:16)(cid:10)(cid:8)(cid:9)(cid:6)(cid:10)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:23) (cid:19)(cid:8)(cid:6)(cid:5)(cid:10)(cid:20)(cid:21)(cid:22)(cid:6)(cid:16)(cid:10)(cid:8)(cid:9)(cid:6)(cid:10)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:23) (cid:19)(cid:8)(cid:6)(cid:5)(cid:10)(cid:20)(cid:21)(cid:22)(cid:6)(cid:16)(cid:10)(cid:8)(cid:9)(cid:6)(cid:10)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:23) (cid:19)(cid:8)(cid:6)(cid:5)(cid:10)(cid:20)(cid:21)(cid:22)(cid:6)(cid:16)(cid:10)(cid:8)(cid:9)(cid:6)(cid:10)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:23) (cid:19)(cid:8)(cid:6)(cid:5)(cid:10)(cid:20)(cid:21)(cid:22)(cid:6)(cid:16)(cid:10)(cid:8)(cid:9)(cid:6)(cid:10)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:23) (cid:19)(cid:8)(cid:6)(cid:5)(cid:10)(cid:20)(cid:21)(cid:22)(cid:6)(cid:16)(cid:10)(cid:8)(cid:9)(cid:6)(cid:10)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:23) (cid:19)(cid:8)(cid:6)(cid:5)(cid:10)(cid:20)(cid:21)(cid:22)(cid:6)(cid:16)(cid:10)(cid:8)(cid:9)(cid:6)(cid:10)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:23) (cid:19)(cid:8)(cid:6)(cid:5)(cid:10)(cid:20)(cid:21)(cid:22)(cid:6)(cid:16)(cid:10)(cid:8)(cid:9)(cid:6)(cid:10)(cid:9)(cid:12)(cid:10)(cid:11)(cid:6)(cid:13)(cid:4)(cid:5)(cid:2)(cid:9)(cid:14)(cid:8)(cid:15)(cid:16)(cid:8)(cid:2)(cid:2)(cid:5)(cid:16)(cid:8)(cid:15)(cid:23)

Ph(cid:1)nPh(cid:1)n III:

dùng ng(cid:2)(cid:3)i dùng

III: YêuYêu c(cid:1)uc(cid:1)u ng(cid:2)(cid:3)i User’s Requirements User’s Requirements User’s Requirements User’s Requirements

Editor: LÊ (cid:4)(cid:5)C NH(cid:6)(cid:7) NG Email: Nhuongld@yahoo.com Email: Nhuongld@yahoo.com

Phone: 0987394900

(cid:2)(cid:3)(cid:4)

Nhuongld. Software Engineering, 2007

Ch(cid:2)(cid:8)ng Ch(cid:2)(cid:8)ng 55 Ch(cid:2)(cid:8)ng 55 Ch(cid:2)(cid:8)ng

5.1. K(cid:1) thu(cid:2)t xác (cid:3)(cid:4)nh yêu c(cid:5)u

5.2. 5.2. N(cid:6)i dung xác (cid:3)(cid:4)nh yêu c(cid:5)u N(cid:6)i dung xác (cid:3)(cid:4)nh yêu c(cid:5)u

(cid:2)(cid:3)(cid:5)

5.3. Các nguyên lý phân tích yêu c(cid:5)u

Nhuongld. Software Engineering, 2007

thu(cid:10)t xácxác (cid:11)(cid:12)nh(cid:11)(cid:12)nh yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m

5.1. K(cid:9)K(cid:9) thu(cid:10)t 5.1. SW Requirements Engineering SW Requirements Engineering SW Requirements Engineering SW Requirements Engineering

Yêu c(cid:1)u ph(cid:1)n m(cid:13)m: là t(cid:7)t c(cid:8) các yêu c(cid:5)u v(cid:9) ph(cid:5)m m(cid:9)m do

khách hàng - ng(cid:10)(cid:11)i s(cid:12) d(cid:13)ng ph(cid:5)n m(cid:9)m - nêu ra, bao g(cid:14)m:

Các ch(cid:15)c n(cid:16)ng c(cid:17)a ph(cid:5)n m(cid:9)m, Các ch(cid:15)c n(cid:16)ng c(cid:17)a ph(cid:5)n m(cid:9)m,

Hi(cid:18)u n(cid:16)ng c(cid:17)a ph(cid:5)n m(cid:9)m,

Các yêu c(cid:5)u v(cid:9) thi(cid:19)t k(cid:19) và giao di(cid:18)n, Các yêu c(cid:5)u v(cid:9) thi(cid:19)t k(cid:19) và giao di(cid:18)n,

(cid:2)(cid:3)(cid:6)

Các yêu c(cid:5)u (cid:3)(cid:20)c bi(cid:18)t khác

Nhuongld. Software Engineering, 2007

thu(cid:10)t xácxác (cid:11)(cid:12)nh(cid:11)(cid:12)nh yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m

5.1. K(cid:9)K(cid:9) thu(cid:10)t 5.1. SW Requirements Engineering SW Requirements Engineering SW Requirements Engineering SW Requirements Engineering

Thông th(cid:10)(cid:11)ng các yêu c(cid:5)u ph(cid:5)n m(cid:9)m (cid:3)(cid:10)(cid:21)c phân lo(cid:22)i theo 4

thành ph(cid:5)n c(cid:17)a ph(cid:5)n m(cid:9)m:

Các yêu c(cid:1)u v(cid:13) ph(cid:1)n m(cid:13)m (Software)

Các yêu c(cid:1)u v(cid:13) ph(cid:1)n c(cid:14)ng (Hardware)

Các yêu c(cid:1)u v(cid:13) d(cid:15) li(cid:16)u (Data) Các yêu c(cid:1)u v(cid:13) d(cid:15) li(cid:16)u (Data)

Các yêu c(cid:1)u v(cid:13) con ng(cid:2)(cid:3)i (People, Users)

M(cid:1)c (cid:2)ích: m(cid:13)c (cid:3)ích c(cid:17)a yêu c(cid:5)u ph(cid:5)n m(cid:9)m là xác (cid:3)(cid:4)nh (cid:3)(cid:10)(cid:21)c M(cid:1)c (cid:2)ích: m(cid:13)c (cid:3)ích c(cid:17)a yêu c(cid:5)u ph(cid:5)n m(cid:9)m là xác (cid:3)(cid:4)nh (cid:3)(cid:10)(cid:21)c

ph(cid:5)n m(cid:9)m (cid:3)áp (cid:15)ng (cid:3)(cid:10)(cid:21)c các yêu c(cid:5)u và mong mu(cid:23)n c(cid:17)a

(cid:2)(cid:3)(cid:7)

khách hàng - ng(cid:10)(cid:11)i s(cid:12) d(cid:13)ng ph(cid:5)n m(cid:9)m khách hàng - ng(cid:10)(cid:11)i s(cid:12) d(cid:13)ng ph(cid:5)n m(cid:9)m

Nhuongld. Software Engineering, 2007

T(cid:17)iT(cid:17)i saosao c(cid:1)nc(cid:1)n ph(cid:18)iph(cid:18)i (cid:11)(cid:19)t(cid:11)(cid:19)t rara yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m ?? T(cid:17)iT(cid:17)i saosao c(cid:1)nc(cid:1)n ph(cid:18)iph(cid:18)i (cid:11)(cid:19)t(cid:11)(cid:19)t rara yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m ??

(cid:1) Khách hàng ch(cid:24) có nh(cid:25)ng ý t(cid:10)(cid:26)ng còn m(cid:27) h(cid:14) v(cid:9) ph(cid:5)n m(cid:9)m

c(cid:5)n ph(cid:8)i xây d(cid:28)ng (cid:3)(cid:29) ph(cid:13)c v(cid:13) công vi(cid:18)c c(cid:17)a h(cid:30), chúng ta ph(cid:8)i

s(cid:31)n sàng, kiên trì theo (cid:3)u i (cid:3)(cid:29) (cid:3)i t! các ý t(cid:10)(cid:26)ng m(cid:27) h(cid:14) (cid:3)ó (cid:3)(cid:19)n s(cid:31)n sàng, kiên trì theo (cid:3)u i (cid:3)(cid:29) (cid:3)i t! các ý t(cid:10)(cid:26)ng m(cid:27) h(cid:14) (cid:3)ó (cid:3)(cid:19)n

(cid:1) Khách hàng r(cid:7)t hay thay (cid:3) i các (cid:3)òi h"i c(cid:17)a mình, chúng ta Khách hàng r(cid:7)t hay thay (cid:3) i các (cid:3)òi h"i c(cid:17)a mình, chúng ta

“Ph(cid:5)n m(cid:9)m có (cid:3)(cid:5)y (cid:3)(cid:17) các tính n(cid:16)ng c(cid:5)n thi(cid:19)t”

n#m b#t (cid:3)(cid:10)(cid:21)c các thay (cid:3) i (cid:3)ó và s(cid:12)a (cid:3) i các mô t(cid:8) m(cid:6)t cách

(cid:2)(cid:3)(cid:8)

h(cid:21)p lý

Nhuongld. Software Engineering, 2007

dung xácxác (cid:11)(cid:12)nh(cid:11)(cid:12)nh yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m

5.2. N(cid:20)iN(cid:20)i dung 5.2. Contents of Requirements Engineering Contents of Requirements Engineering Contents of Requirements Engineering Contents of Requirements Engineering

Phát hi(cid:18)n các yêu c(cid:5)u ph(cid:5)n m(cid:9)m (Requirements elicitation)

Phân tích các yêu c(cid:5)u ph(cid:5)n m(cid:9)m và th(cid:10)(cid:27)ng l(cid:10)(cid:21)ng v$i

khách hàng (Requirements analysis and negotiation)

Mô t(cid:8) các yêu c(cid:5)u ph(cid:5)n m(cid:9)m (Requirements specification)

Mô hình hóa h(cid:18) th(cid:23)ng (System modeling) Mô hình hóa h(cid:18) th(cid:23)ng (System modeling)

Ki(cid:29)m tra tính h(cid:21)p lý các yêu c(cid:5)u ph(cid:5)n m(cid:9)m (Requirements

validation)

các Qu(cid:8)n tr(cid:4) yêu c(cid:5)u ph(cid:5)n m(cid:9)m (Requirements

(cid:2)(cid:3)(cid:9)

management)

Nhuongld. Software Engineering, 2007

QuyQuy trình QuyQuy trình

trình xácxác (cid:11)(cid:12)nh(cid:11)(cid:12)nh yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m trình xácxác (cid:11)(cid:12)nh(cid:11)(cid:12)nh yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m

Build a Build a Build a Build a prototype prototype

the problem the problem

Review Review

Requirements Requirements elicitation elicitation

Develop specification

Create Create Create Create analysis analysis models models

(cid:2)(cid:3)(cid:10)

Nhuongld. Software Engineering, 2007

The Analysis Model The Analysis Model The Analysis Model The Analysis Model

Data Model

Functional Model

Behavioral Model

(cid:2)(cid:3)(cid:11)

Nhuongld. Software Engineering, 2007

5.2.1. PhátPhát hi(cid:16)nhi(cid:16)n yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m 5.2.1. (Requirements Elicitation) (Requirements Elicitation) (Requirements Elicitation) (Requirements Elicitation)

Các v(cid:7)n (cid:3)(cid:9) c(cid:17)a phát hi(cid:18)n yêu c(cid:5)u ph(cid:5)n m(cid:9)m (Problems) Các v(cid:7)n (cid:3)(cid:9) c(cid:17)a phát hi(cid:18)n yêu c(cid:5)u ph(cid:5)n m(cid:9)m (Problems)

Ph(cid:22)m vi c(cid:17)a ph(cid:5)n m(cid:9)m (Scope)

Hi(cid:29)u rõ ph(cid:5)n m(cid:9)m (Understanding)

(cid:2)(cid:3)(cid:12)

Các thay (cid:3) i c(cid:17)a h(cid:18) th(cid:23)ng (Volatility)

Nhuongld. Software Engineering, 2007

Ph(cid:2)(cid:8)ng pháppháp phátphát hi(cid:16)nhi(cid:16)n yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m Ph(cid:2)(cid:8)ng Requirements Elicitation Methodology Requirements Elicitation Methodology Methodology Requirements Elicitation Methodology Requirements Elicitation

Xác (cid:3)(cid:4)nh các ph(cid:10)(cid:27)ng pháp s(cid:12) d(cid:13)ng phát hi(cid:18)n các yêu c(cid:5)u ph(cid:5)n m(cid:9)m: ph"ng v(cid:7)n, làm vi(cid:18)c nhóm, các bu i h(cid:30)p, g(cid:20)p g% (cid:3)(cid:23)i tác, v.v. m(cid:9)m: ph"ng v(cid:7)n, làm vi(cid:18)c nhóm, các bu i h(cid:30)p, g(cid:20)p g% (cid:3)(cid:23)i tác, v.v.

Tìm ki(cid:19)m các nhân s(cid:28) (chuyên gia, ng(cid:10)(cid:11)i s(cid:12) d(cid:13)ng) có nh(cid:25)ng hi(cid:29)u bi(cid:19)t sâu s#c nh(cid:7)t, chi ti(cid:19)t nh(cid:7)t v(cid:9) h(cid:18) th(cid:23)ng giúp chúng ta xác (cid:3)(cid:4)nh bi(cid:19)t sâu s#c nh(cid:7)t, chi ti(cid:19)t nh(cid:7)t v(cid:9) h(cid:18) th(cid:23)ng giúp chúng ta xác (cid:3)(cid:4)nh yêu c(cid:5)u ph(cid:5)n m(cid:9)m

Xác (cid:3)(cid:4)nh “môi tr(cid:10)(cid:11)ng k(cid:1) thu(cid:2)t - technical environment”

Xác (cid:3)(cid:4)nh các “ràng bu(cid:6)c l&nh v(cid:28)c domain constraints”

Thu hút s(cid:28) tham gia c(cid:17)a nhi(cid:9)u chuyên gia, khách hàng (cid:3)(cid:29) chúng ta có (cid:3)(cid:10)(cid:21)c các quan (cid:3)i(cid:29)m xem xét ph(cid:5)n m(cid:9)m khác nhau t! phía có (cid:3)(cid:10)(cid:21)c các quan (cid:3)i(cid:29)m xem xét ph(cid:5)n m(cid:9)m khác nhau t! phía khách hàng

Thi(cid:19)t k(cid:19) các k(cid:4)ch b(cid:8)n s(cid:12) d(cid:13)ng c(cid:17)a ph(cid:5)n m(cid:9)m

(cid:2)(cid:3)(cid:4)(cid:13)

Nhuongld. Software Engineering, 2007

(output) c(cid:22)ac(cid:22)a

S(cid:18)nS(cid:18)n ph(cid:21)mph(cid:21)m (output) ““phátphát hi(cid:16)nhi(cid:16)n yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m”” ““phátphát hi(cid:16)nhi(cid:16)n yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m””

(cid:1) B(cid:8)ng kê (statement) các (cid:3)òi h"i và ch(cid:15)c n(cid:16)ng kh(cid:8) thi c(cid:17)a

(cid:1) B(cid:8)ng kê ph(cid:22)m vi (cid:15)ng d(cid:13)ng c(cid:17)a ph(cid:5)n m(cid:9)m

(cid:1) Mô t(cid:8) môi tr(cid:10)(cid:11)ng k(cid:1) thu(cid:2)t c(cid:17)a ph(cid:5)n m(cid:9)m (cid:1) Mô t(cid:8) môi tr(cid:10)(cid:11)ng k(cid:1) thu(cid:2)t c(cid:17)a ph(cid:5)n m(cid:9)m

(cid:1) B(cid:8)ng kê t(cid:2)p h(cid:21)p các k(cid:4)ch b(cid:8)n s(cid:12) d(cid:13)ng c(cid:17)a ph(cid:5)n m(cid:9)m

(cid:1) Các nguyên m’u xây d(cid:28)ng, phát tri(cid:29)n hay s(cid:12) d(cid:13)ng trong (cid:1) Các nguyên m’u xây d(cid:28)ng, phát tri(cid:29)n hay s(cid:12) d(cid:13)ng trong

ph(cid:5)n m(cid:9)m ph(cid:5)n m(cid:9)m

(cid:1) Danh sách nhân s(cid:28) tham gia vào quá trình phát hi(cid:18)n các yêu c(cid:5)u ph(cid:5)n m(cid:9)m - k(cid:29) c(cid:8) các nhân s(cid:28) t! phía công ty- khách c(cid:5)u ph(cid:5)n m(cid:9)m - k(cid:29) c(cid:8) các nhân s(cid:28) t! phía công ty- khách hàng

(cid:2)(cid:3)(cid:4)(cid:4)

ph(cid:5)n m(cid:9)m (n(cid:19)u có)

Nhuongld. Software Engineering, 2007

khách hànghàng khách hànghàng

5.2.2. PhânPhân tíchtích cáccác yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m vàvà 5.2.2. th(cid:2)(cid:8)ng th(cid:2)(cid:8)ng l(cid:2)(cid:23)ng th(cid:2)(cid:8)ng l(cid:2)(cid:23)ng th(cid:2)(cid:8)ng

l(cid:2)(cid:23)ng v(cid:24)iv(cid:24)i khách l(cid:2)(cid:23)ng v(cid:24)iv(cid:24)i khách

Customer Customer Customer Customer Group Group Group Group

Software Software Engineering Engineering Engineering Engineering Group Group

(cid:2)(cid:3)(cid:4)(cid:5)

Nhuongld. Software Engineering, 2007

Requirements Analysis and Negotiation Requirements Analysis and Negotiation Requirements Analysis and Negotiation Requirements Analysis and Negotiation

(cid:1) Phân lo(cid:22)i các yêu c(cid:5)u ph(cid:5)n m(cid:9)m và s#p x(cid:19)p chúng theo

(cid:1) Kh(cid:8)o sát t(cid:24) m(cid:24) t!ng yêu c(cid:5)u ph(cid:5)n m(cid:9)m trong m(cid:23)i quan h(cid:18) (cid:1) Kh(cid:8)o sát t(cid:24) m(cid:24) t!ng yêu c(cid:5)u ph(cid:5)n m(cid:9)m trong m(cid:23)i quan h(cid:18)

các nhóm liên quan

(cid:1) Th(m (cid:3)(cid:4)nh t!ng yêu c(cid:5)u ph(cid:5)n m(cid:9)m theo các tính ch(cid:7)t: phù (cid:1) Th(m (cid:3)(cid:4)nh t!ng yêu c(cid:5)u ph(cid:5)n m(cid:9)m theo các tính ch(cid:7)t: phù

c(cid:17)a nó v$i các yêu c(cid:5)u ph(cid:5)n m(cid:9)m khác

(cid:1) Phân c(cid:7)p các yêu c(cid:5)u ph(cid:5)n m(cid:9)m theo d(cid:28)a trên nhu c(cid:5)u và

h(cid:21)p, (cid:3)(cid:5)y (cid:3)(cid:17), rõ ràng, không trùng l(cid:20)p

(cid:2)(cid:3)(cid:4)(cid:6)

(cid:3)òi h"i khách hàng / ng(cid:10)(cid:11)i s(cid:12) d(cid:13)ng

Nhuongld. Software Engineering, 2007

Requirements Analysis and Negotiation Requirements Analysis and Negotiation Requirements Analysis and Negotiation Requirements Analysis and Negotiation

(cid:1) Th(m (cid:3)(cid:4)nh t!ng yêu c(cid:5)u ph(cid:5)m m(cid:9)m (cid:3)(cid:29) xác (cid:3)(cid:4)nh chúng có kh(cid:8) n(cid:16)ng th(cid:28)c hi(cid:18)n (cid:3)(cid:10)(cid:21)c trong môi tr(cid:10)(cid:11)ng k(cid:1) thu(cid:2)t hay không, có n(cid:16)ng th(cid:28)c hi(cid:18)n (cid:3)(cid:10)(cid:21)c trong môi tr(cid:10)(cid:11)ng k(cid:1) thu(cid:2)t hay không, có kh(cid:8) n(cid:16)ng ki(cid:29)m (cid:3)(cid:4)nh các yêu c(cid:5)u ph(cid:5)n m(cid:9)m hay không?

(cid:1) Th(m (cid:3)(cid:4)nh các r(cid:17)i ro có th(cid:29) x(cid:8)y ra v$i t!ng yêu c(cid:5)u ph(cid:5)n m(cid:9)m (cid:1) Th(m (cid:3)(cid:4)nh các r(cid:17)i ro có th(cid:29) x(cid:8)y ra v$i t!ng yêu c(cid:5)u ph(cid:5)n m(cid:9)m

(cid:1) )ánh giá thô (t(cid:10)(cid:27)ng (cid:3)(cid:23)i) v(cid:9) giá thành và th(cid:11)i gian th(cid:28)c hi(cid:18)n c(cid:17)a t!ng yêu c(cid:5)u ph(cid:5)n m(cid:9)m trong giá thành s(cid:8)n ph(m ph(cid:5)n c(cid:17)a t!ng yêu c(cid:5)u ph(cid:5)n m(cid:9)m trong giá thành s(cid:8)n ph(m ph(cid:5)n m(cid:9)m và th(cid:11)i gian th(cid:28)c hi(cid:18)n ph(cid:5)n m(cid:9)m

(cid:1) Gi(cid:8)i quy(cid:19)t t(cid:7)t c(cid:8) các b(cid:7)t (cid:3)(cid:14)ng v(cid:9) yêu c(cid:5)u ph(cid:5)n m(cid:9)m v$i khách Gi(cid:8)i quy(cid:19)t t(cid:7)t c(cid:8) các b(cid:7)t (cid:3)(cid:14)ng v(cid:9) yêu c(cid:5)u ph(cid:5)n m(cid:9)m v$i khách hàng / ng(cid:10)(cid:11)i s(cid:12) d(cid:13)ng trên c(cid:27) s(cid:26) th(cid:8)o lu(cid:2)n và th(cid:10)(cid:27)ng l(cid:10)(cid:21)ng các yêu c(cid:5)u (cid:3)(cid:9) ra

(cid:2)(cid:3)(cid:4)(cid:7)

Nhuongld. Software Engineering, 2007

5.2.3. 5.2.3. (cid:4)(cid:19)c(cid:4)(cid:19)c t(cid:18)t(cid:18) yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m 5.2.3. (cid:4)(cid:19)c(cid:4)(cid:19)c t(cid:18)t(cid:18) yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m 5.2.3.

(cid:1) )(cid:20)c t(cid:8) các yêu c(cid:5)u ph(cid:5)n m(cid:9)m là công vi(cid:18)c xây d(cid:28)ng các tài

li(cid:18)u (cid:3)(cid:20)c t(cid:8), trong (cid:3)ó có th(cid:29) s(cid:12) d(cid:13)ng t$i các công c(cid:13) nh(cid:10): mô

hình hóa, mô hình toán h(cid:30)c hình th(cid:15)c (a formal mathematical

model), t(cid:2)p h(cid:21)p các k(cid:4)ch b(cid:8)n s(cid:12) d(cid:13)ng, các nguyên m’u ho(cid:20)c

(cid:1) Ch(cid:7)t l(cid:10)(cid:21)ng c(cid:17)a h(cid:14) s(cid:27) (cid:3)(cid:20)c t(cid:8) (cid:3)ánh giá qua các tiêu th(cid:15)c:

Tính rõ ràng, chính xác

Tính phù h(cid:21)p

Tính (cid:3)(cid:5)y (cid:3)(cid:17), hoàn thi(cid:18)n

(cid:2)(cid:3)(cid:4)(cid:8)

b(cid:7)t k* m(cid:6)t t h(cid:21)p các công c(cid:13) nói trên

Nhuongld. Software Engineering, 2007

Requirements Specification Requirements Specification Requirements Specification Requirements Specification

(cid:1) Các thành ph(cid:1)n c(cid:22)a h(cid:25) s(cid:8) (cid:11)(cid:19)c t(cid:18)

(cid:1) )(cid:20)c t(cid:8) phi hình th(cid:15)c (Informal specifications) (cid:3)(cid:10)(cid:21)c vi(cid:19)t

(cid:1) )(cid:20)c t(cid:8) hình th(cid:15)c (Formal specifications) (cid:3)(cid:10)(cid:21)c vi(cid:19)t b+ng t(cid:2)p (cid:1) )(cid:20)c t(cid:8) hình th(cid:15)c (Formal specifications) (cid:3)(cid:10)(cid:21)c vi(cid:19)t b+ng t(cid:2)p các ký pháp có các quy (cid:3)(cid:4)nh v(cid:9) cú pháp (syntax) và ý ngh(cid:1)a (sematic) r(cid:2)t ch(cid:3)t ch(cid:4)

(cid:1) )(cid:20)c t(cid:8) v(cid:2)n hành ch(cid:15)c n(cid:16)ng (Operational specifications) mô

b+ng ngôn ng(cid:25) t(cid:28) nhiên

(cid:1) )(cid:20)c t(cid:8) mô t(cid:8) (Descriptive specifications) – (cid:3)(cid:20)c t(cid:8) các (cid:3)(cid:20)c (cid:1) )(cid:20)c t(cid:8) mô t(cid:8) (Descriptive specifications) – (cid:3)(cid:20)c t(cid:8) các (cid:3)(cid:20)c

t(cid:8) các ho(cid:22)t (cid:3)(cid:6)ng c(cid:17)a h(cid:18) th(cid:23)ng ph(cid:5)n m(cid:9)m s, xây d(cid:28)ng

(cid:2)(cid:3)(cid:4)(cid:9)

tính (cid:3)(cid:20)c tr(cid:10)ng c(cid:17)a ph(cid:5)n m(cid:9)m

Nhuongld. Software Engineering, 2007

Requirements Specification Requirements Specification Requirements Specification Requirements Specification

(cid:1) (cid:4)(cid:19)c t(cid:18) ch(cid:14)c n(cid:26)ng (Operational Specifications):

Bi(cid:29)u (cid:3)(cid:14) lu(cid:14)ng d(cid:25) li(cid:18)u (Data Flow Diagrams) Bi(cid:29)u (cid:3)(cid:14) lu(cid:14)ng d(cid:25) li(cid:18)u (Data Flow Diagrams)

Máy tr(cid:22)ng thái h(cid:25)u h(cid:22)n (Finite State Machines)

M(cid:22)ng Petri (Petri nets)

(cid:1) (cid:4)(cid:19)c t(cid:18) mô t(cid:18) (Descriptive Specifications)

Thông th(cid:10)(cid:11)ng khi (cid:3)(cid:20)c t(cid:8) các ch(cid:15)c n(cid:16)ng c(cid:17)a ph(cid:5)n m(cid:9)m ng(cid:10)(cid:11)i Thông th(cid:10)(cid:11)ng khi (cid:3)(cid:20)c t(cid:8) các ch(cid:15)c n(cid:16)ng c(cid:17)a ph(cid:5)n m(cid:9)m ng(cid:10)(cid:11)i ta s(cid:12) d(cid:13)ng các công c(cid:13) tiêu bi(cid:29)u sau

Bi(cid:29)u (cid:3)(cid:14) th(cid:28)c th(cid:29) liên k(cid:19)t (Entity-Relationship Diagrams)

)(cid:20)c t(cid:8) Logic (Logic Specifications)

(cid:2)(cid:3)(cid:4)(cid:10)

)(cid:20)c t(cid:8) (cid:3)(cid:22)i s(cid:23) (Algebraic Specifications)

Nhuongld. Software Engineering, 2007

Bi(cid:27)uBi(cid:27)u (cid:11)(cid:25)(cid:11)(cid:25) lu(cid:25)ng Bi(cid:27)uBi(cid:27)u (cid:11)(cid:25)(cid:11)(cid:25) lu(cid:25)ng

lu(cid:25)ng d(cid:15)d(cid:15) li(cid:16)uli(cid:16)u (DFD) (DFD) (DFD) lu(cid:25)ng d(cid:15)d(cid:15) li(cid:16)uli(cid:16)u (DFD)

(cid:1) H(cid:16) th(cid:28)ng (System): t(cid:2)p h(cid:21)p các d(cid:25) li(cid:18)u (data) (cid:3)(cid:10)(cid:21)c x(cid:12) lý

(cid:1) Các ký pháp s(cid:29) d(cid:30)ng:

b+ng các ch(cid:15)c n(cid:16)ng t(cid:10)(cid:27)ng (cid:15)ng (functions)

Th(cid:29) hi(cid:18)n các ch(cid:15)c n(cid:16)ng (functions)

Th(cid:29) hi(cid:18)n lu(cid:14)ng d(cid:25) li(cid:18)u Th(cid:29) hi(cid:18)n lu(cid:14)ng d(cid:25) li(cid:18)u

Kho d(cid:25) li(cid:18)u

Vào ra d(cid:25) li(cid:18)u và t(cid:10)(cid:27)ng tác gi(cid:25)a Vào ra d(cid:25) li(cid:18)u và t(cid:10)(cid:27)ng tác gi(cid:25)a

(cid:2)(cid:3)(cid:4)(cid:11)

h(cid:18) th(cid:23)ng và ng(cid:10)(cid:11)i s(cid:12) d(cid:13)ng

Nhuongld. Software Engineering, 2007

Ví d(cid:30) mô t(cid:18) bi(cid:27)u th(cid:14)c toán h(cid:31)c b ng DFD Ví d(cid:30) mô t(cid:18) bi(cid:27)u th(cid:14)c toán h(cid:31)c b ng DFD Ví d(cid:30) mô t(cid:18) bi(cid:27)u th(cid:14)c toán h(cid:31)c b ng DFD Ví d(cid:30) mô t(cid:18) bi(cid:27)u th(cid:14)c toán h(cid:31)c b ng DFD

(a+b)*(c+a*d)

b

c

a

d

a a

+

+

*

*

V19

Nhuongld. Software Engineering, 2007

VíVí d(cid:30)d(cid:30) (cid:11)(cid:19)c(cid:11)(cid:19)c t(cid:18)t(cid:18) cáccác ch(cid:14)c

qua DFD ch(cid:14)c n(cid:26)ngn(cid:26)ng c(cid:22)ac(cid:22)a th(cid:2)th(cid:2) vi(cid:16)nvi(cid:16)n qua DFD

(cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:3)(cid:4)(cid:7)(cid:8)(cid:4)(cid:9)(cid:10)(cid:11)(cid:12)(cid:13)(cid:4)(cid:14)(cid:11)(cid:15)(cid:9)

(cid:16)(cid:17)(cid:5)(cid:18) (cid:16)(cid:17)(cid:5)(cid:18)

(cid:19)(cid:2)(cid:9)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)(cid:21)(cid:4)(cid:7)(cid:17)(cid:5)(cid:4)(cid:10)(cid:13)(cid:22) (cid:19)(cid:2)(cid:9)(cid:4)(cid:9)(cid:10)(cid:11)(cid:12)(cid:13)(cid:4)(cid:14)(cid:11)(cid:15)(cid:9) (cid:19)(cid:2)(cid:9)(cid:4)(cid:9)(cid:10)(cid:11)(cid:12)(cid:13)(cid:4)(cid:14)(cid:11)(cid:15)(cid:9)

(cid:23) (cid:18)(cid:24)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)

(cid:16)(cid:17)(cid:5)(cid:18)

(cid:19)(cid:2)(cid:9)(cid:4)(cid:7)(cid:17)(cid:5)(cid:4)(cid:10)(cid:13)(cid:22)

(cid:1)(cid:2)(cid:3) (cid:4)(cid:5)(cid:6)(cid:7) (cid:4)(cid:5)(cid:6)(cid:7)

(cid:26) (cid:27)(cid:9)(cid:18)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)(cid:4)(cid:7)(cid:17)(cid:5)(cid:4)(cid:10)(cid:13)(cid:22)

(cid:19)(cid:18)(cid:25)(cid:9)(cid:10)(cid:4)(cid:7)(cid:13)(cid:9)(cid:4) (cid:19)(cid:18)(cid:25)(cid:9)(cid:10)(cid:4)(cid:7)(cid:13)(cid:9)(cid:4) (cid:28)(cid:29)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)

(cid:19)(cid:2)(cid:9)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)

(cid:26) (cid:27)(cid:9)(cid:18)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)(cid:4)(cid:7)(cid:2)(cid:9)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18) (cid:26) (cid:27)(cid:9)(cid:18)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)(cid:4)(cid:7)(cid:2)(cid:9)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)

(cid:19)(cid:2)(cid:9)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)(cid:30) (cid:19)(cid:2)(cid:9)(cid:4)(cid:9)(cid:10)(cid:11)(cid:12)(cid:13)(cid:4)(cid:14)(cid:11)(cid:15)(cid:9) (cid:19)(cid:2)(cid:9)(cid:4)(cid:9)(cid:10)(cid:11)(cid:12)(cid:13)(cid:4)(cid:14)(cid:11)(cid:15)(cid:9)

(cid:26) (cid:27)(cid:9)(cid:18)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)(cid:4)(cid:9)(cid:10)(cid:11)(cid:12)(cid:13)(cid:4)(cid:14)(cid:11)(cid:15)(cid:9)

(cid:26) (cid:27)(cid:9)(cid:18)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)(cid:4)(cid:5)(cid:18)(cid:31)(cid:4) (cid:29)

(cid:8)(cid:9)(cid:10) (cid:3)(cid:11)(cid:7)(cid:12)(cid:13) (cid:6)(cid:7)(cid:14)(cid:3)(cid:15)(cid:16) (cid:6)(cid:7)(cid:14)(cid:3)(cid:15)(cid:16)

! (cid:13)"(cid:7)(cid:4)#(cid:2)(cid:4)(cid:5)(cid:17)(cid:5)(cid:4)(cid:7)(cid:2)(cid:9)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)(cid:4) $(cid:13)(cid:2)(cid:9)(cid:4)%(cid:3)(cid:27)(cid:9)(cid:4) &(cid:9)(cid:4)(cid:5)(cid:18)(cid:31)(cid:4) (cid:29) $(cid:13)(cid:2)(cid:9)(cid:4)%(cid:3)(cid:27)(cid:9)(cid:4) &(cid:9)(cid:4)(cid:5)(cid:18)(cid:31)(cid:4) (cid:29)

’ (cid:18)(cid:31)(cid:4) (cid:29)

’ (cid:18)(cid:31)(cid:4) (cid:29)(cid:4)((cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:3)(cid:4)

)(cid:11)(cid:27)(cid:4)*(cid:27)(cid:4) (cid:19)(cid:2)(cid:9)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18) (cid:19)(cid:2)(cid:9)(cid:4)(cid:20)(cid:17)(cid:5)(cid:18)

V20

Nhuongld. Software Engineering, 2007

CácCác h(cid:17)nh(cid:17)n ch!ch! c(cid:22)ac(cid:22)a DFDDFD CácCác h(cid:17)nh(cid:17)n ch!ch! c(cid:22)ac(cid:22)a DFDDFD

Ý ngh&a c(cid:17)a các ký pháp s(cid:12) d(cid:13)ng (cid:3)(cid:10)(cid:21)c xác (cid:3)(cid:4)nh b(cid:26)i các (cid:3)(cid:4)nh

danh l(cid:28)a ch(cid:30)n c(cid:17)a NSD. Ví d(cid:13) c(cid:17)a ch(cid:15)c n(cid:16)ng tìm ki(cid:19)m: danh l(cid:28)a ch(cid:30)n c(cid:17)a NSD. Ví d(cid:13) c(cid:17)a ch(cid:15)c n(cid:16)ng tìm ki(cid:19)m:

If NSD nh(cid:2)p vào c(cid:8) tên tác gi(cid:8) và tiêu (cid:3)(cid:9) sách Then

tìm ki(cid:19)m sách t(cid:10)(cid:27)ng (cid:15)ng, không có thì thông báo l-i tìm ki(cid:19)m sách t(cid:10)(cid:27)ng (cid:15)ng, không có thì thông báo l-i

Elseif ch(cid:24) nh(cid:2)p tên tác gi(cid:8) Then

hi(cid:29)n th(cid:4) danh sách các sách t(cid:10)(cid:27)ng (cid:15)ng v$i hi(cid:29)n th(cid:4) danh sách các sách t(cid:10)(cid:27)ng (cid:15)ng v$i

tên tác gi(cid:8) (cid:3)ã nh(cid:2)p và yêu c(cid:5)u NSD l(cid:28)a ch(cid:30)n sách

Elseif ch(cid:24) nh(cid:2)p tiêu (cid:3)(cid:9) sách Then Elseif ch(cid:24) nh(cid:2)p tiêu (cid:3)(cid:9) sách Then

. . .

(cid:2)(cid:3)(cid:5)(cid:4)

Endif Endif

Nhuongld. Software Engineering, 2007

CácCác h(cid:17)nh(cid:17)n ch!ch! c(cid:22)ac(cid:22)a DFDDFD CácCác h(cid:17)nh(cid:17)n ch!ch! c(cid:22)ac(cid:22)a DFDDFD

Trong DFD không xác (cid:3)(cid:4)nh rõ các h(cid:10)$ng th(cid:28)c hi(cid:18)n

(control aspects)

A A

E E

B

D

F F

C

Bi(cid:29)u (cid:3)(cid:14) DFD này không ch(cid:24) rõ (cid:3)(cid:5)u vào là gì (cid:3)(cid:29) th(cid:28)c hi(cid:18)n Bi(cid:29)u (cid:3)(cid:14) DFD này không ch(cid:24) rõ (cid:3)(cid:5)u vào là gì (cid:3)(cid:29) th(cid:28)c hi(cid:18)n

(cid:2)(cid:3)(cid:5)(cid:5)

ch(cid:15)c n(cid:16)ng D và (cid:3)(cid:5)u ra là gì sau khi th(cid:28)chi(cid:18)n ch(cid:15)c n(cid:16)ng D.

Nhuongld. Software Engineering, 2007

CácCác h(cid:17)nh(cid:17)n ch!ch! c(cid:22)ac(cid:22)a DFDDFD CácCác h(cid:17)nh(cid:17)n ch!ch! c(cid:22)ac(cid:22)a DFDDFD

A

E E

B

D

F F

C

(cid:1) Ch(cid:15)c n(cid:16)ng D có th(cid:29) c(cid:5)n c(cid:8) A, B và C Ch(cid:15)c n(cid:16)ng D có th(cid:29) c(cid:5)n c(cid:8) A, B và C (cid:1) Ch(cid:15)c n(cid:16)ng D có th(cid:29) ch(cid:24) c(cid:5)n m(cid:6)t trong A, B và C (cid:3)(cid:29) th(cid:28)c hi(cid:18)n (cid:1) Ch(cid:15)c n(cid:16)ng D có th(cid:29) k(cid:19)t xu(cid:7)t k(cid:19)t qu(cid:8) cho m(cid:6)t trong E và F (cid:1) Ch(cid:15)c n(cid:16)ng D có th(cid:29) k(cid:19)t xu(cid:7)t k(cid:19)t qu(cid:8) cho m(cid:6)t trong E và F (cid:1) Ch(cid:15)c n(cid:16)ng D có th(cid:29) k(cid:19)t xu(cid:7)t k(cid:19)t qu(cid:8) chung cho c(cid:8) E và F (cid:1) Ch(cid:15)c n(cid:16)ng D có th(cid:29) k(cid:19)t xu(cid:7)t k(cid:19)t qu(cid:8) riêng cho c(cid:8) E và F

(cid:2)(cid:3)(cid:5)(cid:6)

Nhuongld. Software Engineering, 2007

CácCác h(cid:17)nh(cid:17)n ch!ch! c(cid:22)ac(cid:22)a DFDDFD CácCác h(cid:17)nh(cid:17)n ch!ch! c(cid:22)ac(cid:22)a DFDDFD

B B

A A

(cid:1) A x(cid:12) lý d(cid:25) li(cid:18)u và B (cid:3)(cid:10)(cid:21)c h(cid:10)(cid:26)ng (nh(cid:2)n) các k(cid:19)t qu(cid:8) (cid:3)(cid:10)(cid:21)c

DFD không xác (cid:3)(cid:4)nh s(cid:28) (cid:3)(cid:14)ng b(cid:6) gi(cid:25)a các ch(cid:15)c n(cid:16)ng / mô-(cid:3)un DFD không xác (cid:3)(cid:4)nh s(cid:28) (cid:3)(cid:14)ng b(cid:6) gi(cid:25)a các ch(cid:15)c n(cid:16)ng / mô-(cid:3)un

(cid:1) A và B là các ch(cid:15)c n(cid:16)ng không (cid:3)(cid:14)ng b(cid:6) (asynchronous

x(cid:12) lý t! A x(cid:12) lý t! A

activities) vì th(cid:19) c(cid:5)n có buffer (cid:3)(cid:29) ng(cid:16)n ch(cid:20)n tình trang m(cid:7)t activities) vì th(cid:19) c(cid:5)n có buffer (cid:3)(cid:29) ng(cid:16)n ch(cid:20)n tình trang m(cid:7)t

(cid:2)(cid:3)(cid:5)(cid:7)

d(cid:25) li(cid:18)u.

Nhuongld. Software Engineering, 2007

Finite State Machines (FSM) Finite State Machines (FSM) Finite State Machines (FSM) Finite State Machines (FSM)

(cid:1)

T(cid:2)p h(cid:25)u h(cid:22)n các tr(cid:22)ng thái Q

FSM ch(cid:15)a

Q

IQ fi·:d

(cid:1)

T(cid:2)p h(cid:25)u h(cid:22)n các (cid:3)(cid:5)u vào I

(cid:1) Các ch(cid:15)c n(cid:16)ng chuy(cid:29)n ti(cid:19)p Các ch(cid:15)c n(cid:16)ng chuy(cid:29)n ti(cid:19)p

High pressure alarm

High temp. alarm

ON ON

OFF OFF

Restart Restart

(cid:2)(cid:3)(cid:5)(cid:8)

Nhuongld. Software Engineering, 2007

(cid:4)(cid:19)c(cid:4)(cid:19)c t(cid:18)t(cid:18) cáccác yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m b ngb ng FSMFSM (cid:4)(cid:19)c(cid:4)(cid:19)c t(cid:18)t(cid:18) cáccác yêuyêu c(cid:1)uc(cid:1)u ph(cid:1)nph(cid:1)n m(cid:13)mm(cid:13)m b ngb ng FSMFSM

(cid:1) M(cid:10)(cid:21)n sách / Tr(cid:8) sách

(cid:1) Thêm (cid:3)(cid:5)u sách / Lo(cid:22)i b" (cid:3)(cid:5)u sách

(cid:1) Li(cid:18)t kê danh sách các (cid:3)(cid:5)u sách theo tên tác gi(cid:8) hay theo

Xem xét ví d(cid:13) v(cid:9) th(cid:10) vi(cid:18)n v$i các giao d(cid:4)ch nh(cid:10) sau:

(cid:1) Tìm ki(cid:19)m sách theo các yêu c(cid:5)u c(cid:17)a ng(cid:10)(cid:11)i m(cid:10)(cid:21)n

(cid:1) Tìm ki(cid:19)m sách quá h(cid:22)n tr(cid:8), . . . (cid:1) Tìm ki(cid:19)m sách quá h(cid:22)n tr(cid:8), . . .

(cid:2)(cid:3)(cid:5)(cid:9)

ch(cid:17) (cid:3)(cid:9) ch(cid:17) (cid:3)(cid:9)

Nhuongld. Software Engineering, 2007

(cid:4)(cid:19)c t(cid:18) các yêu c(cid:1)u ph(cid:1)n m(cid:13)m b ng FSM (cid:4)(cid:19)c t(cid:18) các yêu c(cid:1)u ph(cid:1)n m(cid:13)m b ng FSM (cid:4)(cid:19)c t(cid:18) các yêu c(cid:1)u ph(cid:1)n m(cid:13)m b ng FSM (cid:4)(cid:19)c t(cid:18) các yêu c(cid:1)u ph(cid:1)n m(cid:13)m b ng FSM

(cid:1) )(cid:6)c gi(cid:8) không (cid:3)(cid:10)(cid:21)c m(cid:10)(cid:21)n quá m(cid:6)t s(cid:23) l(cid:10)(cid:21)ng sách nh(cid:7)t

Các yêu c(cid:1)u (cid:11)(cid:19)c bi(cid:16)t c(cid:22)a th(cid:2) vi(cid:16)n:

(cid:3)(cid:4)nh, trong m(cid:6)t th(cid:11)i gian nh(cid:7)t (cid:3)(cid:4)nh (cid:1) M(cid:6)t s(cid:23) sách không (cid:3)(cid:10)(cid:21)c m(cid:10)(cid:21)n v(cid:9) (cid:1) M(cid:6)t s(cid:23) sách không (cid:3)(cid:10)(cid:21)c m(cid:10)(cid:21)n v(cid:9) (cid:1) M(cid:6)t s(cid:23) ng(cid:10)(cid:11)i không (cid:3)(cid:10)(cid:21)c m(cid:10)(cid:21)n m(cid:6)t s(cid:23) lo(cid:22)i sách nào (cid:3)ó,

. . .

Các (cid:11)(cid:28)i t(cid:2)(cid:23)ng: Các (cid:11)(cid:28)i t(cid:2)(cid:23)ng:

(cid:2)(cid:3)(cid:5)(cid:10)

Tên sách Mã quy(cid:29)n Nhân viên ph(cid:13)c v(cid:13) Ng(cid:10)(cid:11)i m(cid:10)(cid:21)n

Nhuongld. Software Engineering, 2007

(cid:4)(cid:19)c t(cid:18) các yêu c(cid:1)u ph(cid:1)n m(cid:13)m b ng FSM (cid:4)(cid:19)c t(cid:18) các yêu c(cid:1)u ph(cid:1)n m(cid:13)m b ng FSM (cid:4)(cid:19)c t(cid:18) các yêu c(cid:1)u ph(cid:1)n m(cid:13)m b ng FSM (cid:4)(cid:19)c t(cid:18) các yêu c(cid:1)u ph(cid:1)n m(cid:13)m b ng FSM

(cid:1) Chúng ta c(cid:5)n có t(cid:2)p h(cid:21)p (danh sách) các tiêu (cid:3)(cid:9) sách, danh

sách các tác gi(cid:8) cho t!ng quy(cid:29)n sách, danh sách các ch(cid:17) (cid:3)(cid:9)

(cid:1) Ta có t(cid:2)p h(cid:21)p các sách (m-i (cid:3)(cid:5)u sách có th(cid:29) có nhi(cid:9)u

liên quan c(cid:17)a các quy(cid:29)n sách

quy(cid:29)n sách trong th(cid:10) vi(cid:18)n). M-i quy(cid:29)n sách có th(cid:29) có 1 quy(cid:29)n sách trong th(cid:10) vi(cid:18)n). M-i quy(cid:29)n sách có th(cid:29) có 1

(cid:1) (AV) - Available (cid:3)(cid:10)(cid:21)c phép m(cid:10)(cid:21)n, (CO) - (cid:1) (AV) - Available (cid:3)(cid:10)(cid:21)c phép m(cid:10)(cid:21)n, (CO) -

trong 5 tr(cid:22)ng thái sau:

(BR) - (cid:3)ã m(cid:10)(cid:21)n (BR) - (cid:3)ã m(cid:10)(cid:21)n

(cid:2)(cid:3)(cid:5)(cid:11)

(Check Out; Borrow), (L): Last, (R): Remove

Nhuongld. Software Engineering, 2007