Component-Based Software Testing with UML (eBook)

Hans-Gerhard Gross (Autor)

eBook Download: PDF

2005
XVIII, 316 Seiten
Springer Berlin (Verlag)
978-3-540-26733-1 (ISBN)

Infos

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.

Inhalt

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

Produkt-Details

• Erscheint lt. Verlag: 9.8.2005
• Zusatzinfo: XVIII, 316 p.
• Verlagsort: Berlin
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Themenwelt: Mathematik / Informatik ► Informatik ► Software Entwicklung
• Themenwelt: Mathematik / Informatik ► Informatik ► Web / Internet
• Schlagworte: Built-In Testing • Component-Based Software • Component Technologies • Contracts • Framework • JUnit • Model-Based Development • Model-Based Testing • Modeling • Service • software development • Software Testing • Stakeholder • UML • unified modeling language (UML)
• ISBN-10: 3-540-26733-6 / 3540267336
• ISBN-13: 978-3-540-26733-1 / 9783540267331