Research at Sofia University >
Faculty of Mathematics and Informatics >
Please use this identifier to cite or link to this item:
|Title: ||Testing software based on design by contract|
|Authors: ||Berberova, Diana|
|Keywords: ||design by contract|
|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|
|Appears in Collections:||Papers|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.