Luotettavuus

1
Luotettavuus
2
Käsitteitä

• Virhe (error) on ohjelmistosuunnittelijan tai
  ohjelmoijan tekemä moka
• Virhe aiheuttaa puutteellisuuden(defect)
• Jos puutteellisuutta ei löydetä kehitysvaiheessa,
  siitä tulee vika (fault)
• Virheettömyys tarkoittaa määrittelyn mukaisuutta
  (!?)
• Häiriö (failure) on käyttäjälle ilmenevä
  häiriötila

3
Virheiden välttämisen keinoja

• Täsmällisen määrittelyn tuottaminen
• Oliolähestymistapa, tiedon kätkeminen ja
  kotelointi
• Runsas katsemusten järjestäminen
• Organisaation laatufilosofian omaksuminen
  (laatuajattelu työntekijöiden asenteisiin)
• Testauksen huolellinen suunnittelu ja tietysti
  itse testaus
• Laatujärjestelmät
• Virheiden ennalta ehkäisy

4
Vikasietoisuus

• Vikasietoisuus tarkoittaa ohjelmien kykyä selvitä
  vikatilanteista automaattisesti
• Toiminnan vaiheet
• Häiriön havaitseminen
• Vahingon arviointi mihin vaikuttanut?
• Virheestä toipuminen Järjestelmä täytyy
  palauttaa lailliseen tilaan
• Virheen korjaaminen

5
Poikkeustenkäsittely

• Tarkoituksena on poikkeustilanteiden hallittu
  käsittely
• Nykykielissä on välineet hallittuun poikkeusten
  käsittelyyn.
• Tehdään poikkeuskäsittely tietyn tyyppisille
  virheille. Ei kaikille virhetapauksille erikseen.

6
Defensiivinen ohjelmointi

• Oletetaan, että ohjelmaan on jäänyt virheitä
• Jokainen ohjelman osa vasta itse siitä, että se
  ei hyväksy virheellisiä syötteitä
• Suoritetaan ajonaikaisia tarkistuksia kaikista
  mahdollisista virhetilanteista ja määritellään
  niille poikkeusten käsittely
• Siis ei jätetä komponentin käyttäjälle vastuuta
  oikean syötteen antamisesta.

7
Virheestä toipuminen

• Eteenpäin toipuminen
• Pyritään korjaamaan virhe saman tien ja menemään
  eteenpäin
• Esim. yritetään myöhemmin samaa uudestaan.
• Voi olla vaikeaa
• Taaksepäin toipuminen
• Palataan suorituksessa taaksepäin
• Esim. yksinkertaisesti pyydetään syöte uudestaan
• Monimutkaisempi tapaus edellyttää aimpien tilojen
  taltioimista, jotta ne voidaan palauttaa
• Esim. eri järjestelmien välsitet transaktiot