
10
A Model-Based View onto Testing: Criteria for the
Derivation of Entry Tests for Integration Testing
Manfred Broy and Alexander Pretschner
CONTENTS
10.1 Introduction .............................................................................. 245
10.2 Background: Systems, Specifications, and Architectures ................................ 247
10.2.1 Interfaces and behaviors .......................................................... 247
10.2.2 State machines and interface abstractions ....................................... 249
10.2.3 Describing systems by state machines ........................................... 250
10.2.4 From state machines to in ...