Työkalu luotettavuuden mallipohjaiseen analysointiin

Antti Niskanen

Research output: Book/ReportReportProfessional

Abstract

Mallipohjaisella analysoinnilla tarkoitetaan ohjelmiston laadun arviointia, joka perustuu ohjelmiston arkkitehtuurimalliin, joka kuvaa ohjelmiston rakenteen ja sen käyttäytymisen. Arkkitehtuuritason analysointi tehdään ohjelmistokehityksen alkuvaiheessa, jolloin mahdollisten ongelmakohtien korjaaminen on yksinkertaisempaa ja halvempaa verrattuna toteutetun ohjelmiston korjaamiseen. Tässä työssä kehitetään ja toteutetaan työkalu ohjelmiston arkkitehtuuritason luotettavuuden analysointiin. Työkalun tarkoituksena on helpottaa ja nopeuttaa olemassa olevan analysointimenetelmän käyttöä, jotta ohjelmistoarkkitehti pystyisi näkemään, toteuttaako kohteena olevan järjestelmän arkkitehtuuri sille asetetut luotettavuusvaatimukset. Työkalun suorittamaa analysointia varten kehitettiin erilliset mallit yksittäisten ohjelmistokomponenttien ja koko järjestelmän luotettavuuden analysointiin hyödyntäen standardia graafista kuvaustapaa. Nämä mallit kuvattiin osana kohdejärjestelmän arkkitehtuurimallia. Arkkitehtuurimallien kuvaamiseen käytettiin Sparx Systemsin Enterprise Architect mallinnustyökalua, jonka kautta kehitettävä työkalu pystyy lukemaan ja käsittelemään arkkitehtuurimallia hyödyntämällä mallinnustyökalun tarjoamaa ulkoista ohjelmointirajapintaa. Työkalun kehitysympäristönä käytettiin Microsoftin Visual Studio .NET 2003:a ja työkalu toteutettiin C#-ohjelmointikielellä. Yhteenvetona voidaan todeta, että teknisesti luotettavuusanalyysi onnistui esimerkkinä käytetystä arkkitehtuurimallista tässä työssä kehitetyn työkalun avulla, mutta tarvitaan huomattavasti jatkokehittelyä, ennen kuin työkalua voidaan käyttää teollisuudessa.
Original languageFinnish
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Number of pages63
ISBN (Electronic)951-38-6777-3
ISBN (Print)951-38-6776-5
Publication statusPublished - 2006
MoE publication typeNot Eligible

Publication series

NameVTT Tiedotteita - Research Notes
PublisherVTT
No.2331
ISSN (Print)1235-0605
ISSN (Electronic)1455-0865

Keywords

  • model-based analysis
  • analysis tools
  • software quality
  • software systems
  • reliability
  • requirements
  • software architecture
  • Unified Modelling Language
  • testing

Cite this

Niskanen, A. (2006). Työkalu luotettavuuden mallipohjaiseen analysointiin. Espoo: VTT Technical Research Centre of Finland. VTT Tiedotteita - Meddelanden - Research Notes, No. 2331
Niskanen, Antti. / Työkalu luotettavuuden mallipohjaiseen analysointiin. Espoo : VTT Technical Research Centre of Finland, 2006. 63 p. (VTT Tiedotteita - Meddelanden - Research Notes; No. 2331).
@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 - Research Notes",
publisher = "VTT Technical Research Centre of Finland",
number = "2331",
address = "Finland",

}

Niskanen, A 2006, Työkalu luotettavuuden mallipohjaiseen analysointiin. VTT Tiedotteita - Meddelanden - Research Notes, no. 2331, VTT Technical Research Centre of Finland, Espoo.

Työkalu luotettavuuden mallipohjaiseen analysointiin. / Niskanen, Antti.

Espoo : VTT Technical Research Centre of Finland, 2006. 63 p. (VTT Tiedotteita - Meddelanden - Research Notes; No. 2331).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - Työkalu luotettavuuden mallipohjaiseen analysointiin

AU - Niskanen, Antti

N1 - Project code: E3SU00217

PY - 2006

Y1 - 2006

N2 - Mallipohjaisella analysoinnilla tarkoitetaan ohjelmiston laadun arviointia, joka perustuu ohjelmiston arkkitehtuurimalliin, joka kuvaa ohjelmiston rakenteen ja sen käyttäytymisen. Arkkitehtuuritason analysointi tehdään ohjelmistokehityksen alkuvaiheessa, jolloin mahdollisten ongelmakohtien korjaaminen on yksinkertaisempaa ja halvempaa verrattuna toteutetun ohjelmiston korjaamiseen. Tässä työssä kehitetään ja toteutetaan työkalu ohjelmiston arkkitehtuuritason luotettavuuden analysointiin. Työkalun tarkoituksena on helpottaa ja nopeuttaa olemassa olevan analysointimenetelmän käyttöä, jotta ohjelmistoarkkitehti pystyisi näkemään, toteuttaako kohteena olevan järjestelmän arkkitehtuuri sille asetetut luotettavuusvaatimukset. Työkalun suorittamaa analysointia varten kehitettiin erilliset mallit yksittäisten ohjelmistokomponenttien ja koko järjestelmän luotettavuuden analysointiin hyödyntäen standardia graafista kuvaustapaa. Nämä mallit kuvattiin osana kohdejärjestelmän arkkitehtuurimallia. Arkkitehtuurimallien kuvaamiseen käytettiin Sparx Systemsin Enterprise Architect mallinnustyökalua, jonka kautta kehitettävä työkalu pystyy lukemaan ja käsittelemään arkkitehtuurimallia hyödyntämällä mallinnustyökalun tarjoamaa ulkoista ohjelmointirajapintaa. Työkalun kehitysympäristönä käytettiin Microsoftin Visual Studio .NET 2003:a ja työkalu toteutettiin C#-ohjelmointikielellä. Yhteenvetona voidaan todeta, että teknisesti luotettavuusanalyysi onnistui esimerkkinä käytetystä arkkitehtuurimallista tässä työssä kehitetyn työkalun avulla, mutta tarvitaan huomattavasti jatkokehittelyä, ennen kuin työkalua voidaan käyttää teollisuudessa.

AB - Mallipohjaisella analysoinnilla tarkoitetaan ohjelmiston laadun arviointia, joka perustuu ohjelmiston arkkitehtuurimalliin, joka kuvaa ohjelmiston rakenteen ja sen käyttäytymisen. Arkkitehtuuritason analysointi tehdään ohjelmistokehityksen alkuvaiheessa, jolloin mahdollisten ongelmakohtien korjaaminen on yksinkertaisempaa ja halvempaa verrattuna toteutetun ohjelmiston korjaamiseen. Tässä työssä kehitetään ja toteutetaan työkalu ohjelmiston arkkitehtuuritason luotettavuuden analysointiin. Työkalun tarkoituksena on helpottaa ja nopeuttaa olemassa olevan analysointimenetelmän käyttöä, jotta ohjelmistoarkkitehti pystyisi näkemään, toteuttaako kohteena olevan järjestelmän arkkitehtuuri sille asetetut luotettavuusvaatimukset. Työkalun suorittamaa analysointia varten kehitettiin erilliset mallit yksittäisten ohjelmistokomponenttien ja koko järjestelmän luotettavuuden analysointiin hyödyntäen standardia graafista kuvaustapaa. Nämä mallit kuvattiin osana kohdejärjestelmän arkkitehtuurimallia. Arkkitehtuurimallien kuvaamiseen käytettiin Sparx Systemsin Enterprise Architect mallinnustyökalua, jonka kautta kehitettävä työkalu pystyy lukemaan ja käsittelemään arkkitehtuurimallia hyödyntämällä mallinnustyökalun tarjoamaa ulkoista ohjelmointirajapintaa. Työkalun kehitysympäristönä käytettiin Microsoftin Visual Studio .NET 2003:a ja työkalu toteutettiin C#-ohjelmointikielellä. Yhteenvetona voidaan todeta, että teknisesti luotettavuusanalyysi onnistui esimerkkinä käytetystä arkkitehtuurimallista tässä työssä kehitetyn työkalun avulla, mutta tarvitaan huomattavasti jatkokehittelyä, ennen kuin työkalua voidaan käyttää teollisuudessa.

KW - model-based analysis

KW - analysis tools

KW - software quality

KW - software systems

KW - reliability

KW - requirements

KW - software architecture

KW - Unified Modelling Language

KW - testing

M3 - Report

SN - 951-38-6776-5

T3 - VTT Tiedotteita - Research Notes

BT - Työkalu luotettavuuden mallipohjaiseen analysointiin

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -

Niskanen A. Työkalu luotettavuuden mallipohjaiseen analysointiin. Espoo: VTT Technical Research Centre of Finland, 2006. 63 p. (VTT Tiedotteita - Meddelanden - Research Notes; No. 2331).