Skip to main content

Component Integration through Built-in Contract Testing

  • Chapter
Component-Based Software Quality

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2693))

Abstract

This chapter describes a technology and methodology referred to as built-in contract testing that checks the pairwise interactions of components in component-based software construction at integration and deployment time. Such pairwise interactions are also referred to as contracts. Built-in contract testing is based on building test functionality into components, in particular tester components on the client side and testing interfaces on the server side of a pairwise contract. Since building test software into components has implications for the overall component-based development process, the technology is integrated with and made to supplement the entire development cycle starting from requirements specification activities and modeling. The chapter outlines typical specification concepts that are important for built-in contract testing, provides a guide on how to devise built-in contract testing artifacts on the basis of models, and discusses issued involved in using this approach with contemporary component technologies.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abdurazik, A., Offutt, J.: Using UML collaboration diagrams for static checking and test generation. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 383–395. Springer, Heidelberg (2000)

    Google Scholar 

  2. Atkinson, C., Bunse, C., Gross, H.-G., Kühne, T.: Component model for webbased applications. Annals of Software Engineering 13 (2002)

    Google Scholar 

  3. Atkinson, C., et al.: Component-Based Product-Line Engineering with UML. Addison-Wesley, London (2001)

    Google Scholar 

  4. Barbier, F., Belloir, N., Bruel, J.M.: Incorporation of test functionality in software components. In: Erdogmus, H., Weng, T. (eds.) ICCBSS 2003. LNCS, vol. 2580, pp. 25–35. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  5. Beizer, B.: Black-box Testing, Techniques for Functional Testing of Software and Systems. John Wiley & Sons, New York (1995)

    Google Scholar 

  6. Binder, R.: Testing Object-Oriented Systems - Models, Patterns and Tools. Addison-Wesley, Reading (2000)

    Google Scholar 

  7. Booch, G.: Software Components with Ada: Structures, Tools and Subsystems (1987)

    Google Scholar 

  8. Component+. Built-in testing for component-based development. Technical report, Component+ Project (2001), http://www.component-plus.org

  9. Guindi, D.S., Ligon, W.B., McCracken, W.M., Rugaber, S.: The impact of verification and validation of reusable components on software productivity. In: 22nd Annual Hawaii International Conference on System Sciences, pp. 1016–1024 (1989)

    Google Scholar 

  10. IEEE. Standard Glossary of Software Engineering Terminology. IEEE Std-610.12- 1990 (1999)

    Google Scholar 

  11. McGregor, J., Sykes, D. (eds.): A Practical Guide to Testing Object-Oriented Software. Addison-Wesley, Reading (2001)

    Google Scholar 

  12. Meyer, B.: Object-oriented Software Construction. Prentice Hall, Englewood Cliffs (1997)

    MATH  Google Scholar 

  13. Meyer, S., Sandfoss, R.: Applying use-case methodology to SRE and system testing. In: STAR West Conference (October 1998)

    Google Scholar 

  14. Quasar. German national funded quasar project. Technical report (2001), http://www.first.gmd.de/quasar/

  15. Ryser, J., Glinz, M.: A scenario-based approach to validating and testing software systems using statecharts. In: 12th Intl. Conf. on Software and Systems Engineering and their Applications (ICS-SEA 1999), Paris, France (1999)

    Google Scholar 

  16. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1999)

    Google Scholar 

  17. Wang, Y., King, G., Fayad, M., Patel, D., Court, I., Staples, G., Ross, M.: On builtin test reuse in object-oriented framework design. ACM Journal on Computing Surveys 32 (March 2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Gross, HG., Atkinson, C., Barbier, F. (2003). Component Integration through Built-in Contract Testing. In: Cechich, A., Piattini, M., Vallecillo, A. (eds) Component-Based Software Quality. Lecture Notes in Computer Science, vol 2693. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45064-1_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45064-1_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40503-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics