Skip to main content

Generation of Integration Tests for Self-Testing Components

  • Conference paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce (FORTE 2004)

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

Abstract

Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components are developed by application experts and integrated by domain experts. Component-based systems cannot be tested with classic approaches but present new problems. Current techniques for integration testing are based upon the component developer providing test specifications or suites with their components. However, components are often being used in ways not envisioned by their developers, thus the packaged test specifications and suites cannot be relied upon. Often this results in conditions being placed upon a components use, however, what is required is a method for allowing test suites to be adapted for new situations. In this paper, we propose an approach for implementing self-testing components, which allow integration test specifications and suites to be developed by observing both the behavior of the component and of the entire system.

This work has been partially funded by a grant from the SegraVis Research Training Network – www.segravis.org.

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. Martins, E., Toyota, C., Yanagawa, R.: Constructing self-testable software components. In: Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001), Washington - Brussels - Tokyo, pp. 151–160. IEEE, Los Alamitos (2001)

    Chapter  Google Scholar 

  2. Bertolino, A., Polini, A.: A framework for component deployment testing. In: Proceedings of the 25th International Conference on Software Engineering, pp. 221–231. IEEE Computer Society, Los Alamitos (2003)

    Google Scholar 

  3. Edwards, S.H.: A framework for practical, automated black-box testing of component-based software. Journal of Software Testing, Verification and Reliability 11 (2001)

    Google Scholar 

  4. Oberg, J.: Why the mars probe went off course. IEEE Spectrum 36, 34–39 (1999)

    Article  Google Scholar 

  5. Jet Propulsion Laboratory: Report on the loss of the mars polar lander and deep space 2 missions. Technical Report JPL D-18709, California Institute of Technology (2000)

    Google Scholar 

  6. Weyuker, E.: Testing component-based software: A cautionary tale. IEEE Internet Computing 15, 54–59 (1998)

    Google Scholar 

  7. Agrawal, V., Kime, C., Saluja, K.: A tutorial on built-in self-test. I. principles. IEEE Design & Test of Computers 10, 73–82 (1993)

    Article  Google Scholar 

  8. Binder, R.: Design for testability in object-oriented systems. Communications of the ACM 37, 87–101 (1994)

    Article  Google Scholar 

  9. Liu, C., Richardson, D.: Software components with retrospectors. In: Proceedings of the International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA), pp. 63–68 (1998)

    Google Scholar 

  10. Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold Computer, New York (1982)

    MATH  Google Scholar 

  11. Ramachandran, M.: Testing reusable software components from object specification. SIGSOFT Softw. Eng. Notes 28, 18 (2003)

    Article  Google Scholar 

  12. Leon, D., Podgurski, A., White, L.J.: Multivariate visualization in observationbased testing. In: Proceedings of the 22nd International Conference on Software Engineering, pp. 116–125. ACM Press, New York (2000)

    Google Scholar 

  13. Mariani, L., Pezzè, M.: A technique for verifying component-based software. In: International Workshop on Test and Analysis of Component Based Systems. Electronic Notes in Theoretical Computer Science (ENTCS), pp. 16–28 (2004)

    Google Scholar 

  14. Mariani, L.: Capturing and synthesizing the behavior of component-based systems. Technical Report LTA:2004:01, Università di Milano Bicocca (2003)

    Google Scholar 

  15. Howden, W.: Methodology for the generation of program test data. IEEE Transaction Computer (1975)

    Google Scholar 

  16. White, L., Cohen, E.J.: A domain strategy for computer program testing. IEEE Transactions on Software Engineering 6, 247–257 (1980)

    Article  MATH  Google Scholar 

  17. McCamant, S., Ernst, M.D.: Predicting problems caused by component upgrades. In: Proceedings of the 9th European Software Engineering Conference and the 10th International Symposium on Foundations of Software Engineering, pp. 287–296. ACM Press, New York (2003)

    Google Scholar 

  18. Microsystems, S.: Enterprise Javabeans TM Specification. Final Release Version 2.1, Sun Microsystems (2003)

    Google Scholar 

  19. Vitharana, P.: Risks and challenges of component-based software development. Commun. ACM 46, 67–72 (2003)

    Article  Google Scholar 

  20. Binder, R.V.: Design for testability in object-oriented systems. Communications of the ACM 37, 87–101 (1994)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mariani, L., Pezzè, M., Willmor, D. (2004). Generation of Integration Tests for Self-Testing Components. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds) Applying Formal Methods: Testing, Performance, and M/E-Commerce. FORTE 2004. Lecture Notes in Computer Science, vol 3236. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30233-9_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30233-9_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23169-1

  • Online ISBN: 978-3-540-30233-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics