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

Tài liệu tham khảo Bài giảng công nghệ phần mềm bộ môn hệ thống thông tin và toán ứng dụng - Phần 2 Các giai đoạn trong chu trình sống của phần mềm - Chương 10 Đặc tả
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 10 giai ®o¹n ®Æc t¶ 10 (SPECIFICATION PHASE) Néi dung: Kh¸i qu¸t chung Tµi liÖu ®Æc t¶ §Æc t¶ kh«ng h×nh thøc Mét sè kü thuËt ®Æc t¶ b¸n h×nh thøc Mét sè kü thuËt ®Æc t¶ h×nh thøc So s¸nh c¸c kü thuËt ®Æc t¶ KiÓm thö trong giai ®o¹n ®Æc t¶ §¸nh gi¸ giai ®o¹n ®Æc t¶ 126Huúnh Xu©n HiÖp - CNPM http://www.ebook.edu.vn 10.1Kh¸i qu¸t chung (overview) Tµi liÖu ®Æc t¶ ph¶i ®¸p øng ®−îc hai yªu cÇu m©u thuÉn nhau râ rµng vµ dÔ hiÓu ®èi víi kh¸ch hµng (dÔ thuyÕt phôc) ®Çy ®ñ vµ chi tiÕt v× ®©y lµ nguån th«ng tin duy nhÊt dµnh cho nhãm thiÕt kÕ C¸c lçi x¶y ra trong giai ®o¹n nµy sÏ ¶nh h−ëng ®Õn c¸c giai ®o¹n cßn l¹i cña toµn bé tiÕn tr×nh C¸c kü thuËt ®Æc t¶ theo cÊu tróc h−íng ®èi t−îng 127Huúnh Xu©n HiÖp - CNPM http://www.ebook.edu.vn 10.2Tµi liÖu ®Æc t¶ (the specification document) Lµ hîp ®ång (contract) gi÷a kh¸ch hµng vµ nhµ ph¸t triÓn Ph¶i bao gåm c¸c rµng buéc mµ s¶n phÈm ph¶i ®¸p øng thêi h¹n ph©n phèi s¶n phÈm cho kh¸ch hµng s¶n phÈm ®−îc cµi ®Æt ®Ó ch¹y thö song song víi s¶n phÈm hiÖn hµnh cho ®Õn khi kh¸ch hµng chÊp nhËn dÔ dµng chuyÓn ®æi trªn c¸c phÇn cøng hay hÖ ®iÒu hµnh kh¸c nhau cã ®é tin cËy cao ho¹t ®éng tèt 24/24 giê (nÕu cã yªu cÇu) thêi gian ®¸p øng nhanh VD: 95% c¸c truy vÊn d¹ng 4 ph¶i ®−îc tr¶ lêi trong kho¶ng 0.25s Thµnh phÇn sèng cßn lµ tËp c¸c tiªu chuÈn chÊp thuËn Gi¶i ph¸p chiÕn l−îc (solution strategy), lµ c¸ch tiÕp cËn chung ®Ó t¹o ra s¶n phÈm 128Huúnh Xu©n HiÖp - CNPM http://www.ebook.edu.vn 10.3§Æc t¶ kh«ng h×nh thøc (informal specifications) Sö dông ng«n ng÷ tù nhiªn VD: BV.4.2.5 NÕu doanh thu cña th¸ng hiÖn t¹i thÊp h¬n víi doanh thu dù kiÕn th× mét b¸o c¸o sÏ ®−îc in ra, trõ phi hiÖu sè doanh thu gi÷a doanh thu vµ doanh thu dù kiÕn cña th¸ng hiÖn t¹i nhá h¬n ph©n nöa hiÖu sè doanh thu t−¬ng tù nh− trªn cña th¸ng tr−íc ®ã hoÆc hiÖu sè doanh thu hiÖn t¹i nµy nhá h¬n 5%. Th−êng cã nhiÒu lçi x¶y ra Ng«n ng÷ tù nhiªn kh«ng ph¶i lµ ph−¬ng c¸ch tèt ®Ó ®Æc t¶ s¶n phÈm 129Huúnh Xu©n HiÖp - CNPM http://www.ebook.edu.vn 10.4Mét sè kü thuËt ®Æc t¶ b¸n h×nh thøc (the semiformal specification techniques) Ph©n tÝch theo cÊu tróc sö dông ®å häa vµ ®−îc øng dông réng r·i Gane vµ Sarsen [Gane vµ Sarsen, 1979] Yourdon vµ Constantine [Yourdon vµ Constantine, 1979] DeMarco [deMarco, 1978], PSL/PSA [Teichroew vµ Hershey, 1977] (problem statement language/problem statement analyzer) lµ kü thuËt hç trî dùa trªn m¸y tÝnh SADT [Ross, 1985] (structural analysis and design technique) SREM [Alford, 1985] (software requirements engineering method) dùa trªn kü thuËt m¸y h÷u h¹n tr¹ng th¸i, bao gåm c¸c thµnh phÇn sau: RSL: ng«n ng÷ ®Æc t¶ REVS: tËp c¸c c«ng cô thùc hiÖn c¸c mèi liªn hÖ trong viÖc ®Æc t¶ (chuyÓn ®æi sang c¬ së d÷ liÖu automate,...) DCDS: kü thuËt thiÕt kÕ M« h×nh thùc thÓ-quan hÖ 130Huúnh Xu©n HiÖp - CNPM http://www.ebook.edu.vn 10.5Ph©n tÝch hÖ thèng theo cÊu tróc (structured systems analysis) VÝ dô vÒ cöa hµng mua b¸n phÇn mÒm (software shop) theo ph−¬ng ph¸p Gane vµ Sarsen b−íc 1: vÏ DFD (data flow diagram) d÷ liÖu gãi phÇn mÒm C¸c chi tiÕt vÒ gãi §Æt hµng Xö lý c¸c yªu cÇu ®Æt hµng KH¸CH HµNG Göi hãa ®¬n T×nh tr¹ng tÝn dông d÷ liÖu kh¸ch hµng H×nh 10.1 DFD: b−íc lµm mÞn thø nhÊt 131Huúnh Xu©n HiÖp - CNPM http://www.ebook.edu.vn nhµ cung cÊp phÇn mÒm d÷ liÖu gãi phÇn mÒm §Þa chØ hoÆc Chi tiÕt vÒ sè ®iÖn tho¹i ...