đảm bảo chất lượng phần mềm và kiểm thử chương 5 độ do tin cậy ,chất lượng ,an toàn

§¹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 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
2005 B môn CNFM – i hc Công ngh 2
̈  do cht lng
̈  tin cy
̈ An toàn
¬ 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 4,5 và 6. chng 16,17,19, 21,24,25
¬ E.M.Bennatan, Software Project Management : a practitioner’s
approach
, McGRAW-HILL Book Company, 2001
Ni dung – Tài liu
2005 B môn CNFM – i hc Công ngh 3
 Cht lng phn mm thng đc phát biu nh
nhng
đc trng đnh tính: mm do, d bo trì,
 Không th đo trc tip đc trng, mà ch có th đo gián
tip:
đo các th hin ca chúng.
 Ch đo đc mt s cái gì đólàth ra ca cht lng –

đ đo ca đc trng t
ng mt cht lng
phn mm.
 Ngoài đo đc cn các hot đng SQA khác
I. o cht lng phn mm
2005 B môn CNFM – i hc Công ngh 4
̈ Ch s cht lng v cu trúc thit k - DSQI
(Design Structured Quanlity Index - IEEE Standard
982.1-1988)
̈ Thành phn nào to thành cu trúc H thng?
̈ Các đi lng nào liên quan đn DSQI ?
a. Ch s cht lng cu trúc: DSQI
2005 B môn CNFM – i hc Công ngh 5
H thng phn mm có 2 thành phn chính:
̈ Chng trình:
 Các thành phn (môđun) và đc trng mi loi
 Mi quan h gia các thành phn
̈ D liu:
 Các file
 Cu trúc file
 c trng d liu
a1. Yu t to nên cu trúc
1. Cn chn nhng đi
lng nào?
2. Tính nh th nào?
2005 B môn CNFM – i hc Công ngh 6
Các đi lng đo đc đ tính DSQI :
̇ S1 = tng s các môđun trong kin trúc chng trình
̇
S2 = s môđun có chc nng ph thuc d liêu vào:

• d liuvào t ngun
• d liu vào do th tc ngoài môđun sinh ra.
a3. Các đi lng đc trng thành phn
2005 B môn CNFM – i hc Công ngh 7
̈ Mô t hai đi lng:
̇ S1 = tng s các môđun,
̇ S2 = các môđun ph thuc ngun d liu vào
a3. Các đc trng cu trúc thành phn(t)
1
3
2
s
2
= 3
2005 B môn CNFM – i hc Công ngh 8
̈ Các đi lng dùng đ tính DSQI (tip):
̇ S3 = s các môđun chc nng ph thuc vào x lý
trc đó
.
̇ S4 = s các môđun vi li vào và li ra duy nht (x
lý ngoi l không đc xem là li ra bi
).
a3. Các đc trng cu trúc thành phn(t)
2005 B môn CNFM – i hc Công ngh 9
̈ Mô t các đi lng:
̇ S3 = s các môđun ph thuc vào x lý trc đó.
̇ S4 = s các môđun vi li vào và li ra duy nht.
x lý
x lý
x lý

S3 = 4, s4= 3
a3. Các đc trng cu trúc thành phn(t)
2005 B môn CNFM – i hc Công ngh 10
̈ Các giá tr đc dùng đ tính DSQI(tip):
̇ S5 = tng s các khon mc d liu (các đi tng
d liu, các file và tt c các thuc tính xác đnh
chúng).
̇ S6 = s các khúc d liu (các bn ghi khác nhau
hoc các đi tng đn l).
̇
S7 = s các khon mc d liu đáng chú ý.
a4. Các đc trng cu trúc d liu
========
========
== && =
== && =
== && =
** %% $$==
S6=3
2005 B môn CNFM – i hc Công ngh 11
̈ Nhng giá tr trung gian cn tính:
̇ D1 (cu trúc chng trình) =1 khi thit k kin trúc dùng
ch 1 phng pháp nht đnh; và =0 khi khác.
̇ D2 (
 đc lp d liu ca môđun) = 1- (S2/S1).
̇ D3 (
 đc lp x lý ca môđun) = 1- (S3/S1).
̇ D4 (
đc trng vào/ra ca môđun) = 1- (S4/S1).
̇ D5 (

kích c c s d liu) = 1- (S6/S5).
̇ D6 (
 phân chia c s d liu) = 1- (S7/S5).
a5. Các ch s cht lng cu trúc
2005 B môn CNFM – i hc Công ngh 12
̈ Công thc tính ch s SQ ca thit k:
DSQI = Sw
i
.D
i
, Sw
i
=1
̇ Cn ghi li DSQI ca các thit k thành công trc
đây, tính trung bình ca chúng
̇ Nu DSQI ln này xa giá tr trung bình đóthìcn tip
tc công vic thit k và rà soát.
a6. Công thc tính DSQI
i=1
6
i=1
6
2005 B môn CNFM – i hc Công ngh 13
̈ Lý thuyt ca Halstead dùng các ch s c bn
sau đ đo khi lng chng trình-
mã ngun
̇
n
1
là s các toán t (operator) khác nhau có mt

trong chng trình
̇
n
2
là s các phép toán c bn (operand) khác nhau
có mt trong chng trình
̇
N
1
là tng s ln xut hin ca các toán t
̇ N
2
là tng s ln xut hin ca các phép toán c bn
b. Khoa hc phn mm ca Halstead
2005 B môn CNFM – i hc Công ngh 14
̈ Lý thuyt ca Halstead đo các đ đo c bn:
̇  dài chng trình N = N
1
.log
2
n
1
+ N
2
.log
2
n
2
̇ Dung lng chng trình = N log
2

