Đảm bảo chất lượng phần mềm và kiểm thử

Đạ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 BI 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 Ph n II KI M TH 2005 B mụn CNFM PH N M M i h c Cụng ngh N i dung Ti li u Khỏi ni m ki m th Cỏc lo i ki m th Th m nh v xỏc minh Roger S Pressman Soft ware Engineering, a Pract it ioners Approach 3th Edition, McGraw-Hill, 1992, B n dich c a Ngụ Trung vI t, Ph n 4, t p (Ch ng 17, 18, 23 b n 2001) Ian Sommerville Software Engineering, Sixth Edition, Addion Wesley, 2001, Ph n v ch ng 20 E.M.Bennatan, Soft ware Proj ect Managem ent : a pract it ioners approach, McGRAW-HILL Book Company, 2001 2005 B mụn CNFM i h c Cụng ngh H Ki m th th m nh Khi k t thỳc ki m th tớch h p thỡ ph n m m ó hon ton c l p rỏp m t gúi, cỏc sai giao di n ó c b c l v ch nh s a, v m t lo t cỏc ki m th ph n m m cu i cựng b t u - ki m th th m nh Th m nh l th ng l i n u cỏc ch c n ng ph n m m m t ch ng m c no ú l cú th tho mong i h p lý c a ng i t hng M c tiờu th m nh: xem ph n m m cú ỏp ng yờu c u khỏch hng khụng? c 2005 B mụn CNFM i h c Cụng ngh h1 Khỏi ni m ki m th th m nh(t) Cỏi mong i h p lý c a khỏch hng ó c xỏc nh c t yờu c u ph n m m (mụ t cỏc tớnh ch t ng i dựng nhỡn th y c),bao g m c mụ t c g i l tiờu chu n ki m th ph n m m Th m nh ph n m m c th c hi n thụng qua m t lo t cỏc ki m th h p en thuy t minh s phự h p v i cỏc yờu c u 2005 B mụn CNFM i h c Cụng ngh h1 Khỏi ni m ki m th th m nh(t) M t k ho ch ki m th phỏc nh ng l p ki m th c n ti n hnh v m t th t c ki m th xỏc nh cỏc ca ki m th s c dựng thuy t minh s phự h p v i cỏc yờu c u C k ho ch ny v th t c ny c thi t k b o m r ng t t c cỏc yờu c u c tho món, cỏc yờu c u thi hnh t c, ti li u ỳng n v cỏc yờu c u khỏc c tho 2005 B mụn CNFM i h c Cụng ngh h2 Tiờu chu n ki m th th m nh Sau m i ca ki m th ph n m m vo m t hai tr ng h p sau: Cỏc c tớnh ch c n ng ho c s th c hi n phự h p v i c t v c ch p nh n M t l ch l c so v i c t c phỏt hi n v m t danh sỏch cỏc m khuy t c t o t cỏc sai sút c ch nh s a giai o n ny Th ng ph i th o lu n l i v i khỏch hng thi t l p m t ph ng phỏp gi i quy t cỏc l ch l c ú 2005 B mụn CNFM i h c Cụng ngh h3 R soỏt c u hỡnh M t y u t quan tr ng c a quỏ trỡnh th m nh l r soỏt c u hỡnh (ụi c g i l ki m toỏn) R soỏt ny b o m r ng cỏc y u t c a c u hỡnh ph n m m ó th c s c phỏt tri n, l p danh m c, v cú cỏc chi ti t c n thi t tr giỳp pha b o trỡ c a vũng i ph n m m 2005 B mụn CNFM i h c Cụng ngh h4 Ki m th Alpha v Beta Ng i phỏt tri n khụng th oỏn tr c c khỏch hng th c s dựng m t ch ng trỡnh nh th no Cỏc ch d n s d ng cú th b hi u l m Cỏc t h p d li u l cú th b s d ng nh k u l rừ rng i v i ng i ki m th l i khú hi u i v i ng i dựng 2005 B mụn CNFM i h c Cụng ngh nh ng cú th H4.1 Ki m th Alpha & Beta khỏch Khi cỏc ki m th ph n m m dnh cho m t ng i t hng thỡ m t lo t ho t ng c ti n hnh ch khỏch hng th m nh m i yờu c u Ti n hnh ki m th ny l ng i s d ng u cu i ch khụng ph i l ng i t hng ki m th ch p thu n cú th ti n hnh vi tu n ho c vi thỏng m t l n, nh ú m b c l c cỏc l i tớch lu lm suy gi m h th ng theo th i gian 2005 B mụn CNFM i h c Cụng ngh 10 m11.2 Ho t ng ki m soỏt s thay i(t) check out m t i t ng c u hỡnh d a trờn yờu c u i thay ó c ch p thu n v th t i thay k thu t cho phộp ng i k s ph n m m M t ch c n ng ki m soỏt truy c p s b o m r ng ng i k s ph n m m ú cú th m quy n check out cỏi i t ng ú & cỏc ki m soỏt ng b s khoỏ i t ng ú c s d li u d ỏn cho khụng th c p nh t c d li u ny cho n phiờn b n check out hi n th i c thay th 2005 B mụn CNFM i h c Cụng ngh 65 m11.2 Ho t ng ki m soỏt s thay i(t) Chỳ ý r ng cỏc b n khỏc cú th c check out nh ng khụng th c c p nh t M t b n c a i t ng ng m c (g i l phiờn b n trớch ly) c c i biờn b i k s ph n m m Sau b o m ch t l ng ph n m m v ki m th thỡ phiờn b n ó c c i biờn c a i t ng ú c check in c i t ng v ng m c m i ny c m khoỏ 2005 B mụn CNFM i h c Cụng ngh 66 m11.2 Ho t ng ki m soỏt s thay i(t) ng m c c t o i t ng ú ó c r soỏt k thu t chớnh th c & ó c ch p thu n Sau ú ki m soỏt i thay m c d ỏn c th c thi Tr c h t ng i phỏt tri n ph i c s ch p thu n c a ng i qu n lý d ỏn (n u d ỏn l c c b ) ho c c s ch p thu n c a ng i cú th m quy n ki m soỏt i thay (n u n u i thay nh h ng t i cỏc kho n m c c u hỡnh ph n m m khỏc) 2005 B mụn CNFM i h c Cụng ngh 67 m11.3 V n ki m soỏt s thay i Quỏ trỡnh ki m soỏt thay i v i nhi u th t c quỏ ch t ch cú nguy c t o quan liờu Khụng t ch c v kiờm tra t t, s ki m soỏt thay i cú th d n n c n tr ti n trỡnh phỏt tri n H u h t cỏc ng i phỏt tri n ph n m m u cú c ch ki m soỏt i thay (c ng nhi u ng i ch ng cú!), h ó t o m t s t ng ki m soỏt trỏnh nh ng v n núi trờn 2005 B mụn CNFM i h c Cụng ngh 68 m11.4 Th c ti n ki m soỏt s thay i Trong m t s tr ng h p s t o sinh nhi u th t c chớnh th c: cỏc yờu c u, cỏc bỏo cỏo thay, v cỏc th t i thay k thu t l c b qua Tuy nhiờn vi c ỏnh giỏ t ng i thay v n c ti n hnh v t t c cỏc i thay v n c theo dừi v c r soỏt ki m soỏt i thay chớnh th c c hỡnh thnh s n ph m ó c phõn phỏt cho khỏch hng Th m quy n ki m soỏt thay i úng m t vai trũ tớch c c t ng th hai v th ba Ph thu c vo kớch c v c tớnh c a d ỏn ph n m m 2005 B mụn CNFM i h c Cụng ngh 69 m11.4 Th c ti n ki m soỏt s thay i(t) Ng i cú th m quy n c n cú cỏi nhỡn t ng th , ỏnh giỏ c nh h ng c a thay i i v i cỏc y u t bờn ngoi cỏc kho n m c c u hỡnh ph n m m: Thay i nh h ng t i: ph n c ng nh th no? s th c thi nh th no? s nhỡn nh n c a khỏch hng i v i s n ph m nh th no? ch t l ng v tin c y c a s n ph m nh th no?, v nhi u cõu h i khỏc n a 2005 B mụn CNFM i h c Cụng ngh 70 n Ki m toỏn c u hỡnh Minh nh, ki m soỏt phiờn b n, ki m soỏt thay i, giỳp cho ng i phỏt tri n trỡ m t tr t t , trỏnh c tỡnh th h n n Tuy nhiờn c cỏc c c u ki m soỏt thnh cụng nh t c ng ch theo dừi m t thay i cho n m t i t ng c u hỡnh k thu t c sinh ra; lm th no b o m s i ú th c s c th c thi? C n cú hai ho t ng: r soỏt k thu t chớnh th c, ki m toỏn c u hỡnh 2005 B mụn CNFM i h c Cụng ngh 71 n Ki m toỏn c u hỡnh (t) R soỏt k thu t chớnh th c t p trung vo s ỳng n k thu t c a i t ng c u hỡnh c c i biờn Ng i r soỏt ỏnh giỏ: s phự h p v i cỏc kho n m c c u hỡnh khỏc, s b sút v cỏc hi u ng ph khỏc Ki m toỏn c u hỡnh ph n m m b sung cho r soỏt k thu t chớnh th c b ng cỏch ỏnh giỏ m t i t ng c u hỡnh trờn cỏc c tớnh m th ng khụng c xột quỏ trỡnh r soỏt 2005 B mụn CNFM i h c Cụng ngh 72 n Ki m toỏn c u hỡnh (t) Ki m toỏn h i v tr l i cỏc cõu h i sau: Thay i c c t tr t t thay i k thu t ó c th c hi n hay ch a?, Nh ng c i biờn ph no ó c ph i h p? R soỏt k thu t chớnh th c ó c ti n hnh ỏnh giỏ s ỳng n k thu t hay ch a? Cỏc chu n k ngh ph n m m ó th c s c tuõn th ch a? 2005 B mụn CNFM i h c Cụng ngh 73 n Ki m toỏn c u hỡnh (t) Ki m toỏn h i v tr l i cỏc cõu h i sau (ti p): Thay i ú ó n i b t lờn cỏc kho n m c ph n m m ch a? Cú c t ngy & tỏc gi c a thay i ú? Cỏc thu c tớnh c a i t ng c u hỡnh ú ó ph n ỏnh c i thay ú ch a? Cỏc th t c qu n lý c u hỡnh giỏm sỏt, ghi l i v bỏo cỏo v nú cú c tuõn th hay khụng? T t c cỏc kho n m c c u hỡnh ph n m m liờn quan ó th c s c c p nh t ch a? 2005 B mụn CNFM i h c Cụng ngh 74 n Ki m toỏn c u hỡnh (t) Trong m t vi tr ng h p cỏc cõu h i ki m toỏn nh l m t ph n c a r soỏt k thu t ph n m m; nh ng qu n lý c u hỡnh ph n m m l m t ho t ng chớnh th c thỡ ki m toỏn qu n lý c u hỡnh ph n m m c ti n hnh tỏch b i m t nhúm b o m ch t l ng 2005 B mụn CNFM i h c Cụng ngh 75 o Bỏo cỏo hi n tr ng Bỏo cỏo tỡnh tr ng c u hỡnh - CSR - (cũn g i l ki m toỏn tỡnh tr ng) l m t nhi m v qu n lý c u hỡnh ph n m m; nú tr l i cỏc cõu h i sau: Cỏi gỡ ó x y ra? Ai lm? X y no? S cũn nh h ng no khỏc n a? Thụng tin bỏo cỏo tỡnh tr ng c u hỡnh g n ch t v i cỏc nhi m v ph n ki m soỏt i thay 2005 B mụn CNFM i h c Cụng ngh 76 o Bỏo cỏo hi n tr ng(t) M i m t kho n m c c u hỡnh ph n m m c n nh m i ho c c c p nh t ch ng th thỡ m t n i dung (entry) c t o M i m t kho n m c c u hỡnh ph n m m c ch p thu n b i th m quy n thay i c u hỡnh (cú m t m nh l nh thay i k ngh c phỏt ra) thỡ m t n i dung (entry) c t o M i m t ki m toỏn c u hỡnh c ti n hnh thỡ cỏc k t qu c a nú c bỏo cỏo nh l m t ph n c a nhi m v bỏo cỏo tr ng thỏi c u hỡnh 2005 B mụn CNFM i h c Cụng ngh 77 o Bỏo cỏo hi n tr ng(t) u c a bỏo cỏo tỡnh tr ng c u hỡnh cú th c t trờn m t c s d li u tr c n cho nh ng ng i phỏt tri n ph n m m hay b o trỡ cú th truy c p cỏc thụng tin i thay Bỏo cỏo tỡnh tr ng c u hỡnh ph n m m úng m t vai trũ c t t th ng l i c a m t d ỏn phỏt tri n ph n m m l n Cỏc ng i phỏt tri n ph n m m cú th c g ng c i biờn cựng m t kho n m c c u hỡnh v i nh ng ý nh khỏc nhau, th m l mõu thu n 2005 B mụn CNFM i h c Cụng ngh 78 o Bỏo cỏo hi n tr ng(t) Bỏo cỏo tỡnh tr ng c u hỡnh giỳp ta lo i tr v n b t c p liờn quan nhi u ng i b ng cỏch c i thi n giao ti p gi a t t c h V n b t c p: i k ngh ph n m m cú th t n hng thỏng tr i xõy d ng ph n m m cho m t c t ph n c ng ó khụng dựng n a M t ng i nh n cỏc hi u ng ph nghiờm tr ng m t i thay c xu t ó khụng ý th c c r ng nú ó c th c hi n 2005 B mụn CNFM i h c Cụng ngh 79 [...]... là không th c t Và ph i dùng quá trình ki m th anpha và ki m th bêta cho nhi u ng i ti n hành đ b c l các sai mà có l ch các ng i s d ng đ u cu i m i có th phát hi n đ c 2005 B môn CNFM – i h c Công ngh 11 H4.3 Ki m th Alpha ¸ ki m th alpha đ c bên phát tri n ti n hành Ph n m m s đ cng i dùng dùng trong b i c nh t nhiên đ ng i phát tri n “nhòm qua vai” ng i s d ng và báo cáo các sai và các v n đ s... đó Ng i phát tri n c i biên và chu n b phân ph i b n phát hành b n hoàn thi n cho toàn b nh ng ng i đ t hàng 2005 B môn CNFM – i h c Công ngh 13 h5 Ki m th h th ng ¸ H th ng d a vào máy tính do nhi u bên xây d ng, ng i phát tri n ph n m m ch là m t ¸ Vi c ki m th h th ng d có nguy c “đ l i cho nhau” ¸ Ng i phát tri n ph n m m c n đoán tr c các v n đ giao di n có th n y ra, và ¸ Phát hi n các thi t k... mô ph ng các d li u x u ho c các sai ti m tàng khác t i giao di n ph n m m ¸ Báo cáo các k t qu ki m th đ làm ch ng c phòng ng a đ l i cho nhau ¸ Nh ng ng i tham gia vào trong vi c ho ch đ nh và thi t k các ki m th h th ng sao cho k ho ch và ki m th b o đ m ph n m m đ c ki m th đ y đ 2005 B môn CNFM – i h c Công ngh 15 h5 Ki m th h th ng (t) Phóng đ i sai? D li u qua giao di n có th sai, gây sai, phóng... h8 Ki m th áp l c ¸ Các k thu t h p tr ng và h p đen đ c dùng đ đánh giá ch c n ng và s thi hành c a ch ng trình bình th ng ¸ Ki m th áp l c là v n hành h th ng đòi h i ngu n l c v i s l ng, t n su t và c ng đ d th ng ¸ M t lo i khác c a th nghi m áp l c là ki m th nh y c m: c g ng làm b c l các t h p d li u (l p d li u vào có hi u l c) hay s ki n mà có th gây ra vi c x lý không n đ nh ho c không chính... th 2005 B môn CNFM – i h c Công ngh 24 I1 Ti n trình g r i ¸ Quá trình g r i luôn d n t i hai kh n ng: ̈ Tìm ra nguyên nhân, ch nh s a và kh đ ̈ Không tìm đ c nguyên nhân Tr ng h p này, ng i g l i có th nguyên nhân nào đó và c n thi t k giúp vi c th m đ nh nghi ng và nh l i d n đ n ti p t c ki m th nh m Ki m th 2005 L i c l i nghi ng m t s m t ca ki m th đ v y công vi c tìm sai t vòng l p r i Tìm ra... n đ th i gian ch không ph i là v n đ x lý B môn CNFM – i h c Công ngh 26 I1 Ti n trình g r i (t) Có th khó tái th hi n các đi u ki n đ u vào ( ng d ng th i gian th c,th t đ u vào không xác đ nh) Tri u ch ng có th là b gián đo n (các h nhúng v i liên k t ph n c ng và ph n m m không tháo r i đ c) Tri u ch ng có th do các nguyên nhân đ c phân tán trong m t s các nhi m v ch y trên các b x lý khác nhau... môn CNFM – i h c Công ngh 27 I2 V n đ tâm lý trong g l i ¸ Nhi u ch ng c cho r ng tài g l i là m t th b m sinh c a con ng i ¸ Ng i này thì gi i g l i, k khác l i không; và r t khó d y và khó h c g l i ¸ Tuy nhiên ng i ta c ng đã có vài đ xu t ph ng cách g l i 2005 B môn CNFM – i h c Công ngh 28 I3 Các cách th c g r i ¸ Nói chung có 3 l a ch n cách g l i: ̈ ̈ ̈ 2005 V d ng vô m u L n theo v t c Lo... can thi p c a con ng i: ph i đánh giá th i gian trung bình đ s a ch a và xác đ nh xem li u nó đã trong gi i h n ch p nh n đ c không? 2005 B môn CNFM – i h c Công ngh 18 h7 Ki m th an ninh ¸ Ki m tra c ch b o v đ c xây d ng trong h th ng xem có đ t hi u qu tr c các đ t nh p hay không? ¸ Xét t t c các lo i đ t nh p có th “tr x n” và “sau l ng” ¸ Khi th nghi m an ninh, ng c ak t nh p 2005 B môn CNFM –... đ th i gian và ngu n l c ¸ Bài toán thi t k h th ng đ t ra là: ̈ làm cho vi c đ t nh p t n phí nhi u h n giá tr thu đ c do đ t nh p ̈ Công s c b ra xây d ng công c b o v ph i ít h n giá tr m t đi n u b đ t nh p Chi phí công c b o v < l i ich do b o v kh i đ t nh p Chi phí đ đ t nh p > l i ích thu đ c t đ t nh p 2005 B môn CNFM – i h c Công ngh 20 h8 Ki m th áp l c ¸ Các k thu t h p tr ng và h p đen... thì ki m th m i có th th c s là ch c ch n 2005 B môn CNFM – i h c Công ngh 22 h9 Ki m th thi hành(t) ¸ ki m th thi hành đôi khi g n li n v i ki m th áp l c vì c hai th ng đòi h i các d ng c ph n c ng và ph n m m ó là do c n đo s t ng h p ngu n l c (trong, ngoài) Nh d ng c ngo i lai đ th giám sát các kho ng v n hành, các s ki n ng t (log) khi nó xu t hi n, có th l y m u các tr ng thái máy ¸ ki m th ... th ng i s d ng đ u cu i ch không ph i ng i đ t hàng ¸ ki m th ch p thu n có th ti n hành vài tu n ho c vài tháng m t l n, nh mà b c l đ c l i tích lu làm suy gi m h th ng theo th i gian 2005 B... – i h c Công ngh 26 I1 Ti n trình g r i (t) Có th khó tái th hi n u ki n đ u vào ( ng d ng th i gian th c,th t đ u vào không xác đ nh) Tri u ch ng có th b gián đo n (các h nhúng v i liên k t ph... m t ¸ ng m c gi i đ đánh d u vi c phân phát m t vài kho n m c c u hình ph n m m - SCI ¸ T i đ ng m c kho n m c c u hình ph n m m t ng ng đ c đ a vào c s d li u d án 2005 B môn CNFM – i h c Công