Test Your Projrct

8/16/2019 Test Your Projrct

1/25

1

An Overview of

Verification and Validation

Jayantha Amararachchi

Senior Lecturer (HG)


2/25

2

Lecture Overview

V&V definition

!ifferent "et #ur$oe

%laification of "et ethod #lannin' and Or'aniation

hen to to$ tetin'

emainin' Aement

*uture Su+miion


3/25

,

Verification and Validation

Aurin' the oftware ytem

meet uer- need

!efinition 1


4/25

.

Verification/ to eta+lih the truth of

relationhi$ +etween a oftware $roduct

and it $ecification

Validation/ "o eta+lih fitne or worth ofa oftware $roduct for it o$erational

miion

Verification v0 Validation

!efinition 2


5/25

Verification: Are we +uildin' the $roduct ri'ht3 "he oftware hould conform to it $ecification

Validation:Are we +uildin' the ri'ht $roduct3

"he oftware hould do what the uer reallyre4uire

Verification v0 Validation

!efinition ,


6/25

5

!ifferent "et #ur$oe


7/25

6

!efect tetin' and de+u''in' are ditinct

$rocee

Verification and validation i concerned with

eta+lihin' the e7itence of defect in a

$ro'ram

!e+u''in' i concerned with locatin' and

re$airin' thee error !e+u''in' involve formulate a hy$othei

a+out $ro'ram +ehaviour then tetin' thee

hy$othee to find the ytem error

"etin' v0 de+u''in'


8/25

8

"he de+u''in' $roce

Locateerror

Designerror repair

Repairerror

Re-testprogram

Test

resultsSpecification

Test

cases


9/25

9

hat can we do a+out fault3

"hree a$$roache to reducin' the

num+er of fault in com$uter ytem/

: avoidance

: detection & removal: tolerance


10/25

1;

10 *ault Avoidance

Aim/ to enure fault are not introduced

into a ytem in the firt $lace

"echni4ue/

$recie S develo$ment $roce

defenive $ro'rammin'

review of re4uirement< dei'n< and

im$lementation


11/25

11

2a0 !icovery and emoval

Aim/ to dicover and remove fault

"echni4ue/

oftware tetin'


12/25

12

2+0 un "ime !etection

Aim/ =eed to identify error at run

time< +efore they lead to ytem

failure

"echni4ue/

functionality chec>%hec>um00?tc0<


13/25

1,

,0 *ault "olerance

Aim/ to ue redundancy to $rovide

increaed afety for com$uter ytem

"echni4ue/S redundancy/ information redundancy<

multi$le com$utation

H redundancy/ $aive or active

re$lication


14/25

1.

%laification of "et

ethod


15/25

1

Software inspections %oncerned withanalyi of the tatic ytem re$reentation todicover $ro+lem ( tatic verification)ay u$$lement +y document and code analyi

Software testing %oncerned with e7erciin'and o+ervin' $roduct +ehaviour (dynamic

verification)"he ytem i e7ecuted with tet data and it

o$erational +ehaviour to +e o+erved

Static V0 !ynamic


16/25

15

hite +o7 v0 @lac> +o7

White box tests focu on the internal

tructure of a com$onent

Black box tests focu on the

in$utout$ut +ehaviour of a com$onent


17/25

16

#lannin' and Or'aniation


18/25

18

V& V 'oal

Verification and validation hould eta+lih

confidence that the oftware i fit for the $ur$oe

"hi doe =O" mean that it i com$letely free ofdefect

ather< it mut +e 'ood enou'h for it intended

ue and the ty$e of ue will determine thede'ree of confidence that i needed


19/25

19

V & V confidence

!e$end on ytemB $ur$oe and mar>etin'

environment

Software function

: "he level of confidence de$end on how critical the

oftware i to an or'aniation

ar>etin' environment: Gettin' a $roduct to mar>et early may +e more

im$ortant than findin' mot defect in the $ro'ram


20/25


21/25

21

"etin' ha it own Life %ycle

Establish the test objectives

Design the test cases

Write the test cases

Test the test cases

Execute the tests

Evaluate the test results

Change the system

Do regression testing


22/25

"et "eam

Test

Analyst

TeamUser

Programmer

too familiar with code

Professional

Tester

Configuration

Management

Specialist

System

Designer


23/25

2,

hen to Sto$ "etin'

"he view that tetin' dicover firt the trivial<

eay to correct< fault and the more difficult

one later i O=G

How can you >now when youBve dicovered

Cmot of themD or the Cmot im$ortantD one3


24/25

2.

emainin' Aement

e+ite (u$load to the erver) E mar>

eearch #a$er E mar>

Su$ervior viit & lo' +oo> E mar>

*inal #reentation & !emontration F 1mar>

Viva E1 mar>


25/25

*uture u+miion

e+ite u$load E+efore 2nd Oct0

(%ollect idEeview e$ort) E+efore 9th Oct0

(from the u$ervior)

eearch #a$er (to the u$ervior) E12th Oct *inal e$ort (oft +ound) E9th =ov0

A %! containin' all u+miionE 9th =ov0

*inal #reentation & !emo E15th E2;th =ov0

Viva E15th E2;th =ov0 *inal e$ort (Hard @ound)E !e$end< will inform

later

2

Documents

Test Your Projrct