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 1

§¹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 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 N i dung – Tài li u ̈ ch t l ̈ tin c y ng ̈ An toàn ¬ Roger S Pressman Soft ware Engineering, a Pract it ioner’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 4,5 ch ng 16,17,19, 21,24,25 ¬ E.M.Bennatan, Soft ware Proj ect Managem ent : a pract it ioner’s approach, McGRAW-HILL Book Company, 2001 2005 B môn CNFM – i h c Công ngh I o ch t l ng ph n m m Ch t l ng ph n m m th ng đ c phát bi u nh nh ng đ c tr ng đ nh tính: m m d o, d b o trì, Không th đo tr c ti p đ c tr ng, mà ch có th đo gián ti p ch t l ng ph n m m Ch đo đ c m t bi u th ch t l ng ph n m m mà – ó đ đo c a đ c tr ng t ng m t ch t l ng ph n m m 2005 B môn CNFM – i h c Công ngh a Ch s ch t l ng c u trúc: DSQI ̈ Ch s ch t l ng v c u trúc thi t k - DSQI (Design Structured Quanlity Index - IEEE Standard 982.1-1988) ̈ Các đ i l ̇ ̇ 2005 ng đ c dùng d tính DSQI : S1 = t ng s môđun ki n trúc ch ng trình S2 = s môđun có ch c n ng ph thu c vào: • ngu n d li u đ u vào • th t c sinh d li u môđun B môn CNFM – i h c Công ngh a Ch s ch t l ̈ Mô t hai đ i l ng c u trúc: DSQI ng: ̇ S1 = t ng s môđun, ̇ S2 = môđun ph thu c vào ngu n d li u vào s2 = 2005 B môn CNFM – i h c Công ngh a Ch s ch t l ̈ ng c u trúc: DSQI Các đ i l ng đ tính ch s ch t l thi t k (ti p): ng c u trúc ̇ S3 = s môđun ch c n ng ph thu c vào x lý tr c ̇ S4 = t ng s kho n m c d li u (các đ i t ng d li u, t t c tính ch t xác đ nh đ i t ng đó) ̇ S5 = s kho n m c d li u đáng ý 2005 B môn CNFM – i h c Công ngh a Ch s ch t l ng c u trúc: DSQI ̈ Các giá tr đ c dùng d tính ch s ch t l trúc thi t k (ti p): ng c u ̇ S6 = s khúc d li u (các b n ghi khác ho c đ i t ng đ n l ) ̇ S7 = s môđun v i l i vào l i nh t (x lý ngo i l không đ c xem l i b i) 2005 B môn CNFM – i h c Công ngh a Ch s ch t l ng c u trúc: DSQI ̈ Các giá tr đ tính ch s ch t l k (ti p) ng c u trúc thi t ̇ S3 = s môđun ph thu c vào x lý tr c ̇ S7 = s môđun v i l i vào l i nh t x x lý lý x lý S3 = 3, s7= 2005 B môn CNFM – i h c Công ngh a Ch s ch t l ng c u trúc: DSQI ̈ Nh ng giá tr trung gian c n tính: ̇ D1 (c u trúc ch ng trình) =1 thi t k ki n trúc dùng ch ph ng pháp nh t đ nh; =0 khác ̇ D2 ( đ c l p d li u c a môđun) = 1- (S2/S1) ̇ D3 ( đ c l p x lý c a môđun) ̇ D4 (kích c c s d li u) = ̇ D5 ( = 1- (S3/S1) 1- (S5/S4) phân chia c s d li u) = 1- (S6/S4) ̇ D6 (đ c tr ng vào/ra c a môđun) = 1- (S7/S1) 2005 B môn CNFM – i h c Công ngh a Ch s ch t l ng c u trúc: DSQI ̈ Công th c tính ch s ch t l DSQI = i ng c u trúc thi t k : Swi.Di V i i ch y t đ n i Swi =1 ̇ C n ghi l i DSQI c a thi t k thành công tr đây, tính trung bình c a chúng c ̇ N u DSQI l n th p h n nhi u so v i giá tr trung bình c n ph i ti p t c công vi c thi t k rà soát 2005 B môn CNFM – i h c Công ngh 10 b Các ph ng pháp phân tích an toàn ̈ Dùng c xây d ng mô hình h th ng b ng cách đ c t s ki n hành đ ng t ng ng Mô hình s ki n – hành đ ng có th đ c phân tích b ng cách dùng toán t logic đ th nghi m quy t đoán an toàn đ i v i thành ph n c a h th ng đ nh th i gian cho chúng ̈ Mô hình l có th dùng đ xác đ nh xem l i nghiêm tr ng nh t 2005 B môn CNFM – i h c Công ngh 43 b Các ph ng pháp phân tích an toàn ̈ Sau minh đ nh phân tích hi m h a, đ c t yêu c u liên quan đ n an toàn ph n m m ̈ c t có th ch a m t danh sách s ki n không mong mu n đáp ng c a h th ng Nh v y vai trò c a ph n m m vi c qu n lý s ki n không mong mu n đ c ch rõ ̈ Xem xét đ ng có th d n đ n k t qu th t b i; Tìm g i pháp có th ng n ng a kh n ng x y 2005 B môn CNFM – i h c Công ngh 44 M t cách đ m b o ch t l ng ph n m m ̈ Nhi u nhà qu n lý th c hành không mu n thi t l p ch c n ng b o đ m ch t l ng ph n m m do: ̇ ̇ ̇ 2005 Vì ph i mi n c ng t t o kho n m c chi Các nhà th c hành c m th y làm đ m i vi c c n làm Không bi t đ t m t ch c n ng nh th B môn CNFM – i h c Công ngh 45 a Kh o sát nhu c u SQA ̈ M i t ch c phát tri n ph n m m đ u có c ch đánh giá ch t l ng ̈ m c th p nh t, ch t l ng trách nhi m c a tinh th n cá nhân k s , ng i rà soát, ng i th nghi m t ng m c thích h p ̈ m c cao nh t, m t nhóm SQA chuyên môn hoá v i trách nhi m thi t l p chu n th t c đ đ t đ c ch t l ng ph n m m có trách nhi m b o đ m chu n th t c đ c tuân th ̈ Câu h i cho m i t ch c là: Ta 2005 B môn CNFM – đâu? i h c Công ngh 46 a Kh o sát nhu c u SQA ̈ Tr c thi t l p th t c b o đ m ch t l ng th c, m i t ch c phát tri n ph n m m nên ch p nh n th t c, ph ng pháp công c công ngh ph n m m ̈ B c đ u tiên nh m t ph n c g ng đ t o th t c b o đ m ch t l ng ph n m m m t ki m toán SQA/SCM ̈ Cái tr ng thái hi n th i c a SQA SCM (qu n lý c u hình ph n m m) đ c đánh giá qua vi c kh o sát ba ch đ sau 2005 B môn CNFM – i h c Công ngh 47 a Kh o sát nhu c u SQA ̈ Ki m kê sách SQA: sách, th t c,chu n có pha phát tri n? ̈ ánh giá vai trò c a k ngh ph n m m, b o đ m ch t l ng t ch c hi n t i có quy n l c đ n đâu? ̈ ánh giá m i quan h SQA: Giao di n ch c n ng gi a SQA v i đ n v khác nh th nào? v i ng i th c hi n rà soát k thu t th c, qu n lý c u hình th nghi m 2005 B môn CNFM – i h c Công ngh 48 a Kh o sát nhu c u SQA ̈ M t ba câu h i đ c tr l i m c đ m nh hay y u đ c minh đ nh ̈ N u có nhu c u SQA c n ph i ti n hành đánh giá c n th n b ng quy t c b phi u 2005 B môn CNFM – i h c Công ngh 49 a Kh o sát nhu c u SQA ̈ SQA có nh ng l i ích sau đây: ̇ Ph n m m có m khuy t ti m n h n m t công s c th i gian ki m th b o trì ̇ tin c y cao h n khách hàng tho mãn h n ̇ Gi m phí t n b o trì ̇ Gi m phí t n t ng th toàn b vòng đ i c a ph n m m 2005 B môn CNFM – i h c Công ngh 50 a Kh o sát nhu c u SQA ̈ SQA có nh ng v n đ sau đây: ̇ Khó thi t l p m t t ch c nh : khó có ngu n l c đ th c hi n ho t đ ng c n thi t mà hi n ch a có ̇ Nó bi u th m t thay đ i có tính v n hoá: nên ch ng bao gi d dàng th c hi n ̇ Nó đòi h i tiêu t n không ti n 2005 B môn CNFM – i h c Công ngh 51 a Kh o sát nhu c u SQA ̈ Nguyên t c Chi phí: m c c b n SQA đ hi u qu v chi phí n u c xem C3 > C1 + C2 đây: ̇ C3 chi phí t sai SQA ̇ C1 chi phí cho SQA c a ch ng trình ̇ C2 chi phí sai không tìm th y ch trình có SQA 2005 B môn CNFM – i h c Công ngh ng 52 b L p k ho ch chu n SQA ̈ ANSI/IEEE STANDARDS 30-1984 983-1986 K ho ch SQA ̇ M c đích c a k ho ch ̇ Tài li u tham kh o ̇ Qu n lý • T ch c • Các nhi m v • Các trách nhi m 2005 B môn CNFM – i h c Công ngh 53 b L p k ho ch chu n SQA K ho ch SQA: ̈ Tài li u ̇ ̇ ̇ ̈ c yêu c u Các chu n, lu t l quy ̇ ̇ 2005 M c đích Tài li u công ngh ph n m m đ Các tài li u khác M c đích Các quy c c B môn CNFM – i h c Công ngh 54 b L p k ho ch chu n SQA ̈ Rà soát ki m toán ̇ M c đích ̇ Các rà soát • Rà soát yêu c u ph n m m • Rà soát thi t k • Rà soát ki m ch ng th m đ nh • Ki m toán ch c n ng • Ki m toán v t lý • Ki m toán bên trinh • Ki m toán qu n lý 2005 B môn CNFM – i h c Công ngh 55 b L p k ho ch chu n SQA ̈ K ho ch khác SQA ̇ ̇ ̇ ̇ ̇ ̇ 2005 Qu n lý c u hình ph n m m Báo cáo ch nh s a Kh ng ch mã Kh ng ch ph ng ti n Kh ng ch nhà cung c p Thu th p, b o trì b o qu n báo cáo B môn CNFM – i h c Công ngh 56 b L p k ho ch chu n SQA ̈ Các chu n SQA ̇ ̇ ̇ ̇ ̇ ̇ ̇ 2005 DOD-STD-2167A: công ngh ph n m m DOD-STD-2168: đánh giá ch t l ng ph n m m FAA-STD-018: chu n SQA cho FAA IEEE Sst 730-1984: k ho ch SQA IEEE Sst 983-1986: l p k ho ch SQA IEEE Sst 1028-1988: ki m toán rà soát ph n m m IEEE Sst 1012-1986: k ho ch ki m th th m đ nh ph n m m B môn CNFM – i h c Công ngh 57 [...]... liên t c trung bình MTTR là th i gian s a xong l i trung bình 2005 B môn CNFM – i h c Công ngh 29 a tin c y và đ s n sàng MTTF = (t 11+ t 21+ … tn1)/n MTTR =(t12+ t22+ … tn2)/n t1 t 11 t5 t3 t12 t 21 t22 t 31 t2 t12 t 41 t42 t 51 t52 … t4 Minh h a các l n th t b i x y ra (t1, t2, t3, …tn = nh p đ l i, ti1= làm vi c , ti2= s a l i ) 2005 B môn CNFM – i h c Công ngh 30 b tin c y MTBF ̈ MTBF là h u ích h n nhi... i ngôn ng có m t m c ngôn ng l xác đ nh quy mô trung bình c a đ n v ch ng trình S này ch ph thu c vào chính ngôn ng l p trình, nhi u ng i xem r ng nó ph thu c c vào ng i l p trình n a, th c nghi m cho hay: Ngôn ng PL1 ALGOL 68 FORTRAN Assembler 2005 B môn CNFM – M c 1, 53 2 ,12 1, 14 0,88 i h c Công ngh 15 d S đo đ ph c t p c a McCabe ̈ McCabe xác đ nh s đ pc a ch ng trình d a trên đ ph c t p chu trình... toán c b n B môn CNFM – i h c Công ngh 13 c Khoa h c ph n m m c a Halstead ̈ Lý thuy t c a Halstead dùng các s đo c b n sau: ̇ ̇ dài ch Dung l Dung l ng trình N = N1.log2 n1 + N2.log2 n2 ng ch ng trình = N log2 (n1+n2) ng t i thi u c a ch ng trình = Dung l 2005 ng th c s c a ch B môn CNFM – ng trình i h c Công ngh 2 -n1 n2 x -N2 14 c Khoa h c ph n m m c a Halstead Halsstead... trong phát tri n ph n m m c n tính ch s pha PIi: Pli = w1.(Si/Di) + w2.(Mi/Di) + w3.(Ti/Di) Trong đó w1, w2, w3 là tr ng s t ng ng v i các khi m khuy t nghiêm tr ng, v a ph i và nh Tr ng s này c l ng m c thi t h i mà loa đó mang l i 2005 B môn CNFM – i h c Công ngh 21 e ̈ m b o ch t l Ch s khi m khuy t DI đ ng th ng kê (t) c tính nh sau: DI = (PI1 + 2PI2 + 3PI3 + + iPIi)/PS Trong đó PS là kích c... (Sofware Mutirity Index) (IEEE Standard 982 .1- 1988): cho bi t tính n đ nh c a s n ph m ph n m m đ c phát tri n ̈ Nh ng tham s c n đ tính SMI: 2005 ̇ T = s các môđun phát hành l n này ̇ ̇ ̇ Fc = s Fa = s Fd = s trong l các môđun có thay đ i trong l n này các môđun đ c thêm vào trong l n này các môđun c a l n phát hành tr c b b đi n này B môn CNFM – i h c Công ngh 11 b Ch s ch t l ̈ Ch s tr nh sau: ng s n... nh v đ tin c y): ̇ Ph n l n l i tìm th y sau khi v n hành 14 tháng, ̇ Có r t ít l i ch đ c phát hi n sau d m ch c n m, ̇ Các l i còn l i v i MTBF kho ng 18 -24 tháng 2005 B môn CNFM – i h c Công ngh 31 c ̈ s n sàng s n sàng ph n m m là xác su t đ ch ng trình v n hành đúng v i yêu c u các th i đi m đã đ nh và đ c tính nh sau: MTTF/(MTTF + MTTR) x 10 0% 2005 ̇ Th hi n t l th i gian làm vi c trung bình trong... phát hi n s đ c lo i tr ngay l p t c và s l i còn l i gi m đi 1 ̇ Nh p đ th t b i gi a các l i là không thay đ i ̈ Các gi thi t này còn ph i bàn: vì m t l i đ c lo i tr thì có th nhi u l i khác l i đ c sinh ra 2005 B môn CNFM – i h c Công ngh 34 d Các mô hình đ tin c y(t) ̈ M t l p khác các mô hình đ tin c y ph n m m d a vào các đ c tr ng n i t i c a 1 ch ng trình và tính toán s d đoán các sai t n t... -MT ̈ Khi SMI g n b ng 1 thì s n ph m b t đ u n đ nh 2005 B môn CNFM – i h c Công ngh 12 c Khoa h c ph n m m c a Halstead ̈ Lý thuy t c a Halstead dùng các ch s c b n sau đ đo kh i l ng ch ng trình: 2005 ̇ n1 là s các toán t (operator) khác nhau có m t trong ch ng trình ̇ n2 là s các phép toán c b n (operand) khác nhau có m t trong ch ng trình ̇ N1 là t ng s l n xu t hi n c a các toán... thang b c: ̇ M c đ : có khi ch là s phi n ph c, có khi là m t th m ho ̇ Th i gian: lo i tr m t th t b i có khi ch vài giây, có khi m t c tu n, c tháng ̇ H u qu : Khi lo i b t m t th t b i thì có th l i sinh ra l i khác và kéo theo th t b i khác 2005 B môn CNFM – i h c Công ngh 28 tin c y và đ s n sàng a ¸ V i các h th ng d a trên máy tính thì m t s đo đ n gi n v đ tin c y là “ p” (MTBF) mà: MTBF = MTTF... Công ngh 16 e m b o ch t l ng th ng kê ̈ B o đ m ch t l ng th ng kê ph n ánh m t xu th ngày càng t ng trong công nghi p Công vi c g m: ̇ Thu th p và phân lo i các thông tin v các khi m khuy t ph n m m ̇ C g ng l n v t đ tìm nguyên nhân ̇ Dùng nguyên lý Pareto cô l p 20% khi m khuy t ̇ Sau khi tìm đ c nguyên nhân s ch nh s a các nguyên nhân c a khi m khuy t 2005 B môn CNFM – i h c Công ngh 17 e m b ... n sàng MTTF = (t 11+ t 21+ … tn1)/n MTTR =(t12+ t22+ … tn2)/n t1 t 11 t5 t3 t12 t 21 t22 t 31 t2 t12 t 41 t42 t 51 t52 … t4 Minh h a l n th t b i x y (t1, t2, t3, …tn = nh p đ l i, ti1= làm vi c , ti2=... ng i xem r ng ph thu c c vào ng i l p trình n a, th c nghi m cho hay: Ngôn ng PL1 ALGOL 68 FORTRAN Assembler 2005 B môn CNFM – M c 1, 53 2 ,12 1, 14 0,88 i h c Công ngh 15 d S đo đ ph c t p c a... Edition, McGraw-Hill, 19 92, B n dich c a Ngô Trung vI t, Ph n 4, t p ¬ Ian Sommerville Software Engineering, Sixth Edition, Addion Wesley, 20 01, Ph n 4,5 ch ng 16 ,17 ,19 , 21, 24,25 ¬ E.M.Bennatan,