Testing software based on design by contract

Abstract

In the last decade, several proposals have been done for construction of aspectoriented system for testing software products. The article presents results from design and development of a new aspect-oriented system for testing software created in Java 5 as an open source project named CodeContract, by using Design by Contract methodology. The system provides means of describing contracts and conditions during the design of software systems that should be satisfied during the system work process. Various conditions used in the contracts are able to be defined by means of preconditions, post-conditions and invariants. In order to describe these conditions in contracts, Java annotations are used. When using the Code- Contract system, contracts should be created during the development of software application. Then runtime checks of contracts are executed during the testing of the software application