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 CAO H C M B O CH T L NG PH N M M VÀ Ki M TH Email: vynv@coltech.vnu.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 ̈ Khái ni m v ̈ Các ho t m b o ch t l ng m b o ch t l ̈ Rà soát ki m th ng ng ph n m m ¬ Nguy n V n V , Nguy n Vi t Hà Giáo trình k ngh ph n m m, Khoa CNTT, i h c Công ngh , 2006 ¬ 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 i m môn h c ̌ Yêu c u: n m v ng ̈ Các 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 m b o ch t l ng ph n m m (Software Quality Assurance - SQA) ̈ Khái ni m ch t l º Ch t l º Các º Các th ng ph n m m gì? c tr ng c a ch t l c o ch t l º Làm th 2005 ng ph n m m ng? ng? m b o ch t l B môn CNFM – H Công ngh ng? a nh ngh a ch t l ̈ Ch t l ng s n ph m ng m t s n ph m: 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 i n American Heritage) Ch ng h n: ̇ Ch t l ng thi t k (c u trúc) ̇ S hồn thi n (tính n ng, ki u dáng, ) ̇ S lâu b n (th i gian dùng, mòn c , ) 2005 B môn CNFM – H Công ngh b ̈ nh ngh a ch t l ng ph n m m nh ngh a (khác): Ch t l ng c a s n ph m c th hi n b ng tr ng phù h p v i c t c a [Crosby,1979] ̈ nh ngh a ch t l c ng ph n m m 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) 2005 B môn CNFM – H Công ngh c V n ch t l ng i v i ph n m m ̈ Nh ng c tr ng ph n m m ̇ Ph n m m vơ hình ̇ Ph n m m khơng mịn c , h ng hóc, nh ng thối hóa ̇ Ph n m m thay i theo th i gian ̈ V n º º º º 2005 t cho m b o ch t l ng ph n m m Làm làm l nh ng c tr ng ch t l ng? Nh ng y u t nh h ng n c tr ng ó? Làm nh n bi t o c c tr ng? Làm th ki m soát y u t không o c? B môn CNFM – H Công ngh d C s xem xét ch t l ng: ̈ Xem xét ch t l ̇ ng ph n m m Yêu c u ph n m m ph i c s xem xét: • S phù h p v i yêu c u có ch t l Ü Yêu c u c n c ct t ̇ ̇ ̇ ánh giá c s hoàn thi n ch c n ng: c n o Ki m tra s tuân th chu n: có chu n áp d ng áp ng c s mong ch c a ng bi t ki m tra s 2005 ng i dùng: nh n áp ng B môn CNFM – H Công ngh d1 C s xem xét ch t l ̈ Cái C ng ph n m m s xem xét ch t l ng ph n m m? Tr giúp i t ng th c S 2005 Yêu c u ph n m m c t yêu c u Thi t k ph n m m hình thành s n ph m ph n m m b t B môn CNFM – H Công ngh ut S n ph m ph n m m yêu c u e Xác minh th m nh ph n m m ̌ Xác minh ki m tra xem ph n m m có úng hay khơng (cái i chi u ã có) ct ̌ Th m nh ki m tra xem ph n m m có áp ng úng yêu c u ng i dùng hay không ̌ Do ph n m m có c tr ng khác s n ph m thông th ng khác, nên vi c ki m ch ng ph i c th c hi n ng th i b ng c hai ho t ng ̌ Xác minh ki m nh th bao trùm su t trình phát tri n s d ng ph n m m 2005 B môn CNFM – H Công ngh 10 m4 Danh m c rà sốt thi t k tồn b (t) i) Các chi ti t thi t k ch a? ã tuân theo ngôn ng th c hi n j) Dùng h i u hành dùng c tr ng ngơn ng ? k) Có dùng logic component ho c logic inverse? l) Kh n ng b o trì ã 2005 cl p c xét t i ch a? B môn CNFM – H Công ngh - 104 n Rà số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 - 105 n1 Danh m c rà soát 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ã phong cách ngơn ng , ghi e) Có ghi không úng 2005 n ho c m h ? B môn CNFM – H Công ngh - iv i 106 n1 Danh m c rà soát khâu l p mã(t) 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ó úng n hay khơng? h) Có ph i t t c kho n m c c a danh sách c áp d ng r ng rãi h n thi t k tr n v n tr c hay không? 2005 B môn CNFM – H Công ngh - 107 o 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 k thu t m b o ph ng pháp, chi n l c s d ng k ho ch t t c Lo i hình ki m th : ̇ ̇ ̇ ̇ 2005 Ki Ki Ki Ki m th n v (mô un) m th tích h p (ch c n ng) m th h th ng (ch c n ng, c tr ng h th ng) m th ch p nh n (alpha, beta) B môn CNFM – H Công ngh - 108 o1 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) Ph ̇ ̇ ̇ ̇ ̇ 2005 ng pháp ki m th : 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 - 109 o2 K ho ch ki m th 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 i 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 sốt q trình ki m th 2005 B môn CNFM – H Công ngh - 110 o3 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 - 111 o3 Danh m c rà soát k ho ch ki m th (t) 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 - 112 o3 Danh m c rà soát k ho ch ki m th (t) 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 c l p l ch j) Th nghi m áp l c cho ph n m m ã ch a? c 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 - ct c 113 o3 Danh m c rà soát k ho ch ki m th (t) k) Có ph i t t c ki m th ? ng logic cl p u c u ã c minh l) Có ph i t t c ca ki m th nh l p danh sách v i k t q a mong i? m)Vi c x lý sai có c ki m th ? n) Các giá tr biên có 2005 c ki m th ? B môn CNFM – H Công ngh - 114 o3 Danh m c rà soát k ho ch ki m th (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 - 115 o4 V n liên quan n rà sốt ki m th Ngồi vi c rà soát k ho ch th t c ki m th cịn c n rà sốt: ̇ c ch d ch v cho vi c làm ph n m m, ̇ ánh giá tính 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 i u tra v s công c ph n m m 2005 y & h u hi u c a vi c hu n c & s s n sàng c a B môn CNFM – H Công ngh - 116 p Danh m c rà số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) Các 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 bên quan tâm hay ch a? B môn CNFM – H Công ngh - i cho t t c 117 p Danh m c rà sốt b o trì ph n m m d) Các rà số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 nh 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 ki m th & c thay th hay ch a? 2005 B môn CNFM – H Công ngh - 118 ... (conciseness), nh t quán (consistancy), t ng ng d li u, B môn CNFM – H Công ngh 28 e Các ̈ McCall 10 11 12 13 14 15 16 2005 o ch t l ng xu t 21 o sau: dung th l i, hi u q a th c hi n, khu ch tr ng... McCall xu t 21 o ch t l ng(t) o sau: 17 T t o tài li u (self-doccumentation), 18 n gi n - d hi u, 19 c l p ph n m m, 20 l nv t c, 21 Kh n ng hu n luy n 2005 B môn CNFM – H Cơng ngh 30 e1 Tính úng... hố, T t o tài li u, c l p h th ng ph n m m, B môn CNFM – H Cơng ngh 50 e 11 Tính liên tác 11 Tính liên tác 2005 c c gì? B mơn CNFM – H Công ngh 51