TY - BOOK
T1 - Ohjelmiston vikasietoisuus
AU - Bjarland, Bert
PY - 1986
Y1 - 1986
N2 - Ohjelmiston vikasietoisuus on ohjelmiston käyttövarmuuden
ja tämän laatutekijän luotettavuuden yksi alkutekijä.
Ohjelmistovirhe syntyy viime kädessä inhimillisten
virhetekijöiden vaikutuksesta, määrittely-, suunnittelu-
tai koodausvirheenä. Erittäin suurta käyttövarmuutta
vaativissa ohjelmistoissa virheitä ja niiden vaikutuksia
pyritään eliminoimaan paitsi kehityksenaikaisilla
tarkastuksilla ja testauksella myös rakentamalla
ohjelmisto vikasietoiseksi.
Vikasietoinen ohjelmisto toimii oikein, vaikka sen
koodissa olisi virheitä. Vikasietoisessa ohjelmistossa
kriittisillä toiminnoilla voi olla varalohkot, joita
otetaan käyttöön, jos tarkistuspisteessä havaitaan tulos
virheelliseksi. Toinen vaihtoehto on usea rinnan ajettava
ohjelma, joiden tuottamista tuloksista ohjelmisto
suorittaa enemmistöäänestyksen.
Vikasietoinen ohjelmisto ei välttämättä ole paljon tai
lainkaan monimutkaisempi kuin yksinkertainen,
varmentamaton ohjelmisto. Se on kalliimpi suunnitella ja
toteuttaa, mutta saattaa olla halvempi testata,
verifioida ja validoida.
AB - Ohjelmiston vikasietoisuus on ohjelmiston käyttövarmuuden
ja tämän laatutekijän luotettavuuden yksi alkutekijä.
Ohjelmistovirhe syntyy viime kädessä inhimillisten
virhetekijöiden vaikutuksesta, määrittely-, suunnittelu-
tai koodausvirheenä. Erittäin suurta käyttövarmuutta
vaativissa ohjelmistoissa virheitä ja niiden vaikutuksia
pyritään eliminoimaan paitsi kehityksenaikaisilla
tarkastuksilla ja testauksella myös rakentamalla
ohjelmisto vikasietoiseksi.
Vikasietoinen ohjelmisto toimii oikein, vaikka sen
koodissa olisi virheitä. Vikasietoisessa ohjelmistossa
kriittisillä toiminnoilla voi olla varalohkot, joita
otetaan käyttöön, jos tarkistuspisteessä havaitaan tulos
virheelliseksi. Toinen vaihtoehto on usea rinnan ajettava
ohjelma, joiden tuottamista tuloksista ohjelmisto
suorittaa enemmistöäänestyksen.
Vikasietoinen ohjelmisto ei välttämättä ole paljon tai
lainkaan monimutkaisempi kuin yksinkertainen,
varmentamaton ohjelmisto. Se on kalliimpi suunnitella ja
toteuttaa, mutta saattaa olla halvempi testata,
verifioida ja validoida.
KW - fault-tolerant computers
KW - software
KW - microcomputers
KW - reliability
M3 - Report
SN - 951-38-2587-6
T3 - Valtion teknillinen tutkimuskeskus. Tiedotteita
BT - Ohjelmiston vikasietoisuus
PB - VTT Technical Research Centre of Finland
CY - Espoo
ER -