Kustannustehokas ohjelmiston luotettavuuden suunnittelu ja arviointi. Osa 2

Ohjelmistojen käyttäminen kriittisiin sovelluksiin on jatkuvassa kasvussa. Päinvastoin kuin laitteistoviat, ohjelmistoviat ovat systemaattisia ja ne voivat piileksiä pitkiä aikoja ennen paljastumistaan. Tämä tiedote on toinen osa tutkimussarjassa, jossa käsitellään ohjelmiston luotettavuuden kustannustehokasta suunnittelua ja arviointia. Osan kaksi teemoina ovat uusien menetelmien vähäisen käytön syyt, automaattinen testaaminen luotettavuuden ilmaisijana, ohjelmiston virhemekanismit sekä ohjelmistomittojen käyttö ohjelmiston luotettavuuden arvioinnin apuna. Kaikki kehittyneet ohjelmistoprosessit ja -menetelmät lupaavat vähentää kustannuksia, vaivannäköä tai virheitä sekä parantaa laatua ja kasvattaa luotettavuutta. Huolimatta näistä toivottavista ominaisuuksista yritykset eivät ole omaksuneet nykyaikaisia menetelmiä käyttöönsä. Formaalit menetelmät, mittausprosessit, standardit ja ohjeet sekä jopa automaattiset testausmenetelmät eivät ole useimpien ohjelmistokehittäjien suosiossa. Testaaminen on taitolaji. Jos oletetaan, että pienellä joukolla testitapauksia on löydettävä useimmat ohjelmistovirheet, testitapausten valitseminen on tärkeässä asemassa. Automaattiseen testaamiseen asetetaan suuria odotuksia. Sen odotetaan kasvattavan testikattavuutta ja siten parantavan luotettavuuden osoittamista, mutta automaatiossa taidontarve on toinen verrattuna perinteiseen testaamiseen. Kattavuus on monitahoinen käsite. Puhutaan esimerkiksi testikattavuudesta ja koodikattavuudesta, jotka kummatkin sisältävät useita ominaisuuksia. Eroa kattavuuden ja kattavuusolettamuksien välillä ei kuitenkaan tehdä, koska virhemekanismin teoreettinen tuntemus ei ole hyvin kehittynyt. Virhemekanismi on kuitenkin kaiken testaamisen ja suunnittelun perustekijöitä etsittäessä virheitä ja suojauduttaessa niiltä. Ohjelmistomittoja on perinteisesti käytetty ohjelmistoprosessin ja -projektin hallinnallisiin toimintoihin. Mittojen käyttöä ohjelmiston luotettavuuden arvioinnin apuna on tutkittu runsaasti, mutta käytännön ohjelmistotyöhön sopivia menetelmiä on verrattain vähän, mikä johtuu mitattavissa olevien ohjelmiston ominaisuuksien epämääräisestä suhteesta luotettavuuteen. Mittaustieto on kuitenkin merkittävä informaation lähde varsinkin ohjelmiston varhaisissa elinkaaren vaiheissa tapahtuvien ohjelmiston riskiosien tunnistamisessa ja korjaavien toimenpiteiden kohdentamisessa.