§¹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
M BO CHT LNG PHN MM
VÀ KiM TH
NguyÔn V¨n Vy
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þ
THM NH VÀ XÁC MINH
Phn III
2005 B môn CNFM – i hc Công ngh 3
NguyÔn V¨n Vþ
̈ Các loi kim th
̈ Thm đnh và xác minh
Ni dung – Tài liu
¬ 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)
¬ Ian Sommerville. Software Engineering, Sixth Edition, Addion
Wesley, 2001
, Phn 5 và 6. chng 20
¬ E.M.Bennatan, Software Project Management : a practitioner’s
approach
, McGRAW-HILL Book Company, 2001
¬ Nguyn Vn V, Nguyn Vit Hà. Giáo trình k ngh phn mm,
i hc Công ngh, HQGHN, 2006.
2005 B môn CNFM – i hc Công ngh 4

NguyÔn V¨n Vþ
g2. Mô hình kim th h thng
D liu qua giao
din có th sai
, gây
sai, phóng đi sai
sai?
Phóng đi
sai?
Gây sai?
sai?
2005 B môn CNFM – i hc Công ngh 7
NguyÔn V¨n Vþ
g3. Các loi kim th h thng
1. Kim th chc nng (mc h thng)
2. Kim th phc hi (
chu li)
3. Kim th an ninh (
sc chu tn công)
4. Kim th thi hành (
thông sut, kp thi)
5. Kim th chu ti (
qui mô, giá tr nhy cm)
2005 B môn CNFM – i hc Công ngh 8
NguyÔn V¨n Vþ
g4. Kim th chc nng mc h thng
̌ Chc nng mc h thng bao gm các chc
nng giao din, các chc nng mc ngi
dùng hay đu ra cui cùng khi h thng
̌ Các chc nng này thng mang tính tích hp.

đánh giá
thi gian trung bình đ sa chatrong gii
hn
cho phép hay không?
g4. Kim th phc hi
2005 B môn CNFM – i hc Công ngh 11
NguyÔn V¨n Vþ
̌ Là kim tra mi c ch bo v đc xây dng trong
h thng xem có đt hiu qu đ ra 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c mt”,
“ngang xn” và “sau lng”.
̌ Khi th nghim an ninh, ngi kim th s
đóng vai
trò ca k đt nhp.
g5. Kim th an ninh
2005 B môn CNFM – i hc Công ngh 12
NguyÔn V¨n Vþ
¸ V nguyên tc: Mi đt nhp là có th nu đ thi gian
và ngun lc.
¸ Bài toán thit k h thng an ninh đ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
g5. Kim th an ninh

ca phn mm khi h thng đc tích
hp
.
̌ kim th thi hành xut hin trong tt c các b
c
ca
quá trình kim th, tuy nhiên ch
khi tt c các phn t
ca
h thng đã đc tích hp thì kim th mi thc
s là chc chn
.
̌ Vic thi hành đúng bao gm c s lng, cht lng
(
hot đng và hiu nng)
g7. Kim th thi hành
2005 B môn CNFM – i hc Công ngh 15
NguyÔn V¨n Vþ
¸ Thng 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 chuyên
dng. Vì cn đo s tng hp ngun lc (trong, ngoài)
và Nh dng c ngoi lai đ 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.
¸ Có th làm bc l
 các tình th dn
đns suy gim
hiu nng hoc tht bi h thng tim n.
g7. Kim th thi hành
2005 B môn CNFM – i hc Công ngh 16

NguyÔn V¨n Vþ
¸ Mt k hoch phác ra nhng lp kim th cn tin
hành và
mt th tc kim th xác đnh các ca kim
th s thc hin
đ thuyt minh s phù hp vi các
yêu cu.
¸ C k hoch & th tc đ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 hành đã chính xác,
̈ Tài liu đúng đn và
̈ Các yêu cu khác là tho đáng.
h1. Khái nim kim th chp nhn
2005 B môn CNFM – i hc Công ngh 19
NguyÔn V¨n Vþ
¸ Sau mi ca kim th, phn mm  vào mt trong 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.
̈ Các lch lc so vi đc t và mong đi đc phát
hin và mt danh sách
các khim khuyt đc to
ra.
Các sai sót không chnh sa trong giai đon này.
Thng phi tho lun li vi khách hàng đ thit
lp mt phng pháp gii quyt các sai lch này.
h2. Tiêu chun kim th thm đnh
2005 B môn CNFM – i hc Công ngh 20

¸ Khi phn mm dành cho nhiu ngi đt hàng, thì
kim th chp nhn bi mt khách hàng là không thc
t. Quá trình kim th alpha và kim th bêta
cho
nhiu ngi tin hành
là bt buc. Ch nhng ngi
s dng đu cui mi có th phát hin đc các sai
cho lp ngi dùng đa dng.
h3.2. Kim th Alpha & Beta n khách
2005 B môn CNFM – i hc Công ngh 23
NguyÔn V¨n Vþ
¸ kim th alpha đc bên phát trin tin hành:
̈ Phn mm đc ngi dùng thc hin trong bi cnh “t
nhiên”
̈ Ngi phát trin “nhòm qua vai” ngi s dng đ báo cáo
các sai và các vn đ s dng (vì th còn gi là
kim th
sau lng
).
¸ kim th alpha đc tin hành trong mt môi trng
đc điu khin
(theo k hoch ca ngi phát trin).
¸ D liu cho kim th Alpha thng là d liu môphng
h3.3. Kim th Alpha
2005 B môn CNFM – i hc Công ngh 24
NguyÔn V¨n Vþ
¸ kim th bêta đc nhiu ngi đt hàng tin hành ,
không có mt Ngi phát trin.
¸ kim th bêta là áp dng trong môi trng thc, không
có s kim soát ca ngi phát trin.