Component integration through built-in contract testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2693, Issue , 2003, Pages 159-183

  Gross, Hans Gerhard ^a   Atkinson, Colin ^b   Barbier, Franck ^c  

^a FRAUNHOFER IESE   (Germany)

^b UNIVERSITY OF MANNHEIM   (Germany)

^c UNIVERSITÉ DE PAU ET DES PAYS DE L'ADOUR   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

BUILT-IN CONTRACT TESTING; COMPONENT INTEGRATION; COMPONENT TECHNOLOGIES; COMPONENT-BASED DEVELOPMENT; COMPONENT-BASED SOFTWARE CONSTRUCTIONS; DEVELOPMENT CYCLE; PAIRWISE INTERACTION; REQUIREMENTS SPECIFICATIONS;

INTEGRATION TESTING;

EID: 11244250120     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45064-1_8     Document Type: Article

References (17)

1. A. Abdurazik and J. Offutt. Using UML collaboration diagrams for static checking and test generation. In 3rd Intl. Conf. on the Unified Modeling Language (UML'00), pages 383-395, York, UK, October 2000.
2. C. Atkinson, C. Bunse, H.-G. Gross, and T. Kühne. Component model for web-based applications. Annals of Software Engineering, 13, 2002.
3. C. Atkinson and et al. Component-Based Product-Line Engineering with UML. Addison-Wesley, London, 2001.
4. F. Barbier, N. Belloir, and J.M. Bruel. Incorporation of test functionality in software components. In 2nd Intl. Conference on COTS-based Software Systems, Ottawa, Canada, February, 10.-12. 2003.
5. B. Beizer. Black-box Testing, Techniques for Functional Testing of Software and Systems. John Wiley & Sons, New York, 1995.
6. R. Binder. Testing Object-Oriented Systems - Models, Patterns and Tools. Addison-Wesley, 2000.
7. G. Booch. Software Components with Ada: Structures, Tools and Subsystems. 1987.
8. Component+. Built-in testing for component-based development. Technical report, Component+ Project, http://www.component-plus.org, 2001.
9. D.S. Guindi, W.B. Ligon, W.M. McCracken, and S. Rugaber. The impact of verification and validation of reusable components on software productivity. In 22nd Annual Hawaii International Conference on System Sciences, pages 1016-1024, 1989.
10. IEEE. Standard Glossary of Software Engineering Terminology. IEEE Std-610.12-1990, 1999.
11. J. McGregor and D. Sykes, editors. A Practical Guide to Testing Object-Oriented Software. Addison-Wesley, 2001.
12. B. Meyer. Object-oriented Software Construction. Prentice Hall, 1997.
13. S. Meyer and R. Sandfoss. Applying use-case methodology to SRE and system testing. In STAR West Conference, October 1998.
14. Quasar. German national funded quasar project. Technical report, http://www.first.gmd.de/quasar/, 2001.
15. J. Ryser and M. Glinz. 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'99), Paris, France, 1999.
16. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 1999.
17. Y. Wang, G. King, M. Fayad, D. Patel, I. Court, G. Staples, and M. Ross. On built-in test reuse in object-oriented framework design. In ACM Journal on Computing Surveys, volume 32, March 2000.