Component-Based Software Testing with UML (eBook)

  Hans-Gerhard Groß received his PhD in Software Engineering from the University of Glamorgan, UK, where he worked on timing aspects of real-time systems development and their dynamic verification. Currently, he is employed as project manager, and responsible for building up software testing competence at the Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany. His current research focus is on model-driven and component-based software development approaches, particularly in the embedded and real-time domain, and on verification and validation techniques for such systems.

Foreword 6
Preface 9
Contents 12
1 Introduction 16
1.1 Component-Based Software Development 17
1.2 Component-Based Software Testing 26
1.3 Model-Based Development and Testing 31
1.4 Summary and Outline of This Book 33
2 Component-Based and Model-Driven Development with UML 36
2.1 Principles of the KobrA Method 37
2.2 Context Realization 44
2.3 Component Specification 53
2.4 Component Realization 59
2.5 Component Embodiment 65
2.6 Product Family Concepts 76
2.7 Documentation and Quality Assurance Plan 84
2.8 Summary 85
3 Model-Based Testing with UML 88
3.1 Model-Based vs. Traditional Software Testing 89
3.2 Model-Based Testing 95
3.3 Test Modeling 127
3.4 Summary 134
4 Built-in Contract Testing 136
4.1 Concepts of Built-in Testing 138
4.2 Motivation for Built-in Contract Testing 142
4.3 Model and Architecture of Built-in Contract Testing 145
4.4 Development Process for Built-in Contract Testing 172
4.5 Summary 192
5 Built-in Contract Testing and Implementation Technologies 194
5.1 Instantiation and Embodiment of Built-in Contract Testing 198
5.2 Built-in Contract Testing with Programming Languages 202
5.3 Component Technologies 215
5.4 Built-in Contract Testing and Web Services 224
5.5 Implementation Technologies for Built-in Contract Testing 229
5.6 Summary 241
6 Reuse and Related Technologies 244
6.1 Use and Reuse of Contract Testing Artifacts 246
6.2 Component Certification and Procurement 253
6.3 Product Families and Testing 257
6.4 Summary 269
7 Assessing Quality-of-Service Contracts 270
7.1 Quality-of-Service Contracts in Component-Based Development 271
7.2 Timing Analysis and Assessment with Components 275
7.3 Extended Model of Built-in Contract Testing 280
7.4 QoS Contract Testing for Dynamic Updates 294
7.5 Built-in Quality-of-Service Runtime Monitoring 295
7.6 Summary 298
Glossary 300
References 312
Index 322