Component-Based Software Testing with UML

Foreword

Preface

Contents

1 Introduction

1.1 Component-Based Software Development

1.2 Component-Based Software Testing

1.3 Model-Based Development and Testing

1.4 Summary and Outline of This Book

2 Component-Based and Model-Driven Development with UML

2.1 Principles of the KobrA Method

2.2 Context Realization

2.3 Component Specification

2.4 Component Realization

2.5 Component Embodiment

2.6 Product Family Concepts

2.7 Documentation and Quality Assurance Plan

2.8 Summary

3 Model-Based Testing with UML

3.1 Model-Based vs. Traditional Software Testing

3.2 Model-Based Testing

3.3 Test Modeling

3.4 Summary

4 Built-in Contract Testing

4.1 Concepts of Built-in Testing

4.2 Motivation for Built-in Contract Testing

4.3 Model and Architecture of Built-in Contract Testing

4.4 Development Process for Built-in Contract Testing

4.5 Summary

5 Built-in Contract Testing and Implementation Technologies

5.1 Instantiation and Embodiment of Built-in Contract Testing

5.2 Built-in Contract Testing with Programming Languages

5.3 Component Technologies

5.4 Built-in Contract Testing and Web Services

5.5 Implementation Technologies for Built-in Contract Testing

5.6 Summary

6 Reuse and Related Technologies

6.1 Use and Reuse of Contract Testing Artifacts

6.2 Component Certification and Procurement

6.3 Product Families and Testing

6.4 Summary

7 Assessing Quality-of-Service Contracts

7.1 Quality-of-Service Contracts in Component-Based Development

7.2 Timing Analysis and Assessment with Components

7.3 Extended Model of Built-in Contract Testing

7.4 QoS Contract Testing for Dynamic Updates

7.5 Built-in Quality-of-Service Runtime Monitoring

7.6 Summary

Glossary

References

Index