Vastaväittäjä: Dosentti, FT Ville Leppänen, Turun yliopisto
Kustos: Professori Martti Penttonen, Kuopion yliopisto
Aika ja paikka: Perjantai 17.4.2009 klo 12, Snellmanian auditorio L22

Väitöstiedote:

Määrityksen mukaisuuden testaus vähentää tietojärjestelmien yhteentoimivuusongelmia

Tässä väitöstutkimuksessa kehitettiin olemassa olevia testausmenetelmiä käytännönläheisemmiksi erityisesti integraattorin näkökulmasta. Integraattoriksi kutsutaan ohjelmistoyritystä, joka integroi omia ja muilta hankkimiaan ohjelmistokomponentteja suuremmiksi järjestelmiksi ja toimittaa valmiita järjestelmiä asiakasorganisaatioille. Lisäksi tutkimuksessa selvitettiin, kuinka tietojärjestelmien yhteentoimivuusongelmia voidaan vähentää määrityksen mukaisuuden testauksen avulla. Tavoitteena oli tuoda määrityksen mukaisuuden testaus tutuksi ohjelmistoyrityksille sekä heidän asiakkailleen.

Olemme saaneet viime aikoina lukea lehdistä, kuinka lentokoneet myöhästelevät, palkat eivät tule tilille, pankkikorteilla maksaminen ei onnistu, tai äänestäjien sähköiset äänet katoavat. Näiden ongelmien syynä ovat yleensä tietojärjestelmät ja niissä olevat ohjelmistovirheet. Miksi ohjelmistoissa sitten on virheitä? Yksi syy on se, ettei ohjelmistoja voida koskaan testata täydellisesti: koodin määrä on valtava, järjestelmät ovat monimutkaisia, resurssit ovat rajalliset ja syötteissä on ääretön määrä vaihtoehtoja. Toinen syy on se, että vaikka ohjelmistojen testausmenetelmiä on olemassa paljon, ne ovat usein tehottomia tai käytäntöön sopimattomia.

Tietojärjestelmien saumaton yhteentoimivuus eri organisaatioista koostuvassa verkostossa on nykypäivänä erittäin suuri haaste. Tietojen pitää siirtyä esimerkiksi aluesairaaloiden, yliopistollisten sairaaloiden ja terveyskeskusten välillä saumattomasti. Yhteentoimivuutta voidaan parantaa erilaisten standardien ja määrityksen mukaisuuden testauksen avulla. Valitettavasti standardit ja muut viralliset määritykset ovat usein liian yleisellä tasolla ja puutteellisia tietojärjestelmien testausta ajatellen. Lisäksi standardeja voidaan hyödyntää hyvin monella eri tavalla, sekä oikealla että väärällä.

Väitöskirjassa on kehitetty määrityksen mukaisuuden testauksen malli, jonka avulla järjestelmien standardin mukaisuus voidaan testata. Mallia on kokeiltu ja arvioitu käytännössä. Tutkimuksen aikana havaittiin, että olemassa olevat standardit/määritykset ovat usein liian epämääräisiä ja moniselitteisiä. Tämän vuoksi määrityksille on esitetty testattavuusvaatimukset, jotka määritysten tulee huomioida. Lisäksi ohjelmistotaloille sekä heidän asiakasorganisaatioilleen on annettu suosituksia, kuinka järjestelmien laatua ja yhteentoimivuutta sekä testausprosesseja voidaan kehittää.

Tutkimuksen tärkeimmät tulokset ovat: 1) systemaattinen, integraattoreille suunnattu komponenttipohjaisten järjestelmien testausmalli, 2) nopea ja kevyt määrityksen mukaisuuden testausmalli, 3) lista vaatimuksia rajapintamääritysten testattavuuden kehittämiseksi, sekä 4) suositukset ohjelmistoyrityksille ja asiakasorganisaatioille kuinka järjestelmien laatua ja yhteentoimivuutta voidaan parantaa.

Tutkimustuloksia voivat hyödyntää sekä ohjelmistotalot, heidän asiakkaansa että viranomaiset. Ohjelmistoyritykset ja integraattorit saavat apua testausprosessien sekä ohjelmistojen laadun ja yhteentoimivuuden parantamiseen. Asiakasorganisaatioille annetaan suosituksia, kuinka he pystyvät omalta osaltaan vaikuttamaan ohjelmistojen laatuun ja yhteentoimivuuteen. Lisäksi viranomaisille annetaan suosituksia yhteentoimivuuden kehittämiseksi.

Väitöskirja on julkaistu sarjassa Kuopion yliopiston julkaisuja H. Informaatioteknologia ja kauppatieteet, ISBN 978-951-781-994-7. Sitä voi tilata yliopiston kirjaston julkaisumyynnistä, sähköposti: yrjo.valtanen@uku.fi tai verkko-osoitteesta http://www.uku.fi/kirjasto/julkaisutoiminta/julkmyyn.shtml

Lisätietoja:
FM Tanja Toroi
Kuopion yliopisto, tietojenkäsittelytieteen laitos
tanja.toroi@uku.fi
040 355 2374