Information Technology Reference
In-Depth Information
«EV_Role»
specifier
«EV_Role»
implementer
«EV_Role»
tester
create component
designs
identify reference
points
select conformance
points
make implementation
choices
produce
implementation
document
implementation
choices in the IXIT
locate conformance
points
test and observe
product
interpret results as
spec. events
test failed
check trace against
specification
test failed
conformance
confirmed
FIGURE 8.2: A simplified view of the testing activity.
plementation choices where the specification does not go into full detail. How-
ever, they also have various obligations to provide information about what
they have done. They have to declare what specifications, and what options,
they are implementing; this will often involve confirming what they have been
contracted to do, but it may not be so clear for off-the-shelf offerings. Secondly,
they have to declare how the conformance points can be located, in terms of
the access a tester has to the physical or software artefacts being supplied.
Finally, the implementer needs to say how the atomic concepts in the specifi-
cation are realized. This last obligation may involve them in providing a lot
of information. For example, a computational specification may be expressed
