Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä

Abstract

Opetuksen tehostamiseen suunnattu työkalu ComTest osaa luoda yksikkötestejä koodin kommentteihin kirjoitettujen ohjeiden perusteella. Sopimuspohjaisessa suunnittelussa olion metodeille asetetaan ehtoja, joiden on oltava voimassa ennen operaation suorittamista tai sen jälkeen. Tällaiset ehdot voidaan automaattisesti kirjoittaa osaksi koodin kommentteja. Code Contracts on laajennos .NET-kieliin, jonka avulla sopimuspohjainen suunnittelu saadaan osaksi sovelluskehitystä. Tutkimuksessa selvitetään, miten ComTest ja Code Contracts liittyvät toisiinsa.

ComTest, a tool mainly directed to make teaching more efficient, is able to create Unit Tests based on directions written in the code comments. In Coding by Contracts, conditions are set to the classes methods that have to be valid before executing the operation or after it. This kind of conditions can be appended to the code comments by the compiler software. Code Contracts is an add-on to .NET-languages, which brings Coding by Contracts into the software development. This research investigates how ComTest and Code Contracts relate to each other.