Gross Component-Based Software Testing with UML

1. Auflage 2005
ISBN: 978-3-540-26733-1
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 316 Seiten

Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. Since building testing into components has implications for component development, built-in contract testing is integrated with and made to complement a model-driven development method. Here UML models are used to derive the testing architecture for an application, the testing interfaces and the component testers. The method also provides a process and guidelines for modeling and developing these artifacts. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.

  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.

Autoren/Hrsg.

Gross, Hans-Gerhard

Inhaltsverzeichnis

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