狠狠撸

L? thuy?t
Ki?m Tra Ph?n M?m
Bài 08: K? thu?t g? r?i – s?a l?i

GV: Nguy?n Ng?c Tú
Email: nntu@hoasen.edu.vn
B? m?n: K? thu?t Ph?n m?m

N?i dung

Khái ni?m
K? thu?t vét c?n
Ph??ng pháp Qui n?p
Ph??ng pháp suy di?n
Ph??ng pháp l?n v?t
Ph??ng pháp ki?m tra
Các nguyên t?c g? r?i
Ph?n tích l?i

NNTu Software Testing S2008 2

Khái ni?m

G? r?i là c?ng vi?c th?c hi?n sau khi th?c
hi?n thành c?ng TC
TC ???c g?i là thành c?ng (pass)
ch??ng trình kh?ng làm gì khác v?i nh?ng gì nó
?? ???c thi?t k?
Quá trình g? r?i th?c hi?n
Xác ??nh - ??nh v? l?i
S?a l?i


Khái ni?m

?i?u ki?n c?n và ??
?? Ki?m th?
Các y?u t? ?nh h??ng
cho th?y r?ng ng??i l?p trình ch?a hoàn h?o, còn
ph?m l?i
là ho?t ??ng g?y m?t m?i nh?t v? m?t tinh th?n
có th? b? m?t ph??ng h??ng


K? thu?t vét c?n

Ph? bi?n
ít t? duy, ít g?y m?t m?i v? m?t tinh th?n
Kh?ng hi?u qu?
Th??ng kh?ng thành c?ng
Ph??ng pháp Brute Force ???c ph?n chia
thành 3 lo?i
kh?ng có ??nh h??ng.
theo các dòng báo tiên ?oán c?a ch??ng trình.
v?i các c?ng c? g? r?i t? ??ng


K? thu?t vét c?n

G? r?i v?i th?ng tin k?t xu?t
Hi?n th? th? d? li?u ? các n?i
K?t xu?t b? nh? ít khi chính xác ?? xác ??nh l?i
Kh?ng có m?t ph??ng pháp c? th? ph?n tích
Ch? ra v? trí l?i khu v?c l?i
C?ng c? g? r?i t? ??ng
Chèn thêm vào ch??ng trình các dòng l?nh h? tr?
th?c hi?n t?ng b??c
Cho phép ?ánh d?u các dòng l?nh thi hành



b?t ??u t? m?t manh m?i và quan sát m?i
quan h? gi?a các manh m?i.
manh m?i có th? là m?t d?u hi?u v? l?i, ho?c là
k?t qu? c?a 1 hay nhi?u test case



Xác ??nh d? li?u phù h?p
B??c ??u tiên là li?t kê t?t c? nh?ng d?u hi?u cho
là l?i
Các l?i t??ng t? nh?ng khác nhau mà TC kh?ng
ph?i là nguyên nh?n g?y l?i
T? ch?c các d? li?u quan t?m ?? tìm l?i theo
các m?u thu?n



??t ra m?t gi? thuy?t

Ch?ng minh gi? thuy?t
b?ng cách so sánh nó v?i các manh m?i g?c hay
d? li?u ?? ch?c ch?n r?ng gi? thuy?t này hoàn
toàn làm sáng t? tình tr?ng c?a các manh m?i
S?a l?i


Ph??ng pháp Suy di?n

??y là quá trình lo?i tr? và làm r? d?n các
nguyên nh?n
Ng??c v?i ph??ng pháp quy n?p
B?t ??u ?i t? các “nghi ng?” l?i x?y ra


Ph??ng pháp Suy di?n

L i?t kê các nguyên nh?n, gi? thuy?t có th?
d?n t?i x?y ra l?i
S? d?ng d? li?u ch?y th? ?? lo?i b? d?n các
nguyên nh?n
Làm r? các gi? thuy?t còn l?i
Ch?ng minh các gi? thuy?t


Ph??ng pháp l?n v?t

Hi?u qu? trong ??nh v? l?i trong các ch??ng
trình nh?
Quay lui l?i quá trình x? l? trong ch??ng trình
cho ??n khi tìm th?y ?i?m x? l? kh?ng ?úng
logic


Ph??ng pháp ki?m tra

Ki?u cu?i cùng là dùng chính các TC ?? l?n
b??c xác ??nh l?i c?a ch??ng trình
S? d?ng t?ng ?i?u ki?n riêng l? ?? tìm l?i


Các nguyên t?c g? r?i

N?u b? b? t?c, h?y gác nó l?i
N?u b? b? t?c, H?y m? t? l?i v?n ?? cho 1
ng??i khác
H?y dùng m?t c?ng c? g? r?i duy nh?t nh? là
cách vi?n tr? th? 2
Tránh s? th? nghi?m – S? d?ng nó nh? là k?
sách cu?i cùng


Ph?n tích-s?a l?i

Ch? nào ?? có 1 l?i thì có kh? n?ng có m?t
l?i khác
T?p trung s?a l?i, nh?ng kh?ng ch? t?p trung
vào m?t d?u hi?u l?i
Kh? n?ng s?a chính xác kh?ng ph?i 100%
Kh? n?ng s?a chính xác gi?m khi kích th??c
c?a ch??ng trình t?ng lên
Kh? n?ng s?a m?t l?i có th? t?o ra m?t l?i
m?i


Ph?n tích-s?a l?i

N?i ??u l?i phát sinh
Ai t?o ra l?i
Cái gì ?? th?c thi/k?t thúc kh?ng ?úng
Có th? ng?n ng?a l?i này nh? th? nào
T?i sao l?i kh?ng ???c phát hi?n s?m
L?i có th? phát hi?n s?m b?ng cách nào


Bài t?p - ??c hi?u


??c thêm

[1]. Chapter 07


Q/A


狠狠撸

Bai08 ky thuatdebug-k-trpm@softtesting-nntu

Recommended

More Related Content

Viewers also liked (19)

Similar to Bai08 ky thuatdebug-k-trpm@softtesting-nntu (20)

Bai08 ky thuatdebug-k-trpm@softtesting-nntu