(n
1
+n
2
)
̇  tt v dung lng chng trình đt đc:
Dung lng tithiucachng trình 2 n
2
= x
Dung lng thct cachng trình n
1
N
2
b1.  đo v mã ngun
L =
luôn nh hn 1 và Xét đi vi mt ngôn ng c th. Gn 1 là tt
2005 B môn CNFM – i hc Công ngh 15
Ngôn ng Mc
PL1 1,53
ALGOL 68 2,12
FORTRAN 1,14
Assembler 0,88
b2. Sè ®o mc ca ng«n ng
Halsstead cho rng mi ngôn ng có mt mc ngôn ng
Nó xác đnh quy mô trung bình ca 1 đn v chng
trình
. S này ch ph thuc vào chính ngôn ng lp trình.
Có ngi cho rng nó ph thuc c vào ngi lp trình
na. Thc nghim đo đc nh sau:
Tính đc khi

lng chng
trình da trên
đánh giá s đn
v chng trình
2005 B môn CNFM – i hc Công ngh 16
̈ McCabe xác đnh s đ  p ca
chng trình (mã ngun) da trên đ phc tp
chu trình trong đ th chng trình ca mt
môđun.
̇ S chu trình có chu trình lng nhau (=3)
̇ S chu trinh nhiu nht trong mt chu trình (=5)
̈ Ngi ta cng dùng các min phng
ca đ th phng đ biu din đ th
chng trình
c. S đo đ phc tp ca McCabe
2005 B môn CNFM – i hc Công ngh 17
̈ Ch s trng thành phn mm: SMI (Software Mutirity
Index) (IEEE Standard 982.1-1988): cho bit tính n đnh
ca sn phm phn mm đc phát trin
̈ S trng thành ca phn mm liên quan đn s phát
trin quy mô
và tính n đnh liên quan đn s thay đi
các thành phn cu trúc
ca phn mm theo thi gian
̈ ây là đ đo bo trì
d. Ch s cht lng bo trì: SMI
2005 B môn CNFM – i hc Công ngh 18
̈ Các tham s s dng đ tính SMI:
̇ T = s các môđun phát hành ln này
̇

Fc = s các môđun có thay đi trong ln này
̇
Fa = s các môđun đc thêm vào trong ln này
̇ Fd = s các môđun ca ln phát hành trc b b đi
trong ln này
d1. Các đi lng tham gia SMI
2005 B môn CNFM – i hc Công ngh 19
̈ Ch s trng thành phn mm (đ đo bo trì)
đc tính nh sau:
̈ Khi SMI gn bng 1 thì sn phm bt đu n
đnh
M
T
–F
a
-F
c
-F
d
SMI
=

M
T
d2. Công thc tính và ý ngha ca SMI
2005 B môn CNFM – i hc Công ngh 20
̈ Bo đm cht lng thng kê phn ánh mt xu
th
ngày càng tng trong công nghip.
̈ Th nào là đm bo cht lng da trên thng

kê?
e. m bo cht lng thng kê
2005 B môn CNFM – i hc Công ngh 21
̈ Bng cách thng kê d liu khim khuyt phn mm
khi phát trin và tìm cách kh b nó.
xxxxxxx
sssssss
sssnnn
ffffffvnvvvv
kkkk
mmmvvvv
iipiuu
bbthhjkkk
e1. Khái nim đm bo cht lng thng kê
Thu thp &
phân loi DL
khim khuyt
Ln vt tìm
nguyên nhân
Các
nguyên
nhân
nhân
Cô lp 20%
nguyên nhân
Loi b 20%
nguyên nhân
Cô lp->80% li
20%Nguyên
nhân

xxxxxxx
sssssss
sssnnn
ffffffvnvvvv
kkkk
mmmvvvv
iipiuu
bbthhjkkk
Nguyên lý Pareto
2005 B môn CNFM – i hc Công ngh 22
Công vic bao gm:
̇ Thu thp và phân loi các thông tin v các khim
khuyt phn mm.
̇ Ln vt đ tìm nguyên nhân
̇ Dùng nguyên lý Pareto cô lp 20% nguyên nhân có
th tng ng vi 80 khim khuyt
̇ Tin hành chnh sa đ loi b nguyên nhân ca
khim khuyt
e2. Công vic đm bo cht lng thng kê
2005 B môn CNFM – i hc Công ngh 23
̈ Các nguyên nhân gây ra khim khuyt có th là:
̇ c t không đy đ hoc sai sót (IES).
̇ Hiu nhm khi giao tip vi khách hàng (MCC).
̇ Lch hng d đnh khi đc t (IDS).
̇ Vi phm các chun lp trình (VPS).
̇ Sai trong biu din d liu (EDR).
̇ Không phù hp ca giao din môđun (IMI).
̇ Sai trong logic thit k (EDL).
e3. Các nguyên nhân ca khim khuyt
2005 B môn CNFM – i hc Công ngh 24

̈ Các nguyên nhân gây ra khim khuyt có th là:
̇ Th nghim sai hoc không đy đ (IET)
̇ Tài liu vit không đy đ hoc không chính xác (IID)
̇ Sai khi dch thit k sang ngôn ng lp trình (PLT)
̇ Giao din ngi máy m h hoc không phù hp.
(HCI)
̇ Các linh tinh khác (MIS)
e3. Các nguyên nhân ca khim khuyt (t)
2005 B môn CNFM – i hc Công ngh 25
̈ Tính ch s khim khuyt cho mi bc chính
trong phát trin phn mm.
̈ Các thông tin đ tính mc đ khim khuyt:
̇ D
i
= tng s các khim khuyt
̇
S
i
= s các khim khuyt nghiêm trng
̇
M
i
= s các khim khuyt va phi
̇
T
i
= s các khim khuyt nh
e4. Tham s khim khuyt mi bc