đảm bảo chất lượng phần mềm và kiểm thử chương 1 tông quan về môn học

2005
B môn CNFM – H Công ngh 1
BÀI GiNG CAO HC
M BO CHT LNG PHN
MM VÀ KiM TH
Email: , mobile: 0912.505.291
Hà ni -2005
XXXXXXXXXXX
XXXXXXXXXXX
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
2005
B môn CNFM – H Công ngh 2
̈ Khái nim v đm bo cht lng
̈ Các hot đng đm bo cht lng
̈ Rà soát và kim th phn mm
¬ Nguyn Vn V, Nguyn Vit Hà. Giáo trình k ngh phn mm, Khoa CNTT, i
hc Công ngh, 2006
¬ 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
¬ Ian Sommerville. Software Engineering, Sixth Edition, Addion Wesley, 2001, Phn
5 và 6.
¬ E.M.Bennatan, Software Project Management : a practitioner’s approach,
McGRAW-HILL Book Company, 2001,
Phn 2
Ni dung – Tài liu
2005
B môn CNFM – H Công ngh 3
̌ Yêu cu: nm vng
̈ Các khái nim

̈ Các hat đng đm bo cht lng
̈ Các k thut kim th
̌ Chun b: đc trc, nghe, tho lun
̌ Kim tra đánh giá:
̇ Tiu lun (30%)
̇ Vn đáp (70%)
Yêu cu, đc đim môn hc
2005
B môn CNFM – H Công ngh 4
1. m bo cht lng phn mm
(Software Quality Assurance - SQA)
̈ Khái nim cht lng phn mm
º Cht lng phn mm là gì?
º Các đc trng ca cht lng?
º Các thc đo cht lng?
º Làm th nào đ đm bo cht lng?
2005
B môn CNFM – H Công ngh 5
a. nh ngha cht lng sn phm
Cht lng sn phm là mc đ đt đc các đc
trng hay nhng thuc tính náo đóca nó (T đin
American Heritage). Chng hn:
̇
Cht lng thit k (cu trúc)
̇ S hoàn thin (tính nng, kiu dáng, )
̇ S lâu bn (thi gian dùng, đ mòn c, )
̈ Cht lng mt sn phm:
2005
B môn CNFM – H Công ngh 6
b. nh ngha cht lng phn mm

Cht lng ca sn phm đc th hin bng các đc
trng phù hp vi đc t
ca nó [Crosby,1979]
Cht lng phn mm là s đáp ng các yêu cu chc
nng, s hoàn thin
và các chun (đc t) đc phát
trin,
các đc trng mong ch t mi phn mm chuyên
nghip (ngm đnh).
̈ nh ngha (khác):
̈ nh ngha cht lng phn mm
2005
B môn CNFM – H Công ngh 7
c. Vn đ cht lng đi vi phn mm
̈ Nhng đc trng phn mm
̇ Phn mm là vô hình
̇ Phn mm không mòn c, hng hóc, nhng thoái hóa
̇ Phn mm thay đi theo thi gian
̈ Vn đ đt ra cho đm bo cht lng phn mm
º Làm sao làm l ra nhng đc trng cht lng?
º Nhng yu t nào nh hng đn các đc trng đó?
º Làm sao nhn bit và đo đc các đc trng?
º Làm th nào kim soát các yu t không đo đc?
2005
B môn CNFM – H Công ngh 8
d. C s xem xét cht lng phn mm
̇
Yêu cu phn mm phi là c s xem xét:
• S phù hp vi yêu cu là có cht lng
Ü Yêu cu cn đc đc tt

̇ ánh giá đc s hoàn thin chc nng: cn đ đo
̇ Kim tra s tuân th các chun: có chun và áp dng
̇ áp ng đc s mong ch ca ngi dùng: nhn
bit và kim tra s đáp ng
̈ Xem xét cht lng:
2005
B môn CNFM – H Công ngh 9
d1. C s xem xét cht lng phn mm
̈ Cái gì là C s xem xét cht lng phn
mm?
đi
tng
thc
Yêu
cu
phn
mm
c
t
yêu
cu
Thit
k
phn
mm
Sn
phm
phn
mm
S hình thành sn phm phn mm bt đu t yêu cu

Tr giúp
2005
B môn CNFM – H Công ngh 10
e. Xác minh và thm đnh phn mm
̌ Xác minh là kim tra xem phn mm có đúng đc t
hay không (cái đi chiu đã có).
̌ Thm đnh là kim tra xem phn mm có đáp ng
đúng yêu cu ngi dùng hay không
̌ Do phn mm có các
đc trng khác sn phm
thông thng khác, nên vic kim chng nó phi
đc thc hin đng thi bng c hai hot đng trên
̌ Xác minh và kim đnh vì th bao trùm sut quá trình
phát trin và s dng phn mm
2005
B môn CNFM – H Công ngh 11
f. Thc t liên quan đn yêu phn mm
Nhng vn đ liên quan đn xác đnh yêu cu
º Yêu cu có th b b sót
º Các yêu cu t nhiên nên không đc đc t
º Phn mm có yêu cu mà cha có đc t
º Phn mm có đc t nhng li mù m
¬ Vì vy, cùng vi vic đc t tt làm c s cho xác minh cn
áp dng các gii pháp thm đnh hiu qu.
2005
B môn CNFM – H Công ngh 12
g. Nhng vn đ liên quan đn đc t
 B sót yêu cu
 Có các yêu cu ngm ít đc nhc đn
:

• Quá thông dng, hin nhiên (s dng ca s)
• Ít đc th hin ra ngoài (quy tc nghip v)
¬ Phn mm cha phù hp vi các yêu cu
ngm thì cht lng cng đáng ng
 Có nhng sai sót khi đc t
2005
B môn CNFM – H Công ngh 13
h. Hot đng kim chng theo sn phm
Các
yêu
cu
phn
mm
c
t
Yêu
cu
Phn
mm
và
các
đc
trng
cht
lung
Xác minh
Thm đnh
đc t cha tt
đc t tt
cha đc t

Thm đnh
Thm đnh và xác minh là 2 hot đng chính ca đm bo
cht lng phn mm din ra sut quá trình phát trin
2005
B môn CNFM – H Công ngh 14
i. Các loi yêu cu phn mm
 Yêu cu ngi dùng:
• Yêu cu chc nng (s lng, mô t)
• Yêu cu phi chc nng (đo đc)
• Yêu cu min ng dng (chc nng & phi chc nng)
 Yêu cu ngi phát trin:
• Yêu cu h thng: các đc trng h thng
•
Yêu cu môi trng, công ngh và công c
phát trin
2005
B môn CNFM – H Công ngh 15
j. Thm đnh đc t yêu cu
 Lý do: c t
̇
Là c s đ phát trin (chiu đi)
̇
Là c s đ xác minh (chiu v)
Ü Cn thm đnh đc t
 Các ni dung thm đinh yêu cu:
̇ Tính đy đ
̇ Tính chính xác
̇ Không mâu thun
̇ Thc hin đc
2005

B môn CNFM – H Công ngh 16
k. Thm đnh phn mm
 Các hot đng thm đnh:
̇ Rà soát
̇ Kim toán
̇ Kim th ca ngi dùng
 C s thm đnh:
̇ S lng chc nng
̇ Mô t chc nng
̇ Các yêu cu phi chc nng (đo đc)
̇ Các yêu cu khác (chun,công ngh, công c, mong
mun)
2005
B môn CNFM – H Công ngh 17
m. Xác minh (verification) phn mm
 Hot đng xác minh:
̇ Rà soát
̇ Kim th
 C s đ xác minh
̇
Các đc t
̇ Các thit k (nu có)
2005
B môn CNFM – H Công ngh 18
n. Các hot đng đm bo khác
 Mt s hot đng khác
º S dng phng pháp công ngh, công c và tin trình
º Tuân theo các chun
º Không ch thay đi (vn là bn cht ca phn mm)
º To, qun lý báo cáo (tr giúp các hot đng – gián tip)

 Lý do
̇ Có nhng nhân t khác nh hng thc s lên cht lng
mà không phi là yêu cu
̇ Nhng nhân t liên quan đn quá trình phát trin: công
ngh, công c và qun lý
2005
B môn CNFM – H Công ngh 19
2. o các đc trng cht lng
Cht
lng
Sn
phm
Các
đc
trng
đnh
tính
cht
lng
Các
th
hin
đc
trng
Nhà phát
trin
Ngi dùng
Khái nim
C th hóa
2005

B môn CNFM – H Công ngh 20
a. o cht lng là gián tip
Cht
lng
Sn
phm
Các
đc
trng
đnh
tính
cht
lng
Các
th
hin
đc
trng
Các
th
hin
đo
đc
Các
đ đo
ca
th
hin
o gián tip
Nhà phát

trin
Ngi dùng
c trng s lng
2005
B môn CNFM – H Công ngh 21
b. o cht lng qua các th hin đo đc
Cht
lng
Sn
phm
Các
đc
trng
đnh
tính
cht
lng
Các
th
hin
đc
trng
Các
th
hin
đo
đc
Các
đ đo
ca

th
hin
o gián tip
Th hin nào?
 đo gì?
Tích hp ra sao?
Nhà phát
trin
Ngi dùng
2005
B môn CNFM – H Công ngh 22
̈ Không th có mi thc đo cn thit
º Nhiu th hin không có thc đo
º Các đ đo ch th hin 1 s mt ca đc trng
¬ Các kt qu không đm bo chc chn cht lng.
¬ Nhng có chúng tt hn không
c. Gii pháp cho đm bo cht lng
̈ S dng nhiu cách khác nhau
º Tin hành đo đc trng cht lng (nu có th )
º S dng các bin pháp kim soát các yu tnh hng
º Kt hp vi các kinh nghim và trc giá ngi dùng
º Tng cng hot đng qun lý các gii pháp đa ra
2005
B môn CNFM – H Công ngh 23
d. Nhân tnh hng lên cht lng
 tìm ra các th hin đo đc cn xét:
̈ Có bao nhiêu loi nhân tnh hng?
̈ Cách thc mà nó nh hng?
2005
B môn CNFM – H Công ngh 24

̈ 3 loi (theo McCall ) :
(1) đc trng chc nng
(2) kh nng đng đu vi nhng thay đi,
(3) kh nng thích nghi vi môi trng mi.
d1. Loi nhân tnh hng
2005
B môn CNFM – H Công ngh 25
̈ 3 loi (theo McCall ) :
(1) đc trng chc nng
(2) kh nng đng đu vi nhng thay đi,
(3) kh nng thích nghi vi môi trng mi.
d2. Loi nhân t và mc nh hng
̈ Mc đ nh hng:
̇ Nhân t trc tip (chc nng)
̇ Nhân t gián tip (nhng gì liên quan đn 1 và 2)
Các loi nhân t và mc đ nh hng: