Professional Documents
Culture Documents
CH 22
CH 22
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide1
Objectives
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide2
Topics covered
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide3
Verification vs validation
Verification:
"Are we building the product right.
The software should conform to its
specification.
Validation:
"Are we building the right product.
The software should do what the user really
requires.
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide4
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide5
V& V goals
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide6
V & V confidence
Software function
The level of confidence depends on how critical the
software is to an organisation.
User expectations
Users may have low expectations of certain kinds of
software.
Marketing environment
Getting a product to market early may be more
important than finding defects in the program.
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide7
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide8
Soft
insp
R
e
emen
High
quir
v
e
F
o
ma
l
De
r
Pr
o
g
r
a
specifi
tion
desig
spe
tion
de
Pr
ra
Pr
ototyp
te
Static and dynamic V&V
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide9
Program testing
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide10
Types of testing
Defect testing
Validation testing
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide11
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide12
T
e
st
T
e
Spec
result
c
a
Loca
te
Des
R
e
R
e
p
err
or
err
or
epa
err
oro
g
rar
The debugging process
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide13
V & V planning
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide14
R
eements
quir
S
y
stem
S
y
ste
De
specific
tion
specifi
tion
desi
de
S
y
stem
Sub
M
Accept
integ
r
a
t
ion
inte
r
a
t
ion
u
n
test
pl
test
test
an
p
Accep
S
y
ste
Sub
Service
test
integ
ra
tion
inte
ra
tio
The V-model of development
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide15
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide16
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide17
Software inspections
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide18
Inspection success
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide19
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide20
Program inspections
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide21
Inspection pre-conditions
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide22
Plannin
Ov
ervie
w
F
o
w
l
Indi
vidua
R
e
w
o
k
r
pr
epar
a
tInsp
ion
mee
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide23
Inspection procedure
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide24
Inspection roles
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide25
Inspection checklists
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide26
Inspection checks 1
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide27
Inspection checks 2
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide28
Inspection rate
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide29
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide30
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide31
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide32
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide33
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide34
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide35
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide36
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide37
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide38
Incremental development;
Formal specification;
Static verification using correctness arguments;
Statistical testing to determine program reliability.
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide39
F
o
mall
y
r
Err
or
e
w
o
k
r
specify
system
Define
Cons
F
o
ma
y
r
Int
r
a
t
e
softw
ar
e
struc
ed
v
e
rif
inc
em
incr
emen
pr
o
g
r
a
cod
m
De
v
e
lop
oper
tpr
a
ional
D
es
T
e
ofile
sta
tisti
in
r
a
t
e
test
sy
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide40
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide41
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide42
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide43
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide44
Key points
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide45
Key points
IanSommerville2004
SoftwareEngineering,7thedition.Chapter22Slide46