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

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...

Full description

Bibliographic Details
Main Author: Aitta-aho, Mikko
Other Authors: Informaatioteknologian tiedekunta, Faculty of Information Technology, Informaatioteknologia, Information Technology, University of Jyväskylä, Jyväskylän yliopisto
Format: Bachelor's thesis
Language:fin
Published: 2015
Subjects:
Online Access: https://jyx.jyu.fi/handle/123456789/47163
_version_ 1826225802908270592
author Aitta-aho, Mikko
author2 Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia Information Technology University of Jyväskylä Jyväskylän yliopisto
author_facet Aitta-aho, Mikko Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia Information Technology University of Jyväskylä Jyväskylän yliopisto Aitta-aho, Mikko Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia Information Technology University of Jyväskylä Jyväskylän yliopisto
author_sort Aitta-aho, Mikko
datasource_str_mv jyx
description 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.
first_indexed 2015-09-22T20:29:52Z
format Kandityö
free_online_boolean 1
fullrecord [{"key": "dc.contributor.advisor", "value": "Heimb\u00fcrger, Anneli", "language": "", "element": "contributor", "qualifier": "advisor", "schema": "dc"}, {"key": "dc.contributor.author", "value": "Aitta-aho, Mikko", "language": "", "element": "contributor", "qualifier": "author", "schema": "dc"}, {"key": "dc.date.accessioned", "value": "2015-09-22T19:54:58Z", "language": "", "element": "date", "qualifier": "accessioned", "schema": "dc"}, {"key": "dc.date.available", "value": "2015-09-22T19:54:58Z", "language": "", "element": "date", "qualifier": "available", "schema": "dc"}, {"key": "dc.date.issued", "value": "2015", "language": "", "element": "date", "qualifier": "issued", "schema": "dc"}, {"key": "dc.identifier.uri", "value": "https://jyx.jyu.fi/handle/123456789/47163", "language": "", "element": "identifier", "qualifier": "uri", "schema": "dc"}, {"key": "dc.description.abstract", "value": "Opetuksen tehostamiseen suunnattu ty\u00f6kalu ComTest osaa luoda yksikk\u00f6testej\u00e4 koodin kommentteihin kirjoitettujen ohjeiden perusteella. Sopimuspohjaisessa suunnittelussa olion metodeille asetetaan ehtoja, joiden on oltava voimassa ennen operaation suorittamista tai sen j\u00e4lkeen. T\u00e4llaiset ehdot voidaan automaattisesti kirjoittaa osaksi koodin kommentteja. Code Contracts on laajennos .NET-kieliin, jonka avulla sopimuspohjainen suunnittelu saadaan osaksi sovelluskehityst\u00e4. Tutkimuksessa selvitet\u00e4\u00e4n, miten ComTest ja Code Contracts liittyv\u00e4t toisiinsa.", "language": "fi", "element": "description", "qualifier": "abstract", "schema": "dc"}, {"key": "dc.description.abstract", "value": "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.", "language": "en", "element": "description", "qualifier": "abstract", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted using Plone Publishing form by Mikko Aitta-Aho (myhky) on 2015-09-22 19:54:56.122885. Form: Kandidaatintutkielma -lomake (https://kirjasto.jyu.fi/julkaisut/julkaisulomakkeet/kandin-tutkielma-lomake). JyX data: [jyx_publishing-allowed (fi) =True]", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted by jyx lomake-julkaisija (jyx-julkaisija.group@korppi.jyu.fi) on 2015-09-22T19:54:58Z\r\nNo. of bitstreams: 2\r\nURN:NBN:fi:jyu-201509223231.pdf: 10809734 bytes, checksum: af47fc30181059003b57bf6e8d3b3f52 (MD5)\r\nlicense.html: 4813 bytes, checksum: b6cca843f31a062d2251f016f63cd628 (MD5)", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Made available in DSpace on 2015-09-22T19:54:58Z (GMT). No. of bitstreams: 2\r\nURN:NBN:fi:jyu-201509223231.pdf: 10809734 bytes, checksum: af47fc30181059003b57bf6e8d3b3f52 (MD5)\r\nlicense.html: 4813 bytes, checksum: b6cca843f31a062d2251f016f63cd628 (MD5)\r\n Previous issue date: 2015", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.format.extent", "value": "21", "language": "", "element": "format", "qualifier": "extent", "schema": "dc"}, {"key": "dc.language.iso", "value": "fin", "language": "", "element": "language", "qualifier": "iso", "schema": "dc"}, {"key": "dc.rights", "value": "In Copyright", "language": "en", "element": "rights", "qualifier": null, "schema": "dc"}, {"key": "dc.subject.other", "value": "Sopimuspohjainen suunnittelu", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "Code Contracts", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "ComTest", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "Yksikk\u00f6testaus", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": ".NET Framework", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": ".NET Ohjelmistokehys", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "C#", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "VB.NET", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.title", "value": "Code Contracts ja ComTest-yksikk\u00f6testausgenerointi .NET-kieliss\u00e4", "language": "", "element": "title", "qualifier": null, "schema": "dc"}, {"key": "dc.type", "value": "bachelor thesis", "language": null, "element": "type", "qualifier": null, "schema": "dc"}, {"key": "dc.identifier.urn", "value": "URN:NBN:fi:jyu-201509223231", "language": "", "element": "identifier", "qualifier": "urn", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Kandidaatintutkielma", "language": "fi", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Bachelor's thesis", "language": "en", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Informaatioteknologian tiedekunta", "language": "fi", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Faculty of Information Technology", "language": "en", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Informaatioteknologia", "language": "fi", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Information Technology", "language": "en", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "University of Jyv\u00e4skyl\u00e4", "language": "en", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "Jyv\u00e4skyl\u00e4n yliopisto", "language": "fi", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Tietotekniikka", "language": "fi", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Mathematical Information Technology", "language": "en", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "dc.date.updated", "value": "2015-09-22T19:54:58Z", "language": "", "element": "date", "qualifier": "updated", "schema": "dc"}, {"key": "dc.type.coar", "value": "http://purl.org/coar/resource_type/c_7a1f", "language": null, "element": "type", "qualifier": "coar", "schema": "dc"}, {"key": "dc.rights.accesslevel", "value": "openAccess", "language": "fi", "element": "rights", "qualifier": "accesslevel", "schema": "dc"}, {"key": "dc.type.publication", "value": "bachelorThesis", "language": null, "element": "type", "qualifier": "publication", "schema": "dc"}, {"key": "dc.rights.url", "value": "https://rightsstatements.org/page/InC/1.0/", "language": null, "element": "rights", "qualifier": "url", "schema": "dc"}]
id jyx.123456789_47163
language fin
last_indexed 2025-02-18T10:55:01Z
main_date 2015-01-01T00:00:00Z
main_date_str 2015
online_boolean 1
online_urls_str_mv {"url":"https:\/\/jyx.jyu.fi\/bitstreams\/9b05e30c-c015-4fdb-8ea2-4913259f29bc\/download","text":"URN:NBN:fi:jyu-201509223231.pdf","source":"jyx","mediaType":"application\/pdf"}
publishDate 2015
record_format qdc
source_str_mv jyx
spellingShingle Aitta-aho, Mikko Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä Sopimuspohjainen suunnittelu Code Contracts ComTest Yksikkötestaus .NET Framework .NET Ohjelmistokehys C# VB.NET Tietotekniikka Mathematical Information Technology
title Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä
title_full Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä
title_fullStr Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä
title_full_unstemmed Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä
title_short Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä
title_sort code contracts ja comtest yksikkötestausgenerointi net kielissä
title_txtP Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä
topic Sopimuspohjainen suunnittelu Code Contracts ComTest Yksikkötestaus .NET Framework .NET Ohjelmistokehys C# VB.NET Tietotekniikka Mathematical Information Technology
topic_facet .NET Framework .NET Ohjelmistokehys C# Code Contracts ComTest Mathematical Information Technology Sopimuspohjainen suunnittelu Tietotekniikka VB.NET Yksikkötestaus
url https://jyx.jyu.fi/handle/123456789/47163 http://www.urn.fi/URN:NBN:fi:jyu-201509223231
work_keys_str_mv AT aittaahomikko codecontractsjacomtestyksikkötestausgenerointinetkielissä