Reducing verification effort in component-based software engineering through built-in testing

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2006, Pages 175-184

  Brenner, Daniel ^a   Atkinson, Colin ^a   Paech, Barbara ^b   Malaka, Rainer ^c   Merdes, Matthias ^c   Suliman, Dima ^b  

^a UNIVERSITY OF MANNHEIM   (Germany)

^b UNIVERSITY OF HEIDELBERG   (Germany)

^c EML Research gGmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; BUILT-IN SELF TEST; INDUSTRY; RELIABILITY;

COMPONENT-BASED SYSTEMS; SYSTEM VERIFICATION PROCESS;

SOFTWARE ENGINEERING;

EID: 38749116613     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2006.44     Document Type: Conference Paper

References (18)

1. C. Szyperski, Component Software - Beyond Object-Oriented Programming, Addison-Wesley, London, 1998.
2. R. H. Reussner, I. H. Poernomo, and H. W. Schmidt, "Contracts and Quality Attributes for Software Components", Proc. 8th Int'l Workshop on Component-Oriented Programming (WCOP'03), Darmstadt, Germany, June 2003.
3. Y. Wang, G. King, and H. Wickburg, "A method for built-in tests in component-based software maintenance", IEEE International Conference on Software Maintenance and Reengineering (CSMR'99), IEEE Computer Science Press, 1999, pp. 186-189.
4. Component + project, http://www.component-plus.org/
5. MORABn project, http://www.morabit.org/
6. B. Boehm, "Verifying and validating software requirements and design specifications", IEEE Software, 1984, Vol 1.
7. A. A. Abdel-Ghaly, P. Y. Chan, and B. Littlewood, "Evaluation of Competing Software Reliability Predictions", IEEE Trans. Software Eng 1986, 12(9).
8. J. Musa, "Operational profiles in software-reliability engineering", IEEE Software, 1993, 10(2), pp. 14-32.
9. R. Hamlet, "Random Testing", Encyclopedia of Software Engineering, Wiley, Second Edition, 2002.
10. Y. L. Traon, D. Deveaux, and J.-M. Jezequel, "Self-testable components: from pragmatic tests to design-to-testability methodology", Technology of Object-Oriented Languages and Systems (TOOLS), IEEE Computer Society Press, 1999, pp. 96-107.
11. S. Beydeda, V. Gruhn, "Black- and White-Box Self-testing COTS Components", Software Engineering and Knowledge Engineering (SEKE), Banff, 2004.
12. L. Mariani, M. Pezze, and D. Willmor, "Generation of Integration Tests for Self-Testing Components", FORTE Workshop, 2004, pp. 337 - 350
13. C. Atkinson, H.-G. Groß, F. Barbier, Chapter 8, "Component Integration through Built-in Contract Testing in Component-Based Software Quality: Methods and Techniques", Lecture Notes in Computer Science #2693, Springer, 2003, pp. 159-183.
14. H.-G. Gross, Component-Based Software Testing with UML, Springer, 2004.
15. B. Beizer, Software Testing Techniques, Van Nostrand Rheinold, New York, 1990.
16. J. D. Musa, Software Reliability Engineering: More Reliable Software Faster and Cheaper, Osborne/McGraw-Hill, 1998.
17. Deck, M., "Cleanroom and object-oriented software engineering: A unique synergy". Proceedings of the Eighth Annual Software Technology Conference, Salt Lake City, USA, April 1996.
18. G. Wang, A. Chen, C. Wang, C. Fung, and S. A. Uczekaj, "Integrated Quality of Service (QoS) Management in Service-Oriented Enterprise Architectures", Enterprise Distributed Object Computing (EDOC), Monterey, USA, 2004, pp. 21-32