
A Model-Based View onto Testing 265
3. Derive component-level tests for each supplied component from the respective models
in isolation.
4. Decide on an integration testing strategy. In other words, decide on subsystems in
the architecture that form fundamental blocks. Examples include strongly connected
subgraphs, more or less hierarchic substructures, etc.
5. Compose the models, according to the architecture, that correspond to the compo-
nents at integration stage j. Since by compositionality, this is a model as well, derive
tests for this composed model, and project the test cases to the I/O channels of each
single component in the set. These pro ...