Bài giảng công nghệ phần mềm chương 9 kiểm thử và bảo trì phần mềm

Ph n V: Ki m th b o trì Test & Maintenance Editor: LÊ C NH NG Email: Nhuongld@yahoo.com Phone: 0987394900 Nhuongld Software Engineering, 2007 Ch ng 9: Ki m th ph n m m 9.1 Khái ni m ki m th 9.2 Ph ng pháp th 9.3 K thu t thi t k tr òng h p th 9.4 Ph ng pháp th mô un Nhuongld Software Engineering, 2007 9.1 Khái ni m ki m th nh ngh a ki m th : Là m u ch t c a m b o ch t l ng ph n m m Là ti n trình (và ngh thu t) nh m phát hi n l i b ng vi c xem xét l i Ki m th c t , thi t k mã hoá thành công phát hi n l i; ki m th không phát hi n l i ki m th d (Sue A.Conger- The New SE) Nhuongld Software Engineering, 2007 Nh ng khó kh n ki m th Nâng cao ch t l ch t l ng ph n m m nh ng không v t ng thi t k : ch phát hi n l i ti m tàng s a chúng Phát hi n l i b h n ch th c hi n th cơng D b nh h ng c a tâm lý ki m th Khó m b o tính y Nhuongld Software Engineering, 2007 c a ki m th i m l u ý ki m th 1) Ch t l ng ph n m m khâu thi t k quy t ch không ph i khâu ki m th 2) Tính d ki m th 3) Ng ph thu c vào c u trúc ch i ki m th ng nh ch y u, ng trình i phát tri n nên khác 4) D li u th cho k t qu bình th ng khơng có ý ngh a nhi u, c n có nh ng d li u ki m th mà phát hi n l i 5) Khi thi t k tr ng h p th , không ch d li u ki m th vào, mà ph i thi t k tr !c c d li u k t qu s" có 6) Khi phát sinh thêm tr tr nh p ng h p th nên th l i nh ng ng h p th tr !c ó tránh nh h ng lan truy n sóng Nhuongld Software Engineering, 2007 T ng ng gi a vòng it ng ph m vi c t ch c n ng Thi t k lơ gíc Thi t k V t lý C u trúc CT c t mô un Mã hố mơ un CT i d án ki m th Ki m th ch p nh n Ki m th h th ng Ki m tích h p Ki m VCT Ki m h i quy 9.2 Ph Ki m th ng pháp th : th bàn hay Ki m th t nh t nh: gi y bút bàn, ki m tra logic, l n t#ng chi ti t sau l p trình xong i xuyên su t (walk through) Thanh tra (inspection) Nhuongld Software Engineering, 2007 Ki m th máy G$ l i b ng máy (machine debug) hay ki m th máy ch y ch c a ch ng trình i u tra tr ng thái t#ng ng trình b !c c a trình t ki m th b ng máy Nhuongld Software Engineering, 2007 ng: Dùng ng tác Trình t ki m th b ng máy (1) Thi t k tr (2) Tr ng h p th theo th bàn ng h p th ph i có c k t qu k% v&ng s" thu (3) D ch ch (4) Khi tr ng trình ngu'n t o mô un t i ng h p th bàn vi c xác có x th c hi n lý t p vào-ra, ph i làm tr !c nh mi n c a t p Nhuongld Software Engineering, 2007 c Trình t ki m th b ng máy (ti p) p) (5) Nh p d li u ã thi t k cho tr (6) i u ch nh môi tr ng h p ki m th ng th c hi n mô un t i (t o th t c t p truy c p t p vào ch ng trình) (7) Th c hi n mơ un t i ghi nh n k t qu (8) Xác nh n k t qu v!i k t qu k% v&ng (9) L p l i thao tác (5)-(8) Nhuongld Software Engineering, 2007 a 9.3 K thu t thi t k tr ng h p th K thu t thi t k tr d a c a ch ng h p th ng trình: Ki m th c t b h p en (Black box test): WHAT ? K thu t thi t k tr c a ch ng h p th d a ng trình: Ki m th h p tr ng (white box test): HOW ? Ki m th Top-Down hay Bottom-Up Nhuongld Software Engineering, 2007 c t bên 9.3.1 Ki m th h p en Phân o n t ng ng Phân tích giá tr biên ốn l i Input Black Box Results Black box Data Testing Strategy Nhuongld Software Engineering, 2007 9.3.2 Ph ng pháp phân o n t ng (Equivalence Partition) M c ích: gi m s l li u i di n ng ng test b ng cách ch&n t p d Th c hi n: Chia d ki u vào thành o n, m i o n di n cho m t s d li u vi c ki m th i ch th c hi n i di n ó u i m: Test theo m c tr#u t ng h n tr hình, menu hay m c trình Nhuongld Software Engineering, 2007 ng áp d ng: 9.3.3 Ph ng pháp phân tích giá tr! biên (Boundary value analysis) Là tr ng h p riêng c a phân o n Thí d : n u mi n d li u tháng giá tr hay >12 không h pl Th Ph ng s d ng ki m th mơ un ng pháp ốn l"i (Error Guessing) D a vào tr c giác kinh nghi m Thí d l i chia cho N u mơ un có phép chia ph i ki m th l i Nh c i m: không phát hi n h t l i Nhuongld Software Engineering, 2007 9.3.4 Ph ng pháp (Cause-effect Graphing) (Cause- th! nguyên nhân - k t qu Mã tu n t Ph# !nh Or Nhuongld Software Engineering, 2007 and Do Until 9.3.5 Ki m th h p tr ng Bó l nh Bó r" nhánh Bó i u ki n Bó i u ki n - r" nhánh Input Results White Box Data Testing Strategy Nhuongld Software Engineering, 2007 9.3.6 Trình t thi t k Ki m th mơ un Ki m th tích h p - Ki m th tích h p xu ng - Ki m th tích h p d !i lên - Ki m th h'i qui Nhuongld Software Engineering, 2007 9.4 K thu t ki m th mơ un Ki m th tích h p mô un Ki m th d !i lên (Bottom-up Test) Ki m th xu ng (Top-down Test) Ki m th c t tr (Big bung Test) Ki m th k(p (Sandwich Test) Nhuongld Software Engineering, 2007 9.4.1 Ki m th d $i lên (Bottom (Bottom up Test) Các mô un m c th p c t) h p vào chùm th c hi n m t ch c n*ng Vi t trình i u n ph i h p vào/ ki m th Ki m th chùm/bó Lo i b+ trình i u n chuy n lên m c Nhuongld Software Engineering, 2007 9.4.1 Ki m th d $i lên Bottom Bottom up Test (Ti p) p) M c M c M c M c IX.20 Nhuongld Software Engineering, 2007 9.4.2 Ki m th xu ng (Top (Top down Test) Mơ un i u n c dùng nh trình i u n ki m th , g,n nút tr c ti p vào Thay nút b ng mơ un th c t i (theo chi u sâu / ngang) Ki m th t#ng mô un Các nút th xong c g,n vào c th ti p nút khác Ki m th h'i quy Nhuongld Software Engineering, 2007 9.4.2 Ki m th xu ng Top Top down Test (ti p) p) M c M c M c M c IX.22 Nhuongld Software Engineering, 2007 9.5 Ki m th c t tr (Big bung Test) Tích h p khơng t*ng d n T t các mơ un Tồn b ch u ng trình c t) h p tr !c c ki m th t)ng th Khó kh*n: khó cô l p l i, ch a xong l i có th l i m!i l i phát sinh Nhuongld Software Engineering, 2007 9.6 Sandwich Test Tích h p xu ng cho m c c u trúc ch ng trình Tích h p d !i lên cho m c ph thu c 9.7 Ki m th h th ng Ki m th ph c h'i: b,t bu c ph n m m h+ng nhi u cách ki m ch ng ph c h'i Ki m th an toàn: ki m ch ng c ch b o v Ki m th gay c n Ki m th hi u n*ng Nhuongld Software Engineering, 2007 ...Ch ng 9: Ki m th ph n m m 9. 1 Khái ni m ki m th 9. 2 Ph ng pháp th 9. 3 K thu t thi t k tr òng h p th 9. 4 Ph ng pháp th mô un Nhuongld Software Engineering, 2007 9. 1 Khái ni m ki m... Engineering, 2007 9. 4.1 Ki m th d $i lên (Bottom (Bottom up Test) Các mô un m c th p c t) h p vào chùm th c hi n m t ch c n*ng Vi t trình i u n ph i h p vào/ ki m th Ki m th chùm/bó Lo i b+ trình i u... p truy c p t p vào ch ng trình) (7) Th c hi n mô un t i ghi nh n k t qu (8) Xác nh n k t qu v!i k t qu k% v&ng (9) L p l i thao tác (5)-(8) Nhuongld Software Engineering, 2007 a 9. 3 K thu t thi