Compsac 05: Ein Framework für effizientes kontrakt-basierendes Testen von Software Komponenten

Ein Framework für effizientes Kontrakt-basiertes Testing von Software Komponenten
Valentini, E.; Fliess, G.; Haselwanter, E.
IICM, Graz, Austria

Details auf Englisch

This paper appears in: Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International
Publication Date: 26-28 July 2005
Volume: 2,  On page(s): 219- 222 Vol. 1
ISSN: 0730-3157
ISBN: 0-7695-2413-3
INSPEC Accession Number: 8670124
Digital Object Identifier: 10.1109/COMPSAC.2005.24
Date Published in Issue: 2005-09-26 09:38:40.0

A Framework for Efficient Contract-based Testing of Software Components

Abstract: Component based frameworks become more and more state-of-the art but without verifying the components and their interaction it is nearly impossible to build correct and robust systems. Testing of such systems requires a combination of unit- and integration tests, and must deal with verifying the contracts that enables the interaction of components. In this article we present CrashIt - a test framework for component-based testing. A main concept of CrashIt is the introduction of expandable contract-checkers that verify the communication between a client and a supplier component. These checkers are able to communicate with each other and with other modules of CrashIt. Thus, CrashIt is able to check the state of each component at every time. Link : http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?isnumber=32309&arnumber=1508113&count=50&index=49