Skip to main content

Component-Oriented Verification of Software Architectures through Built-in Tests

  • Conference paper
  • 1157 Accesses

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 5292)

Abstract

Although the technologies used to implement and assemble components have improved significantly in recent years, techniques for verifying systems created from them have changed very little. In fact, the correctness and reliability of component-based systems are still usually checked using the traditional testing techniques employed before components and services became widespread. These techniques are not only expensive because they treat a system as a monolithic black box, they are not very helpful because they fail to use architectural knowledge to pin-point the source of failures. As a result, many of the potential benefits of component-based development are outweighed by the costs involved in verifying the resulting systems. In this talk, Colin Atkinson will present an approach that addresses this problem by making the system verification process component-oriented as well. Based on the notion of built-in tests - tests that are packaged with components and are executed at run-time - the approach reduces the level of manual effort needed to verify a system by partially automating the testing process. It involves a method to define how services/components should be written to support and exploit built-in tests, and a resource-aware infrastructure that arranges for tests to be executed when they have a minimal impact on the delivery of system services.

Keywords

  • Verification
  • built-in tests
  • system services

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-88030-1_2
  • Chapter length: 1 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-88030-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   109.00
Price excludes VAT (USA)

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Atkinson, C. (2008). Component-Oriented Verification of Software Architectures through Built-in Tests. In: Morrison, R., Balasubramaniam, D., Falkner, K. (eds) Software Architecture. ECSA 2008. Lecture Notes in Computer Science, vol 5292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88030-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88030-1_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88029-5

  • Online ISBN: 978-3-540-88030-1

  • eBook Packages: Computer ScienceComputer Science (R0)