Transformation of Applicative Specifications into Imperative ...

G.1. GREY BOX TEST OF THE PROGRAM
continued from previous page
Test Case Description Types of Interest Result
TC_T47 If expression of the type of
interest
t : T OK
TC_T48 If expression comparing t : T OK
TC_T49
the type of interest
Case expression with the t : T OK
value expression cased
over being a proper Tgenerator,
value literal
pattern , name pattern,
TC_T50
wildcard pattern
Case expression of the type
of interest, product pattern
t : T OK
TC_T51 Case expression, record t : T OK
TC_T52
pattern
Case expression, enumerated
list pattern, concatenated
list pattern
t : T OK
TC_T53 Assignment expression due
to implicit generator
t : T OK
TC_T54 Sequencing expression due
to T-generator in connection
with implicit observer
t : T OK
TC_T55 Formal function applica- t : T OK
tion with product expression
containing type of interest
TC_T56 Formal function applica- t : T OK
TC_T57
tion with product expression
and type of interest
outside product expression
Two types of interest t : T, s : S OK
TC_T58 Product expression con- t : T OK
taining type of interest
TC_T59
inside product expression,
expected type is carried on
Access description carried
on
t : T OK
TC_T60 Explicit value definition t : T OK
continued on next page
559