Ohjelmointivirhe

Ohjelmointivirhe (puhekielessä bugi) on tietokoneohjelman lähdekoodissa oleva virhe. Virheet jaetaan kahteen pääluokkaan: syntaksivirheet ja semanttiset virheet. Syntaksivirheet paljastuvat heti, koska kääntäjä ei pysty kääntämään sellaista ohjelmakoodia eikä ohjelmointikielen tulkki voi tulkaten suorittaa sellaista ohjelmakäskyä. Semanttinen virhe saa ohjelman toimimaan väärin jossain tilanteessa. Virheellinen toiminta saattaa johtua myös kääntäjän tai tulkin virheellisestä toiminnasta. Väärä toiminta määritellään tapauskohtaisesti ja joissain tapauksissa voi olla epäselvää, onko yllättävä toiminta virheellistä. Ohjelmointivirhe tapahtuu ohjelmointi- (implementointi eli toteutus) tai suunnitteluvaiheessa (speksaus) ja ilmenee ohjelmaa ajettaessa. Virheen korjaamisen kannalta on hankalaa, että se saattaa ilmetä vain jossain yksittäisessä ja harvinaisessa tilanteessa, jota on vaikea hahmottaa. Kaikissa hyödyllisissä tietokoneohjelmissa sanotaan olevan virheitä. 

Ohjelmankirjoituksessa pätee virheen suurusluokkaan seuraava: Mitä myöhemmässä ohjelmistonkehityksen vaiheessa virhe tehdään, sitä helpompi se on korjata. Jos virhe tapahtuu jo suunnittelu- ja määrittelyvaiheessa, korjaaminen on usein hankalaa ja jopa mahdotonta. Hyvin kirjoitetuissa ohjelmissa niitä on suhteellisen vähän, ja ne ovat niin lieviä, etteivät ne estä ohjelmaa täyttämästä tarkoitustaan. Ohjelman, jossa on paljon vakavia virheitä, sanotaan olevan buginen. Sana tulee englannin kielen ludetta ja hyönteistä tarkoittavasta sanasta bug (suom. ötökkä). Sana on vanha insinööritermi, jota esimerkiksi Edison käytti kirjoittaessaan vuonna 1878:

Ohjelmointivirheellä selitetään myös usein ohjelmistosodankäyntiin liittyviä ohjelmistojen ”ominaisuuksia”, esimerkiksi ohjelmistoon jääneitä takaportteja ja turvallisuusrakenteiden ohituksia tai puskurin ylivuotovirhettä (ohjelmointivirheitä). Käytännössä tarkoituksellisen vian ja tahattomasti syntyneen ohjelmointivirheen erottaminen on lähes mahdotonta. Ne voidaan erottaa vain tietämällä virheen tavoite.

Bugi-termin väitetään syntyneen vuonna 1947, kun Grace Hopper jäljitti virheen Harvard Mark II -tietokoneen releeseen jääneeseen yöperhoseen. Perhonen poistettiin ja liitettiin lokikirjaan. Hopper on sanonut, ettei ollut tapahtuma-aikana paikalla, mutta se oli yksi hänen mielikertomuksistaan. Hopper ja ryhmä vaikutti termin debugata () yleistymiseen.
Hopperin mukaan termiä bugi käytettiin kuvaamaan tutkaongelmia toisen maailmansodan aikana.

 Debuggaus 
Debuggaus eli virheenjäljittäminen on prosessi, jossa ohjelmointivirheitä eli bugeja paikallistetaan ja korjataan. Usein virheen löytäminen on esimerkiksi helppoa, mutta yksittäinen koodirivi, jossa virhe ilmenee, voi olla hyvin vaikea löytää.

Debuggauksessa käytetään apuna debuggeria, joka suorittaa koodia rivi riviltä, jolloin ohjelmistokehittäjän on mahdollista nähdä, missä järjestyksessä koodia ajetaan ja tarkastella muuttujien arvoja jokaisessa koodin ajon vaiheessa. Tavallisesti tarkasteltavalle koodiriville asetetaan "breakpoint", johon koodin ajo pysähtyy ja tämän jälkeen koodia ajetaan rivi kerrallaan.

Debuggaaminen on myös mahdollista ilman debuggeria esimerkiksi kirjoittamalla muuttujien arvoja konsoliin tai erilliseen lokitiedostoon (eng. tracing).

Debuggaus ja testaus ovat toisilleen komplementaarisia prosesseja. Testauksen tarkoitus on selvittää, mitä tapahtuu, kun ohjelman lähdekoodeissa on virhe. Debuggauksen tehtävä on paikallistaa virhe ja korjata se. Testauksesta ei selviä, mikä virhe ohjelmassa on, se ainoastaan paljastaa minkälaisia seurauksia virheellä on. Kun virhe on tunnistettu, debuggauksella virhe voidaan selvittää ja korjata.

 Debuggauksen ongelmat 
Debuggaus voi olla työlästä ja mahdollisesti vaatia jopa enemmän aikaa kuin itse koodin kirjoittaminen. Debuggaus voi olla erityisen vaikeaa, kun

 Virheestä aiheutuva ongelma on selvä, mutta sen aiheuttaja ei.
 Virhe on vaikea saada toistettua. Esimerkiksi ei ole tiedossa, millä inputilla virhe on saatu aikaiseksi tai sen aikaansaaminen on hankalaa.
 Koodin riippuvuussuhteet eivät ole selviä, jolloin koodivirheen korjaaminen yhdessä paikassa koodia voi aiheuttaa virheitä toisaalla koodissa.

Katso myös
 Puskurin ylivuotovirhe
 Ohjelmistosodankäynti
 Beetatestaus
 Profilointi

 Lähteet 

Aiheesta muualla

 Why are there Bugs in Software?