Lecture Notes in Computer Science 3472

20 Model-Based Testing – A Glossary 609
• Conformance Conformance is a relation between the observable behavior
of a SUT and that of its specification, or model. The idea is that model
and implementation exhibit the “same” behavior. However, the granularity
of this relation may vary.
• Monitor A monitor observes those parts of the behavior of a SUT that
should be compared to the intended behavior as provided by a test case.
• Verdict The verdict is the result of the comparison of intended and actual
behaviors of a SUT (parts of the intended behavior are provided as test
cases). Generally, verdicts can be either of pass (behaviors conform), fail
(they don’t), and inconclusive (don’t know).
• Black-Box Testing Black-Box Testing denotes testing activities that do
not take into account knowledge of the inner structure (the code) of the
SUT.
• White-Box Testing White-Box Testing denotes testing activities that do
take into account knowledge of the inner structure (the code) of the SUT.
• IUT, Implementation under Test A IUT is the implementation one
wants to test. In many cases, it is not possible to access the IUT directly,
but only via a test context.
• SUT, System under Test An SUT is the implementation that one wants
to test (IUT) together with those things that one does not want to test, but
needs to access the IUT (test context).
• Model A model is an abstraction, i. e., a simplification, of a SUT or of its
environment, or both. In model-based testing, a model of the SUT is, among
other things, used for determining expected output.
• Test Context A Test Context consists of things that one does not want to
test, but are “in the way” between the tester and the thing that one wants to
test. For example, things like communication channels, or parts of the system
of which the IUT is a part that cannot easily be removed from the system. A
test context may “blurr” the view that one can have of an implementation,
and therefore (parts of) the test context may have to be part of the model.
Usually, one assumes that the test context is correctly implemented.
Acknowledgment Axel Belinfante provided valuable comments.