đảm bảo chất lượng phần mềm và kiểm thử chương 5 độ do tin cậy ,chất lượng ,an toàn

§¹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 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 – i hc Công ngh 2 ̈  do cht lng ̈  tin cy ̈ An toàn ¬ 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 4 ¬ Ian Sommerville. Software Engineering, Sixth Edition, Addion Wesley, 2001 , Phn 4,5 và 6. chng 16,17,19, 21,24,25 ¬ E.M.Bennatan, Software Project Management : a practitioner’s approach , McGRAW-HILL Book Company, 2001 Ni dung – Tài liu 2005 B môn CNFM – i hc Công ngh 3  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: đo các th hin ca chúng.  Ch đo đc mt s cái gì đólàth ra ca cht lng – đ đo ca đc trng t ng mt cht lng phn mm.  Ngoài đo đc cn các hot đng SQA khác I. o cht lng phn mm 2005 B môn CNFM – i hc Công ngh 4 ̈ Ch s cht lng v cu trúc thit k - DSQI (Design Structured Quanlity Index - IEEE Standard 982.1-1988) ̈ Thành phn nào to thành cu trúc H thng? ̈ Các đi lng nào liên quan đn DSQI ? a. Ch s cht lng cu trúc: DSQI 2005 B môn CNFM – i hc Công ngh 5 H thng phn mm có 2 thành phn chính: ̈ Chng trình:  Các thành phn (môđun) và đc trng mi loi  Mi quan h gia các thành phn ̈ D liu:  Các file  Cu trúc file  c trng d liu a1. Yu t to nên cu trúc 1. Cn chn nhng đi lng nào? 2. Tính nh th nào? 2005 B môn CNFM – i hc Công ngh 6 Các đi lng đo đc đ tính DSQI : ̇ S1 = tng s các môđun trong kin trúc chng trình ̇ S2 = s môđun có chc nng ph thuc d liêu vào: • d liuvào t ngun • d liu vào do th tc ngoài môđun sinh ra. a3. Các đi lng đc trng thành phn 2005 B môn CNFM – i hc Công ngh 7 ̈ Mô t hai đi lng: ̇ S1 = tng s các môđun, ̇ S2 = các môđun ph thuc ngun d liu vào a3. Các đc trng cu trúc thành phn(t) 1 3 2 s 2 = 3 2005 B môn CNFM – i hc Công ngh 8 ̈ Các đi lng dùng đ tính DSQI (tip): ̇ S3 = s các môđun chc nng ph thuc vào x lý trc đó . ̇ S4 = s các môđun vi li vào và li ra duy nht (x lý ngoi l không đc xem là li ra bi ). a3. Các đc trng cu trúc thành phn(t) 2005 B môn CNFM – i hc Công ngh 9 ̈ Mô t các đi lng: ̇ S3 = s các môđun ph thuc vào x lý trc đó. ̇ S4 = s các môđun vi li vào và li ra duy nht. x lý x lý x lý S3 = 4, s4= 3 a3. Các đc trng cu trúc thành phn(t) 2005 B môn CNFM – i hc Công ngh 10 ̈ Các giá tr đc dùng đ tính DSQI(tip): ̇ S5 = tng s các khon mc d liu (các đi tng d liu, các file và tt c các thuc tính xác đnh chúng). ̇ S6 = s các khúc d liu (các bn ghi khác nhau hoc các đi tng đn l). ̇ S7 = s các khon mc d liu đáng chú ý. a4. Các đc trng cu trúc d liu ======== ======== == && = == && = == && = ** %% $$== S6=3 [...]...a5 Các ch s ch t l ng c u trúc ̈ Nh ng giá tr trung gian c n tính: ̇ D1 (c u trúc ch ng trình) =1 khi thi t k ki n trúc dùng ch 1 ph ng pháp nh t nh; và =0 khi 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 ( c tr ng vào/ra c a mô un) = 1- (S3/S1) = 1- (S4/S1) ̇ D5 (kích c c s d li u) ̇ D6 ( 20 05 = 1- (S6/S5) = 1- (S7/S5) phân chia c s d li u)... 20 05 B môn CNFM – i h c Công ngh 33 a Khái ni m v tin c y ph n m m ̈ “ i” c hi u là vi c không thi hành úng các yêu c u ph n m m ̈ Các thang b c th t b i: ̇ M c : t m t s phi n ph c n m t th m ho ̇ Th i gian: lo i tr m t th t b i có khi ch vài giây n c tu n, c tháng ̇ H u qu : lo i b t m t th t b i có th l i sinh ra l i khác và kéo theo th t b i khác 20 05 B môn CNFM – i h c Công ngh 34 b ¸ tin c y tin. .. ho t ng liên t c trung bình MTTR: th i gian s a xong l i trung bình 20 05 B môn CNFM – i h c Công ngh 35 b1 Công th c tin c y MTTF = (t11+ t21+ … tn1)/n MTTR =(t12+ t22+ … tn2)/n t1 t11 t5 t3 t12 t21 t22 t31 t2 t12 t41 t42 t51 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 ) 20 05 B môn CNFM – i h c Công ngh 36 ... p (HCI) ̇ Các linh tinh khác (MIS) 20 05 B môn CNFM – i h c Công ngh 24 e4 Tham s khi m khuy t m i b ̈ Tính ch s khi m khuy t cho m i b trong phát tri n ph n m m ̈ Các thông tin ̇ ̇ ̇ ̇ 20 05 Di = t Si = s Mi = s Ti = s tính m c c c chính khi m khuy t: ng s các khi m khuy t các khi m khuy t nghiêm tr ng các khi m khuy t v a ph i các khi m khuy t nh B môn CNFM – i h c Công ngh 25 e5 Ch s khi m khuy t... i th c ch t trong c qu n lý c ng nh trong k thu t tr c khi áp d ng ph ng pháp này 20 05 B môn CNFM – i h c Công ngh 32 II tin c y c a ph n m m A Khái ni m ¸ l tin c y ph n m m là m t nhân t quan tr ng c a ch t ng ph n m m ¸ tin c y ph n m m c o tr c ti p & c ánh giá qua các d li u phát tri n và các d li u l ch s ¸ tin c y ph n m m c nh ngh a theo thu t ng th ng kê là “xác su t thao tác không th t b... Nó xác nh quy mô trung bình c a 1 n v ch ng trình S này ch ph thu c vào chính ngôn ng l p trình Có ng i cho r ng nó ph thu c c vào ng i l p trình n a Th c nghi m o c nh sau: Ngôn ng PL1 ALGOL 68 FORTRAN Assembler 20 05 M c 1 ,53 2,12 1,14 0,88 B môn CNFM – Tính c kh i l ng ch ng trình d a trên ánh giá s n v ch ng trình i h c Công ngh 15 c S ̈ o ph c t p c a McCabe McCabe xác nh s pc a ch ng trình (mã... ph n m m theo th i gian ̈ 20 05 ây là o b o trì B môn CNFM – i h c Công ngh 17 d1 Các ̈ Các tham s s il ng tham gia SMI d ng tính SMI: ̇ ̇ ̇ ̇ 20 05 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 n này B môn CNFM – i h c Công ngh 18 i d2 Công th c tính và ý ngh a c a SMI ̈ Ch s tr... mmmvvvv iipiuu iipiuu 20 05 Lo i b 20% nguyên nhân Cô l p->80% l i i h c Công ngh bbthhjkkk 21 e2 Công vi c m b o ch t l ng th ng kê Công vi c bao 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 ̇ L nv t tìm nguyên nhân ̇ Dùng nguyên lý Pareto cô l p 20% nguyên nhân có th t ng ng v i 80 khi m khuy t ̇ Ti n hành ch nh s a lo i b nguyên nhân c a khi m khuy t 20 05 B môn CNFM – i h c... i và nh Tr ng s này c l ng m c thi t h i mà loa ó mang l i 20 05 B môn CNFM – i h c Công ngh 26 e6 Ch s khuy m khuy t t ng th ̈ Ch s khi m khuy t t ng h p tính nh sau: DI = (1PI1 + 2PI2 + 3PI3 + + iPIi)/PS Trong ó PS là kích c c a s n ph m (là LOC = s dòng mã, ho c s tuyên b thi t k , ho c s trang tài li u) tu theo t ng b c Theo công th c: h s khi m khuy t càng v b c sau càng l n T i sao? 20 05 B... tính úng n, ki m tra l i, chuy n t ng c t thành ch ng trình… ̈ Nh v y làm t ng ch t l 20 05 B môn CNFM – ng áng k i h c Công ngh 28 f1 Ch ng minh tính úng n ct ̈ T cu i th p k 70 Dijkstra và nhi u ng i khác ã nghiên c u v tính úng n c a ch ng trình (cho l p trình có c u trúc) là xét h ph ng trình quy ̈ IBM nghiên c u và s d ng thành công ngôn ng Z ch ng minh tính úng n ̈ Ngôn ng c t hình th c RAISE, v . CHT LNG PHN MM VÀ KiM TH Email: vynv@coltech.vnu.vn, mobile: 0912 .50 5.291 Hà ni -20 05 20 05 B môn CNFM – i hc Công ngh 2 ̈  do cht lng ̈  tin cy ̈ An toàn ¬ Roger S. Pressman D4 ( đc trng vào/ra ca môđun) = 1- (S4/S1). ̇ D5 ( kích c c s d liu) = 1- (S6/S5). ̇ D6 (  phân chia c s d liu) = 1- (S7/S5). a5. Các ch s cht lng cu trúc 20 05 B môn CNFM. s các môđun ph thuc vào x lý trc đó. ̇ S4 = s các môđun vi li vào và li ra duy nht. x lý x lý x lý S3 = 4, s4= 3 a3. Các đc trng cu trúc thành phn(t) 20 05 B môn CNFM – i hc