
17
Applying Model-Based Testing in the
Telecommunication Domain
Fredrik Abbors, Veli-Matti Aho, Jani Koivulainen, Risto Teittinen, and
Dragos Truscan
CONTENTS
17.1 Overview ................................................................................. 488
17.1.1 Process and tools ................................................................. 488
17.1.2 System under test ................................................................ 490
17.2 UML/SysML Modeling Process .......................................................... 491
17.3 Model Validation ......................................................................... 498
17.4 Model Transformation—F ...