Research at Sofia University >
Faculty of Mathematics and Informatics >
Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10506/96

Title: Testing software based on design by contract
Authors: Berberova, Diana
Bontchev, Boyan
Keywords: design by contract
aspect-oriented programming
Issue Date: 2008
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
URI: http://hdl.handle.net/10506/96
Appears in Collections:Papers

Files in This Item:

File Description SizeFormat
berberova_testing_software_by_DbC.pdf143.48 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback