Beschreibung
This thesis presents the novel model-based test approach ER!S for software and model integration testing. A heterogeneous modeling notation was developed to cover both perspectives of integration testing, the high-level functional requirements of the subsystem and the functional implementation, as concrete component interactions. The approach supports stepwise system assembly and automated test case generation.