§¹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 HOC
M BO CHT LNG PHN MM
VÀ KiM TH
NguyÔn V¨n Vþ
Email: , mobile: 0912.505.291
Hà ni - 2005
2005 B môn CNFM – i hc Công ngh 2
Nguy

n V

n V

KIM TH PHN MM
Phn II
2005 B môn CNFM – i hc Công ngh 3
Nguy

n V

n V

̈ Khái nim kim th
̈ Các loi kim th
̈ Thm đnh và xác minh
¬ 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 (Chng
17, 18, 23 –bn 2001)


̇ Mun nhìn thy phn mm nh mt phn t ca
h thng hot đng (xem sn phm)
̇ Hn ch chi phí cho các tht bi do li gây ra sau
này
(hiu qu)
̇ Có k hoch tt nâng cao cht lng sut quá
trình phát trin
(gii pháp).
a. Lý do kim th phn mm
2005 B môn CNFM – i hc Công ngh 6
Nguy

n V

n V

̈ Chi phí ca kim th chim:
̈ 40% tng công sc phát trin
̈ ≥ 30% tng thi gian phát trin
̈ Vi các phn mm có nh hng ti sinh mng, chi
phí có th gp
t 3 đn 5 ln tng các chi phí khác
cng li.
̈ Kim th tt s:
̈ Gim chi phí phát trin
̈ Tng đ tin cy ca sn phm phn mm
b.Vai trò kim th phn mm
2005 B môn CNFM – i hc Công ngh 7
Nguy

d. Quan nim v mt kim th tt
2005 B môn CNFM – i hc Công ngh 9
Nguy

n V

n V

¸ Ca kim th thng li làm l ra khim khuyt, đng
thi mang li các
li ích ph là thuyt minh:
̇ Chc nng tng ng vi đc t (xác minh),
̇ Thc thi phù hp yêu cu & đc t (thm đnh, xác
minh)
̇ Cung cp các ch s đ tin cy & cht lng
(thm đnh)
.
¸ Tuy nhiên, kim th không th khng đnh rng phn
mm không có khim khuyt
e. Li ích khác ca kim th
2005 B môn CNFM – i hc Công ngh 10
Nguy

n V

n V

g. Mô hình ch V - Các mc kim th
Phân tích
yêu cu

¸ Kim th tích hp
(integration testing)
¸ Kim th h thng
(system testing)
̇ KT chc nng (functional test: system&interface)
̇ KT phc hi (recovery test)
̇ KT chu ti (extra: stress & load test)
̇ KT thi hành (performance test)
̇ KT an ninh (security test)
g. Các mc – loi hình kim th
2005 B môn CNFM – i hc Công ngh 12
Nguy

n V

n V

¸ Kim th chp nhn (aceptance testing)
̈ Kim th alpha (alpha testing)
̇ Ngi dùng thc hin
̇ Trong môi trng đc qun lý
̈ Kim th beta (beta testing)
̇ Ngi dùng thc hin
̇ Trong môi trng thc
g. Các loi hình kim th (t)
2005 B môn CNFM – i hc Công ngh 13
Nguy

n V


chnh sa
c t
phn mm
Cu hình
kim th
D đoán
đ tin cy
Phn mm
tin cy
Phn
mm
cha
tin
cy
2005 B môn CNFM – i hc Công ngh 15
Nguy

n V

n V

k. Tin trình thc hin kim th
Thit k
Ca kim th
Chun b
d liu,đk
Tin hành
kim th
So sánh,
đánh giá

̇ cung cp kh nng tht s phát hin đc các sai
m. Khái nim v thit k ca kim th
2005 B môn CNFM – i hc Công ngh 17
Nguy

n V

n V

B. Kim th hp trng
a. Khái nim kim th hp trng
̌ i tng: mã ngun
̌ Mc: các mô đun đn v
̌ Ni dung là Khám xét:
̇ các chi tit th tc (thut toán)
̇ con đng logic (
lung điu khin)
̇ các trng thái ca chng trình (
d liu).
2005 B môn CNFM – i hc Công ngh 18
Nguy

n V

n V

a. Khái nim kim th hp trng
¬ Vn đ, tr ngai:
Ü S con đng lôgíc là rt ln: mt chng trình
nh

2005 B môn CNFM – i hc Công ngh 20
Nguy

n V

n V

̈ Yêu cu đt ra:
Ü Mi con đng đc lp trong mt môđun cn
đc thc hin ít nht mt ln.
Ü
Mi ràng buc logic đc thc hin c hai phía
đúng (true) & phía sai (false).
Ü
Tt c các vòng lp  biên ca nó & c các biên
vn hành phi đc thc hiên.
Ü
Mi cu trúc d liu ni ti đc dùng đ bo
đm hiu lc thi hành ca nó
c. Yêu cu kim th hp trng
2005 B môn CNFM – i hc Công ngh 21
Nguy

n V

n V

̈ Vì sao tn tin cho kim th hp trng?
̇ Các sai logic & gi thit không đúng t l nghch
vi xác sut

n V

f0. Khái nim v đ th dòng
̈
Là mt k thut da trên cu trúc điu khin ca
chng trình.
̈ Gn ging đ th lung điu khin ca chng trình.
̈ Nhn đc t đ th lung điukhin bng cách:
• gp các lnh tun t
• thay lnh r nhánh và đim kt thúc ca các đng
điu khin bng 1 nút v t
f. K thut đ th dòng
2005 B môn CNFM – i hc Công ngh 24
Nguy

n V

n V

̈ Cu trúc gm:
̇ mi nút (hình tròn) biu th mt hay mt s lnh tun t,
hoc thay cho đim hi t các đng điu khin.
̇ mi cnh ni hai nút biu din dòng điu khin,
̈ Kt qu đ thi dòng:
̇ Chia mt phng thành nhiu min.
̇ Có
nút v t biu th s phân nhánh hoc hi nhp ca
các cung.
f1. Cu trúc đ th dòng
2005 B môn CNFM – i hc Công ngh 25