Testing software based on design by contract

dc.contributor.author	Berberova, Diana
dc.contributor.author	Bontchev, Boyan
dc.date.accessioned	2008-12-23T07:05:36Z
dc.date.available	2008-12-23T07:05:36Z
dc.date.issued	2008
dc.identifier.uri	http://hdl.handle.net/10506/96
dc.description.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	bg_BG
dc.language.iso	en	bg_BG
dc.subject	design by contract	bg_BG
dc.subject	aspect-oriented programming	bg_BG
dc.title	Testing software based on design by contract	bg_BG
dc.type	Article	bg_BG