A framework for efficient contract-based testing of software components

Authors:
Egon Valentini;Gerhard Fliess;Edmund Haselwanter
Affiliations:
IICM, Graz, Austria;Campus02, Graz, Austria;IICM, Graz, Austria
Venue:
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Year:
2005

Citing 4
Cited 0

Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Design Patterns CD: Elements of Reusable Object-Oriented Software, (CD-ROM)

Design Patterns CD: Elements of Reusable Object-Oriented Software, (CD-ROM)
iContract - The Java(tm) Design by Contract(tm) Tool

TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

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.