@book{e0a4aac14cd74dc083aef3c8d7d6586c,
title = "Ty{\"o}kalu luotettavuuden mallipohjaiseen analysointiin",
abstract = "Mallipohjaisella analysoinnilla tarkoitetaan ohjelmiston laadun arviointia, joka perustuu ohjelmiston arkkitehtuurimalliin, joka kuvaa ohjelmiston rakenteen ja sen k{\"a}ytt{\"a}ytymisen. Arkkitehtuuritason analysointi tehd{\"a}{\"a}n ohjelmistokehityksen alkuvaiheessa, jolloin mahdollisten ongelmakohtien korjaaminen on yksinkertaisempaa ja halvempaa verrattuna toteutetun ohjelmiston korjaamiseen. T{\"a}ss{\"a} ty{\"o}ss{\"a} kehitet{\"a}{\"a}n ja toteutetaan ty{\"o}kalu ohjelmiston arkkitehtuuritason luotettavuuden analysointiin. Ty{\"o}kalun tarkoituksena on helpottaa ja nopeuttaa olemassa olevan analysointimenetelm{\"a}n k{\"a}ytt{\"o}{\"a}, jotta ohjelmistoarkkitehti pystyisi n{\"a}kem{\"a}{\"a}n, toteuttaako kohteena olevan j{\"a}rjestelm{\"a}n arkkitehtuuri sille asetetut luotettavuusvaatimukset. Ty{\"o}kalun suorittamaa analysointia varten kehitettiin erilliset mallit yksitt{\"a}isten ohjelmistokomponenttien ja koko j{\"a}rjestelm{\"a}n luotettavuuden analysointiin hy{\"o}dynt{\"a}en standardia graafista kuvaustapaa. N{\"a}m{\"a} mallit kuvattiin osana kohdej{\"a}rjestelm{\"a}n arkkitehtuurimallia. Arkkitehtuurimallien kuvaamiseen k{\"a}ytettiin Sparx Systemsin Enterprise Architect mallinnusty{\"o}kalua, jonka kautta kehitett{\"a}v{\"a} ty{\"o}kalu pystyy lukemaan ja k{\"a}sittelem{\"a}{\"a}n arkkitehtuurimallia hy{\"o}dynt{\"a}m{\"a}ll{\"a} mallinnusty{\"o}kalun tarjoamaa ulkoista ohjelmointirajapintaa. Ty{\"o}kalun kehitysymp{\"a}rist{\"o}n{\"a} k{\"a}ytettiin Microsoftin Visual Studio .NET 2003:a ja ty{\"o}kalu toteutettiin C#-ohjelmointikielell{\"a}. Yhteenvetona voidaan todeta, ett{\"a} teknisesti luotettavuusanalyysi onnistui esimerkkin{\"a} k{\"a}ytetyst{\"a} arkkitehtuurimallista t{\"a}ss{\"a} ty{\"o}ss{\"a} kehitetyn ty{\"o}kalun avulla, mutta tarvitaan huomattavasti jatkokehittely{\"a}, ennen kuin ty{\"o}kalua voidaan k{\"a}ytt{\"a}{\"a} teollisuudessa.",
keywords = "model-based analysis, analysis tools, software quality, software systems, reliability, requirements, software architecture, Unified Modelling Language, testing",
author = "Antti Niskanen",
note = "Project code: E3SU00217 ",
year = "2006",
language = "Finnish",
isbn = "951-38-6776-5",
series = "VTT Tiedotteita - Meddelanden - Research Notes",
publisher = "VTT Technical Research Centre of Finland",
number = "2331",
address = "Finland",
}