Ohjelmistovika on mikä tahansa virhe tietokoneohjelman luomiseen käytetyssä koodissa. Virheet voivat aiheuttaa monenlaisia erilaisia ongelmia riippuen ohjelman tyypistä ja tietystä viasta. Esimerkiksi jotkut viat voivat aiheuttaa ohjelmien jäädyttämisen ja lakkaamisen. Toiset voivat aiheuttaa virheitä ohjelman suorituskyvyssä, mikä johtaa ohjelman käyttäytymiseen odottamattomalla tavalla. Joskus ohjelmistovika voi jopa sulkea ohjelman kokonaan.
Useimmat ohjelmointiasiantuntijat ovat yhtä mieltä siitä, että on lähes mahdotonta luoda minkä tahansa kokoista ohjelmaa ilman jonkinlaista ohjelmistovirhettä. Monimutkaisemmilla ohjelmilla vikojen kehittymismahdollisuudet yleensä kasvavat. Tämä johtuu siitä, että ohjelmoijien voi olla vaikeampaa löytää kaikkia virheitä ohjelmissa, joissa käyttäjät voivat tehdä monia erilaisia toimintoja.
Löytääkseen olemassa olevia ohjelmistovirheongelmia ohjelmoijat tekevät yleensä kaikkensa testatakseen ohjelmat huolellisesti ennen niiden julkistamista. Joskus he voivat jopa palkata erikoistyöntekijöitä vain testaamaan ohjelmistoja mahdollisimman laajasti ja raportoimaan tuloksista ohjelmoijille. Kaikista näistä suojatoimenpiteistä huolimatta monia ohjelmistovirheitä ei havaita ennen ohjelmien julkaisua.
Joissakin tapauksissa kehittäjät saattavat löytää virheen, mutta päättävät, että se ei ole niin vakava, että se oikeuttaisi viivästyttämään ohjelmiston julkaisua. Kun näin tapahtuu, kehittäjä voi jatkaa ja julkaista ohjelman ja kehittää sitten päivityksen, joka korjaa jäljellä olevat viat. Tämä on myös tavallinen tapa käsitellä vikoja, jotka havaitaan ohjelman julkaisun jälkeen.
Joskus ohjelma voi olla jatkuvassa muutoksessa, koska ohjelmoijat pyrkivät sisällyttämään enemmän ominaisuuksia ajan myötä. Tämä prosessi tuo yleensä uusia ohjelmistovirheongelmia jokaisen julkaisun yhteydessä. Tästä voi tulla loputon sykli, jolloin ohjelmoijat lisäävät jatkuvasti ominaisuuksia ohjelmistoon ja korjaavat vikoja. Pohjimmiltaan ohjelma ei ehkä koskaan ole valmis. Sen sijaan se voi kehittyä jatkuvasti samalla kun hän kokee kasvukipuja matkan varrella.
Tietokoneohjelman luominen edellyttää ohjelmointikielillä kirjoitetun koodin käyttöä. Tietokonekoodauksen luonne tarkoittaa, että pienetkin kirjoitusvirheet ja vastaavat virheet voivat helposti johtaa ohjelmistovirheisiin, ja ohjelmoijien on erittäin vaikea välttää luomasta muutamia ongelmia tällä tavalla. On myös mahdollista, että vikoja voi kehittyä, koska ohjelmoija tekee virheen logiikassa koodia luodessaan.