Professional Documents
Culture Documents
VERIFICATION &
VALIDATION
Overview
Design techniques
Terminology
Test case
White-Box
Black Box
Test Approach
Test Approach
Characteristics
Characteristics
Module design
Implementation
Do modules/functions meet
functional and design
specifications?
Do program structures meet
functional and design
specifications?
How does program work?
Functional
Requirements, standards
Correctness
Business forms
Does system meets business
requirements?
White-Box
Black Box
Type of Test
Type of Test
Unit Testing
Integration Testing
System Testing (menu structure,
web page structure)
System Testing
User acceptance testing
Fault Insertion
Error Handling
String testing
Statement Coverage
Decision Coverage
Condition coverage
Path coverage
Cyclomatic Complexity
Equivalence Analysis
Boundary Analysis
Path Analysis
Use case
Decision tables
Used system structures to derived the test cases (e.g code, design,
database tables, queries, system design..etc.)
3.
Popular method
10
Example:
11
12
Weakness:
13
14
Read p
C=A-B
Read q
IF p+q > 100 THEN
Print Large
ENDIF
IF p>50 THEN
Print pLarge
ENDIF
ELSE
C=A+B
ENDIF
READ D
IF C=D THEN
Print Error
ENDIF
15
16
17
18
19
20
0
Hotel
Charge<=0
Hotel Charge
>70
Test Case
ID
Hotel Charge
Partition Tested
Expected
Output
50
OK
-25
Error Message
89
Error Message
21
22
70
-1 +1
69 71
Test Case
ID
Hotel Charge
-1
OK
69
OK
70
71
Boundary Tested
Expected
Output
Error Message
70
Error Message
OK
Error Message
23
24
Screen Prototype
25
Use Case
26
27
Valid card
N Y
Valid Pin
Invalid PIN=3
Balance OK
Reject Card
Reenter PIN
N Y
Keep Card
N N
Reenter Request N N
Dispense Cash
Action
N N
29
Advantage:
Terms:
30
31
Event[Condition]
Action
New State
Logging In
Password[Invalid]
Error
Logging In
Logging In
Password[Valid]
Open register
Waiting
Logging In
Customer
[Undefined]
[Undefined]
Logging In
Scan[Any]
[Undefined]
[Undefined]
Logging In
Pay[Any]
[Undefined]
[Undefined]
Logging In
Shift end
[Undefined]
[Undefined]
32
Specifications
Explanation
Action A1
Action A2
Action A3
IF married = Y
THEN salary := salary + 2,000
33
B1
A2
A1
B2
A3
5
End
Fakulti Teknologi Maklumat dan Komunikasi
34
Translate the algorithm into flow chart to show the test path
Path 1 : ( 1,2,4,5 )
Path 2 : ( 1,3,4,5 )
Path 3 : ( 1,2,6 )
Path 4 : ( 1,3,6 )
Fakulti Teknologi Maklumat dan Komunikasi
35
Test
No.
Action
Test Case
C1
C2
C3
Expected
Result
Path 1 : (1,3,4,5)
11
A1 & A3
Path 2 : (1,2,4,5)
10
A2 & A3
11
10
Path 3 : (1,2,6)
A2
Path 4 : (1,3,6)
A1
Fakulti Teknologi Maklumat dan Komunikasi
Actual
Result (Y/N)
36
Experienced Based
Example include:
Attacks
Checklists
Exploratory
Fakulti Teknologi Maklumat dan Komunikasi
37
Key concepts
38
39
40
Advantages
Gappy coverage
especially under pressure
Difficult to estimate
No bug prevention
41
Type of system
Regulatory standards
Test objectives
Documentation available
Knowledge of testers
42
The Dynamic/Pre-designed
Spectrum
No documentation; often
associated with amateur test
efforts.
Pros: Cheap and quick
Cons : No coverage
measurement
Pure Exploratory
Charted
Exploratory
Lightweight documentation; a
sophisticated technique
Pros: Inexpensive but
measureable
Cons: Requires skilled testers
and managers
Pure Scripted
Standard documentation; a
widely described technique
Pros: Reproducible and
traceable
Cons: Significant resources to
develop and maintain
Fakulti Teknologi Maklumat dan Komunikasi
43
Thank You