Bài giảng đảm bảo chất lượng phần mềm và kiểm thủ (nguyễn văn vy) phần mở đầu

I H C QU C GIA HÀ N I – I H C CÔNG NGH B môn Công ngh ph n m m XXXXXXXXXXX BÀI Gi NG M B O CH T L NG PH N M M VÀ Ki M TH Email: vynv@vnu.edu.vn, mobile: 0912.505.291 Hà n i -2005 2005 B môn CNFM – H Công ngh N i dung – Tài li u ̈ Ch t l ̈ Ki m th ng đ m b o ch t l ng ph n m m ¬ Roger S Pressman Software Engineering, a Practitioner’s Approach 3th Edition, McGraw-Hill, 1992, B n dich c a Ngô Trung vI t, Ph n 4, t p ¬ Ian Sommerville Software Engineering, Sixth Edition, Addion Wesley, 2001, Ph n ¬ E.M.Bennatan, Software Project Management : a practitioner’s approach, McGRAW-HILL Book Company, 2001, Ph n 2005 B môn CNFM – H Công ngh Yêu c u, đ c m môn h c ̌ Yêu c u ̈ N m v ng khái ni m ̈ Các h at đ ng đ m b o ch t l ̈ Các k thu t ki m th ̌ Chu n b : đ c tr ng c, nghe, th o luân ̌ Ki m tra đánh giá: ̇ ̇ 2005 Ti u lu n (30%) V n đáp (70%) B môn CNFM – H Công ngh Khái ni m ch t l ng ph n m m-SQA ̈ Ch t l ng ph n m m (sofware quality assurance SQA) gì? Ch t l ng s n ph m m c đ đ t đ c đ c tr ng hay nh ng thu c tính náo c a (T n American Heritage) Ch ng h n: ̇ Ch t l ng thi t k ̇ S hoàn thi n ̇ S lâu b n 2005 B môn CNFM – H Công ngh Khái ni m ch t l ̈ Ch t l ng ph n m m (t) ng ph n m m gì? ng c a s n ph m đ c th hi n b ng đ c tr ng phù h p v i đ c t c a nó[Crosby,1979] ̇ Ch t l ng ph n m m s đáp ng yêu c u ch c n ng, s hoàn thi n chu n (đ c t ) đ c phát tri n, đ c tr ng mong ch t m i ph n m m chuyên nghi p (ng m đ nh) ̇ Ch t l 2005 B môn CNFM – H Công ngh Khái ni m ch t l ̈ Ch t l ̇ ng ph n m m (t) ng ph n m m gì? nh ngh a chung cho m i s n ph m ̇ V i ph n m m có m t s v n đ : Ü Ph n m m có yêu c u mà ch a có đ c t ? Ü Ph n m m có đ c t nh ng l i mù m ? Ü Có nh ng yêu c u t 2005 nhiên nên không đ B môn CNFM – H Công ngh cđ ct ? a Ch t l ng ph n m m gì? ̈ Ch t l ̇ ng ph n m m gì? Yêu c u ph n m m ph i c s đ đo ch t l • S phù h p v i yêu c u có ch t l ng • Phù h p yêu c u c v s l ng & ch t l ̇ 2005 ng: ng Yêu c u th hi n b ng đ c t - đ c t ph i có chu n m i ki m tra đ c (không mù m ) • Các chu n đ c t m t b tiêu chu n phát tri n, h ng d n cách th c làm ph n m m • Không tuân th tiêu chu n h u ch c ch n ch t l ng s B môn CNFM – H Công ngh a Ch t l Ch t l ng ph n m m gi? ng ph n m m gì? ̈ Luôn có m t t p yêu c u ng m th đ c nh c đ n: • • ng Quá thông d ng, hi n nhiên(s d ng c a s ) Không th hi n (quy t c nghi p v ) ̈ Ph n m m ch a phù h p v i yêu c u ng m ch t l ng đáng nghi ng ÜC n làm rõ yêu c u đ a vào đ c t nhi u t t 2005 B môn CNFM – H Công ngh b Nhân t ̈ Hai lo i m c đ nh h nh h ng lên ch t l ng ng ̇ Nhân t tr c ti p ̇ Nhân t gián ti p ̈ McCall đ xu t 11 nhân t phân thành lo i : (1) đ c tr ng ch c n ng (2) kh n ng đ ng đ u v i nh ng thay đ i, (3) kh n ng thích nghi v i môi tr ng m i 2005 B môn CNFM – H Công ngh b Nhân t nh h ng lên ch t l ng ̈ Lo i (1): Các đ c tr ng ch c n ng ̇ ̇ ̇ ̇ ̇ 2005 tính đ n, tính tin t ng đ tính hi u qu , tính toàn v n, tính kh d ng c, B môn CNFM – H Công ngh 10 b4 Rà soát danh m c thi t k toàn b (t) i) Các chi ti t thi t k tuân theo ngôn ng th c hi n ch a? j) Dùng h u hành dùng đ c tr ng đ c l p ngôn ng ? k) Có dùng logic component ho c logic inverse? l) Kh n ng b o trì đ 2005 c xét t i ch a? B môn CNFM – H Công ngh - 77 c Rà soát k thu t th c khâu l p mã M c tiêu: rà soát h ng đ n mã ngu n đ t đ c ̇ Ph n ánh đ y đ , phù h p v i thi t k ̇ Phù h p v i ngôn ng s d ng (chu n, cú pháp, khai báo d li u, ) ̇ V n b n ch ng trình t t (không l i t , có phong cách t t: c u trúc, nh t quán, đ nh d ng chu n ) 2005 B môn CNFM – H Công ngh - 78 c Rà soát k thu t th c khâu l p mã Danh m c rà soát bao g m: a) Thi t k th c s đ c d ch thành mã ch a? b) Có sai sót t ho c in n không? c) Có th c s dùng quy không? c ngôn ng hay d) Có ph c tùng v chu n m u l p mã đ i v i phong cách ngôn ng , ghi e) Có ghi không đ n ho c m h ? 2005 B môn CNFM – H Công ngh - 79 c Rà soát k thu t th c khâu l p mã f) Ki u d li u khai báo d li u có xác hay không? g) Các h ng s v t lý có đ n hay không? h) Có ph i t t c kho n m c c a danh sách thi t k tr n v n đ c áp d ng r ng rãi h n tr c hay không? 2005 B môn CNFM – H Công ngh - 80 d Rà soát ki m th ph n m m làm đày đ hi u qu cho vi c ki m th c n ph i đánh giá m t cách phê phán k ho ch ki m th th t c ki m th H ng đ n đ m b o ph ng pháp, chi n l k thu t đ c s d ng k ho ch t t c Lo i hình ki m th : ̇ ̇ ̇ ̇ 2005 Ki Ki Ki Ki m th m th m th m th đ n v (mô đun) tích h p (ch c n ng) h th ng ch p nh n (alpha, beta) B môn CNFM – H Công ngh - 81 d1 N i dung ph Chi n l ng pháp ki m th c ki m th : ̇ T xu ng ̇ T d i lên ̇ V n l n (Big Bang) K thu t ki m th : ̇ ̇ ̇ ̇ ̇ 2005 Ki Ki Ki Ki S m th h p đen m th h p tr ng m th áp l c m th lu n s i (cho h th i gian th c) d ng CASE B môn CNFM – H Công ngh - 82 d1 N i dung ph ng pháp ki m th (t) K ho ch ki m th t ng th : Gi i thi u chung ̇ Mô t h th ng c n ki m th ̇ Các m c tiêu ki m th ̇ Ph ng pháp s d ng ̇ Tài li u h tr K ho ch ̇ Th i gian, đ a m ̇ Tài li u ki m th : ca ki m th , ti n trình, l ch trình ̇ i u ki n Các yêu c u: ph n c ng, ph n m m, nhân s Ki m soát trình ki m th 2005 B môn CNFM – H Công ngh - 83 d1 Danh m c rà soát k ho ch ki m th Danh m c rà soát k ho ch ki m th ph n m m : a) Các pha ki m th ch y u có th c s đ s p x p th t hay ch a? c xác đ nh b) Tiêu chu n yêu c u ki m th có đ c thi t l p nh m t ph n c a pha phân tích yêu c u ph n m m hay không? c) Các ch c n ng ch y u có đ không? 2005 c trình di n s m B môn CNFM – H Công ngh - 84 d1 Danh m c rà soát k ho ch ki m th d) K ho ch ki m th có phù h p v i k ho ch d án t ng th hay không? e) L ch trình ki m th có đ không? c xác đ nh rõ ràng hay f) Ngu n l c công c ki m th đ đ nh s n sàng hay ch a? g) 2005 c minh ã thi t l p c ch l u tr báo cáo ch a? B môn CNFM – H Công ngh - 85 d1 Danh m c rà soát k ho ch ki m th h) Các thi t b tình hu ng ki m th đ minh đ nh ch a? i) Công vi c phát tri n ki m th đ ch a? c l p l ch j) Th nghi m áp l c cho ph n m m đ ch a? cđ ct k) C hai lo i ki m th h p tr ng h p đen đ đ c t ch a? 2005 B môn CNFM – H Công ngh - c c 86 d1 Danh m c rà soát k ho ch ki m th k) Có ph i t t c đ ki m th ? ng logic đ c l p đ u đ c l) Có ph i t t c ca ki m th đ u đ c minh đ nh l p danh sách v i đ k t q a mong đ i? m)Vi c x lý sai có đ n) Các giá tr biên có đ 2005 c ki m th ? c ki m th ? B môn CNFM – H Công ngh - 87 k ho ch ki m th d1 Danh m c rà soát n) Các yêu c u th i gian s di n ti n có đ ki m th ? c o) Các bi n th ch p nh n đ c c a k t qu ki m th mong đ i đ c đ c t ch a? 2005 B môn CNFM – H Công ngh - 88 d2 V n đ liên quan đ n rà soát ki m th Ngoài vi c rà soát k ho ch th t c ki m th c n rà soát: ̇ c ch d ch v cho vi c làm ph n m m, ̇ đánh giá tính đ y đ & h u hi u c a vi c hu n luy n, ̇ đánh giá ch t l ng c a tài li u k thu t & cho ng i s d ng, ng d ng đ c & s s n sàng ̇ u tra v s c a công c ph n m m 2005 B môn CNFM – H Công ngh - 89 e Danh m c rà soát b o trì ph n m m Danh m c rà soát cho phát tri n ph n m m c ng nh cho b o trì ph n m m đ c xem xét t ng ph n, c n ý thêm: a) ã tính đ n hi u ng ph g n v i thay đ i ch a? b) Xem xét yêu c u thay đ i đ c l p tài li u, đ c đánh giá & đ c ch p thu n hay ch a? c) 2005 ã báo cáo vi c xem xét s thay đ i cho t t c bên quan tâm hay ch a? B môn CNFM – H Công ngh - 90 b o trì ph n m m e Danh m c rà soát d) Các rà soát k thu t th c thích h p đ c ti n hành hay ch a? e) M i rà soát ch p thu n cu i đ c th c hi n đ b o đ m r ng toàn b ph n m m th c s đ c c p nh t, đ c th nghi m & đ c thay th hay ch a? 2005 B môn CNFM – H Công ngh - 91 [...]... ng t p h p các tính ch t và kh n ng c a ch ng trình đó, đ khái quát các ch c n ng đ c th c hi n và đ an ninh c a toàn h th ng 2005 B môn CNFM – H Công ngh 27 p2 FURPS: Nhân t kh d ng c đ nh giá b ng vi c xem xét các nhân t con ng i, th m m , s hoà h p và t li u cung c p 2005 B môn CNFM – H Công ngh 28 p3 FURPS: Nhân t tin c y c đánh giá b ng: ̇ ̇ ̇ ̇ ̇ 2005 T n xu t th t b i và đ nghiên tr ng c a nó... n m m đ u tiên đ c đ a ra trong quân s vào nh ng n m 70 và nhanh chóng m r ng th ng m i 2005 B môn CNFM – H Công ngh 33 b Vai trò và trách nhi m trong SQA Nh ng ng i có trách nhi m b o đ m ch t l ng ph n m m (trong t ch c) : ̇ ̇ ̇ ̇ ̇ 2005 K s ph n m m, Nhà qu n lý d án, Khách hàng, Ng i bán hàng Thành viên trong nhóm SQA B môn CNFM – H Công ngh 34 b Vai trò và trách nhi m trong SQA Nhóm SQA ph i đóng... gian đáp ng, ̇ s d ng ngu n l c, ̇ N ng xu t, và Hi u n ng 2005 B môn CNFM – H Công ngh 30 p5 FURPS: Nhân t mang chuy n ánh giá b ng t h p các kh n ng: ̇ ̇ ̇ ̇ ̇ ̇ 2005 M r ng ch ng trình, B o trì thích nghi đ c Ph c v đ c (b o trì đ c) Th nghi m đ c, S t ng h p, C u hình đ c (kh n ng t ch c và kh ng ch các y u t c a c u hình ph n m m, d dàng cài đ t h th ng và d dàng đ nh v các ch có v n đ ) B môn CNFM... Tính tin c y đ c ̈ Tính tin c y đ c là gì?: có th trông đ i vào s th c hi n các ch c n ng d ki n và m c chính xác đ c đòi h i ̈ Các đ đo liên quan: • chính xác, • ph c t p, • hoà h p, • dung th l i, 2005 • • • mođun hoá, đ n gi n – d hi u, l nv tđ c B môn CNFM – H Công ngh 16 f Tính hi u qu ̈ Tính hi u qu Là gì?: t ng l ng ngu n l c tính toán và mã yêu c u đ th c hi n các ch c n ng c a ch ng trình là... 31 2 Ti n hóa c a ho t đ ng SQA thành s n ph m có nhu c u và đòi m b o ch t l ng: khách hàng (nhu c u) nhà s n xu t (đòi h i): đ m b o tính đ ng đ u a s n ph m, c i thi n ch t l ng th ng xuyên ̈ Khi ph n m m tr h iđ ̇ T ̇ T c th c ti n: King nghi m cho phép ho t đ ng đ m b o ch t l ng ph n m m ngày càng đ c hoàn thi n Hi u v vai trò c a nó và t ng thêm các ho t đ ng đ m b o ch t l ng ̈T 2005 B môn... CNFM – H Công ngh 17 g Tính toàn v n kh ng ch đ c vi c truy c p trái phép t i ph n m m và d li u c a HT Æ Tính toàn v n Là gì?: là s Æ Các đ đo liên quan: ̇ ki m toán đ c, ̇ Trang b đ ngh đ , ̇ an ninh, 2005 B môn CNFM – H Công ngh 18 h Tính kh d ng Tính kh d ng Là gì?: công s c đ h c hi u, thao tác, chu n b đ u vào, th hi n đ u ra c a ch ng trình là ch p nh n đ c, kh n ng nh lâu Các đ đo liên quan:... ngh k ngh hi u qu (ph ng pháp, công c ) (2) Ti n hành rà soát k thu t chính th c (3) Th c hi n ki m th nhi u t ng (4) Tuân theo các chu n phát tri n (5) Ki m soát tài li u FM và thay đ i c a chúng (6) Th c hi n đo l ng (7) Báo cáo và qu n lý các báo cáo 2005 B môn CNFM – H Công ngh 36 ... khái quát, • c l p ph n c ng, • môđun hoá, • T t o tài li u, • c l p h th ng ph n m m, 2005 B môn CNFM – H Công ngh 24 o Tính liên tác đ Tính liên tác đ c c là gì?: n l c đòi h i đ ghép HT ch ng trình vào m t h th ng khác là ch p nh n đ c Các đ đo liên quan: • • • • 2005 t ng đ ng giao ti p, t ng đ ng d li u, khái quát, môđun hoá B môn CNFM – H Công ngh 25 p Các nhân t ch t l ng ph n m m FURPS c a Hawlett-Packard... ra c a ch ng trình là ch p nh n đ c, kh n ng nh lâu Các đ đo liên quan: ̇ d thao tác, ̇ Kh n ng hu n luy n 2005 B môn CNFM – H Công ngh 19 i Tính b o trì đ c Tính b o trì đ c là gì?: n l c c n đ đ nh v và xác đ nh đ c 1 l i trong ch ng trình là ch p nh n đ c Các đ đo liên quan: ̇ súc tích, ̇ hoà h p, ̇ Trang b đ ngh đ , ̇ mođun hoá, 2005 ̇ ̇ ̇ B môn CNFM – H Công ngh t c p tài li u, đ n gi n d hi u,... hoà h p, Khu ch tr ng đ c, ̇ khái quát, ̇ mođun hoá, ̇ T c p tài li u, ̇ đ n gi n - d hi u, B môn CNFM – H Công ngh 21 m Tính th nghi m đ Tính th nghi m đ c c là gì?: n l c c n đ th nghi m ch ng trình và b o đ m r ng nó th c hi n đúng ch c n ng d đ nh là ch p nh n đ c Các đ đo liên quan: ̇ ki m toán đ c, ̇ ph c t p, ̇ Trang b đ ngh đ , ̇ môđun hoá, ̇ T c p tài li u, ̇ đ n gi n - d hi u, 2005 B môn CNFM ... nghi p v ) ̈ Ph n m m ch a phù h p v i yêu c u ng m ch t l ng đáng nghi ng ÜC n làm rõ yêu c u đ a vào đ c t nhi u t t 2005 B môn CNFM – H Công ngh b Nhân t ̈ Hai lo i m c đ nh h nh h ng lên ch t... l nv tđ c B môn CNFM – H Công ngh 15 e Tính tin c y đ c ̈ Tính tin c y đ c gì?: có th trông đ i vào s th c hi n ch c n ng d ki n m c xác đ c đòi h i ̈ Các đ đo liên quan: • xác, • ph c t p, •... – H Công ngh 18 h Tính kh d ng Tính kh d ng Là gì?: công s c đ h c hi u, thao tác, chu n b đ u vào, th hi n đ u c a ch ng trình ch p nh n đ c, kh n ng nh lâu Các đ đo liên quan: ̇ d thao tác,