virheentarkastuslogiikkaa

Virheentarkastuslogiikka on joukko menetelmiä, joiden avulla järjestelmät varmistavat virheiden havaitsemisen, tulkinnan ja reagoinnin. Se kattaa sekä datan eheyden säilyttämisen että ohjelmallisen toiminnan virheenkäsittelyn.

Päähaasteena on havaita virheitä, joita syntyy esimerkiksi tiedonsiirrossa, tallennuksessa tai käyttäjän syötteissä, ja estää niiden laajeneminen.

Tyypillisiä tekniikoita ovat pariteetit, tarkistussummat ja CRC-tarkistukset tiedonsiirrossa; hajautusfunktiot sekä virheenkorjausmenetelmät kuten Hamming-koodit ja ECC-muistit.

Ohjelmistossa virheentarkastus toteutuu muun muassa syötteiden validoinnissa, poikkeusten hallinnassa ja virhekoodeissa sekä virheilmoituksissa ja lokituksessa.

Suunnittelussa korostuvat sellaiset periaatteet kuin fail-fast, robuustti virheenkäsittely ja mahdollisimman varhainen virheen havaitseminen sekä virheen lokalisoiminen.

Sovelluskohteita ovat esimerkiksi tietotekniikka- ja viestintäjärjestelmät, varmuuskopiointi ja tallennusjärjestelmät sekä ohjelmistojen toimintavarmuuden parantaminen.

---