Software Testing: ©ian Sommerville 2004
Software Testing: ©ian Sommerville 2004
Component System
testing testing
A T1
T1
A
T1 T2
A B
T2
T2 B T3
T3
B C
T3 T4
C
T4
D T5
System
A B
System
Outputs
9999 100000
10000 50000 99999
Less than 10000 Between 10000 and 99999 More than 99999
Input values
Pre-condition
-- the sequence has at least one element
T’FIRST <= T’LAST
Post-condition
-- the element is found and is referenced by L
( Found and T (L) = Key)
or
-- the element is not in the array
( not Found and
not (exists i, T’FIRST >= i <= T’LAST, T (i) = Key ))
the array.
● Inputs where the key element is not a
member of the array.
Test data
Tests Derives
Component Test
code outputs
Source Test
Test data Oracle
code manager
Execution File
Simulator
report comparator