Bài giảng công nghệ phần mềm - Chương 3

Đặc tả 3.1. Khái niệm về đặc tả. Đặc tả một vấn đề là mô tả (một cách rất riêng nhờ các kỹ thuật thể hiện) các đặc tr-ng của vấn đề đó. Vấn đề đó có thể là đối t-ợng, khái niệm, một thủ tục nào đó, … Yêu cầu đầu tiên của đặc tả là phải mang tính chính xác. Phân tích và định rõ yêu cầu là b-ớc kỹ thuật đầu tiên trong tiến trình kỹ nghệ phần mềm.
Nội dung trích xuất từ tài liệu:
Bài giảng công nghệ phần mềm - Chương 3 Bµi gi¶ng m«n häc C«ng nghÖ phÇm mÒm Trang 24 Ch−¬ng 3 §Æc t¶ 3.1. Kh¸i niÖm vÒ ®Æc t¶. §Æc t¶ mét vÊn ®Ò lµ m« t¶ (mét c¸ch rÊt riªng nhê c¸c kü thuËt thÓ hiÖn) c¸c ®Æc tr−ng cña vÊn ®Ò ®ã. VÊn ®Ò ®ã cã thÓ lµ ®èi t−îng, kh¸i niÖm, mét thñ tôc nµo ®ã, … Yªu cÇu ®Çu tiªn cña ®Æc t¶ lµ ph¶i mang tÝnh chÝnh x¸c. Ph©n tÝch vµ ®Þnh râ yªu cÇu lµ b−íc kü thuËt ®Çu tiªn trong tiÕn tr×nh kü nghÖ phÇn mÒm. Ho¹t ®éng ph©n tÝch vµ ®Þnh râ yªu cÇu h−íng tíi ®Æc t¶ yªu cÇu phÇn mÒm ®ùoc thÓ hiÖn trong c¸c khu«n c¶nh nh− sau: 1. ThiÕt 2. 3. M« lËp c¸c Nghiªn h×nh ho¸ hÖ thèng nhu cÇu cøu tÝnh 4. X¸c hÖ thèng kh¶ thi ®Þnh yªu cÇu 5. §Æc t¶ yªu 1.1. B¸o c¸o cÇu (®Æc nhu cÇu (tµi t¶ trõu 2.1. B¸o liÖu quan 6. §Æc t¶ thiÕt kÕ t−îng) c¸o kh¶ niÖm cho hÖ thèng vµ phÇn 3.1. M« thi phÇn mÒm) mÒm (m« t¶ trõu 4.1. Yªu h×nh hÖ t−îng cho phÇn cÇu ®· thèng mÒm) qua thÇm ®Þnh 5.1. Tµi 6.1. Tµi liÖu ®Æc t¶ liÖu ®Æc t¶ thiÕt kÕ (tµi liÖu ®Æc t¶ yªu cÇu c¸c yªu cÇu hÖ thèng 4.2. T− vµ c¸c yªu cÇu phÇn liÖu yªu mÒm ) cÇu C¸c ®Æc t¶ th−êng mang tÝnh trõu t−îng ho¸ cao. Do vËy ng−êi ta ph©n chia thµnh nhiÒu møc ®Æc t¶. Cµng ë møc cao (nh÷ng møc ®Çu tiªn cña qu¸ tr×nh lµm mÞn hoÆc chÝnh x¸c ho¸) ®Æc t¶ cµng trõu t−îng. Cµng xuèng c¸c møc thÊp h¬n, ®Æc t¶ cµng tiÕn dÇn tíi cô thÓ - tøc lµ mét thÓ hiÖn trªn mét m¸y tÝnh cô thÓ víi mét ng«n ng÷ lËp tr×nh cô thÓ - ®©y chÝnh lµ qu¸ tr×nh lµm mÞn dÇn. 3.2. C¸c lo¹i h×nh ®Æc t¶. Cã hai kiÓu ®Æc t¶ ®ã lµ ®Æc t¶ h×nh thøc vµ ®Æc t¶ phi h×nh thøc. http://www.ebook.edu.vn Th.S. NguyÔn ThÕ C−êng - Khoa CNTT - §¹i häc Hµng h¶i Bµi gi¶ng m«n häc C«ng nghÖ phÇm mÒm Trang 25 §Æc t¶ h×nh thøc: Lµ c¸c ®Æc t¶ chÝnh x¸c tøc lµ kh«ng thÓ dÉn tíi nh÷ng c¸ch hiÓu kh¸c nhau. §Æc t¶ h×nh thøc sö dông c«ng cô chñ yÕu lµ ®¹i sè vµ logic. VÝ dô: §Æc t¶ mét ma trËn: ● CÊp cña ma trËn n x n (n lµ sè tù nhiªn lÎ). ● PhÇn tö cuèi cña hµng 1 b»ng phÇn tö ®Çu cña hµng cuèi. ● PhÇn tö trung t©m b»ng trung b×nh céng cña c¸c phÇn tö ë 4 gãc. HoÆc cã thÓ diÔn ®¹t nh− sau: ● A n x n = (a[i, j])n x n; n = 2k + 1, k ∈ Z. ● a[1, n] = a[n, 1]. ⎡ n + 1 n + 1⎤ = ( a[1,1] + a[1, n] + a[n,1] + a[n, n]) / 4 ● a⎢ , 2⎥ ⎣2 ⎦ §Æc t¶ phi h×nh thøc: DiÔn ®¹t b»ng nh÷ng ng«n ng÷, tuy kh«ng chÆt chÏ nh−ng ®−îc nhiÒu ng−êi biÕt vµ cã thÓ trao ®æi víi nhau ®Ó chÝnh x¸c ho¸ c¸c ®iÓm ch−a râ rµng, nh÷ng kh¸i niÖm cßn m¬ hå. VÝ dô: Cã hai con hËu trªn bµn cê. Hai con hËu sÏ ®ông ®é nÕu chóng n»m trªn cïng hµng, cïng cét hoÆc trªn cïng mét ®−êng chÐo song song víi ®−êng chÐo chÝnh hay ®−êng chÐo phô. => Râ rµng ë ®©y cã mét sè kh¸i niÖm m¬ hå. §Æc t¶ hçn hîp: Phèi hîp c¶ hai kiÓu ®Æc t¶ trªn. Trong thùc tÕ, cã nhiÒu lo¹i h×nh ®Æc t¶, vÝ dô nh−: a. §Æc t¶ cÊu tróc d÷ liÖu: Nªu c¸c thµnh phÇn cña d÷ liÖu §Æc t¶ mét ph©n sè: Ph©n_sè = { x/y , x ∈ Z , y ∈ N } VÝ dô: Sè_phøc = { a + b.i ⏐ a, b ∈ R } b. §Æc t¶ chøc n¨ng: M« t¶ th«ng qua viÖc nªu lªn c¸c tÝnh chÊt hay thuéc tÝnh cña tªn vµo vµ tªn ra. VÝ dô: a∈N a M c; bM c ⎫ c∈N ⎬c > d a M d ; bM d ⎭ UCLN b∈N c. §Æc t¶ ®èi t−îng: Bao gåm ®Æc t¶ cÊu tróc d÷ liÖu vµ m« t¶ c¸c chøc n¨ng. http://www.ebook.edu.vn Th.S. NguyÔn ThÕ C−êng - Khoa CNTT - §¹i häc Hµng h¶i Bµi gi¶ng m«n häc C«ng nghÖ phÇm mÒm Trang 26 VÝ dô: ®Æc t¶ ®èi t−îng ph©n sè. PS = { x/y , x ∈ Z , y ∈ N } +: PS x PS → PS PhÐp céng: a ∈ PS c ∈ ...