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

Information Systems Frontiers

Volumn 9, Issue 2-3, 2007, Pages 151-162

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

^a UNIVERSITY OF MANNHEIM   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

^c EML Research   (Germany)

^d UNIVERSITY OF HEIDELBERG   (Germany)

Author keywords

Built in test; Integration test; MORABIT; Run time testing

Indexed keywords

BUILT-IN SELF TEST; COMPUTATIONAL METHODS; COMPUTER SOFTWARE MAINTENANCE; ENTERPRISE RESOURCE PLANNING; SOFTWARE DESIGN; SOFTWARE TESTING;

ENTERPRISE COMPUTING; RUN TIME TESTING;

VERIFICATION;

EID: 34250161610     PISSN: 13873326     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10796-007-9029-4     Document Type: Conference Paper

References (18)

1. Atkinson, C., Groß, H. G., & Barbier, F. (2003). Component integration through built-in contract testing in component-based software quality: Methods and techniques. In A. Cechich, et al. (Eds.), Component-based software quality (pp, 159-183). Heidelberg: Springer.
2. Beizer, B. (1990). Software testing techniques. New York: Van Nostrand Rheinold.
3. Beydeda, S., & Gruhn, V. (2004), Black- and white-box self testing COTS components, Software Engineering and Knowledge Engineering (SEKE).
4. Binder, R. V. (1999). Testing object-oriented systems: Models, patterns, and tools. London: Addison-Wesley, Component+ project. (2006). http://www.component-plus.org/
5. Deck, M, (1996). Cleanroom and object-oriented software engineering: A unique synergy. In Proceedings of the Eighth Annual Software Technology Conference.
6. Ehrenberger, W. (2002), Software-verifikation. Verfahren für den Zuverlässigkeitsnachweis von software. Munich: Hanser Fachbuch.
7. Gross, H. G. (2004). Component-based software testing with UML. Berlin Heidelberg New York: Springer.
8. Mariani, L, Pezze, M., & Willmor, D. (2004). Generation of integration tests for self-testing components. FORTE Workshop
9. Merdes, M., Malaka, R., Suliman, D., Paech, B., Brenner, D., & Atkinson, C. (2006). Ubiquitous RATs: How resource-aware run-time tests can improve ubiquitous software systems. In Proceedings of the Sixth International Workshop on Software Engineering and Middleware (SEM).
10. Meyer, B. (1992). Applying design by contract. Computer, 25(10).
11. MORABIT project (2006), http://www.morabit.org/.
12. Musa, J. D. (1998). Software reliability engineering: More reliable software faster and cheaper. Osbome/McGraw-Hill.
13. Neugebauer, R., & McAuley, D. (2001). Energy is just another resource: Energy accounting and energy pricing in the Nemesis OS. In Proceedings of the Eighth Workshop on Hot Topics in Operating Systems.
14. Reussner, R. H., Poernomo, I. H., & Schmidt, H. W. (2003). Contracts and quality attributes for software components. In Proc. 8th Int'l Workshop on Component-Oriented Programming (WCOP'03).
15. Szyperski, C. (1998). Component software-beyond object-oriented programming. London: Addison-Wesley.
16. Traon, Y. L., Deveaux, D., & Jezequel, J. M. (1999). Self-testable components: From pragmatic tests to design-to-testability methodology. Technology of Object-Oriented Languages and Systems (TOOLS).
17. Wang, G., Chen, A., Wang, C., Fung, C., & Uczekaj, S. A. (2004). Integrated quality of service (QoS) management in serviceoriented enterprise architectures. Enterprise Distributed Object Computing (EDOC).
18. Wang, Y., King, G., & Wickburg, H. (1999). A method for built-in tests in component-based software maintenance. In IEEE International Conference on Software Maintenance and Reengineering (CSMR '99).