Daussäännöt ovat joukon sääntöjä standardoinnissa käytäntöjen ohjelmistokehityksen levittää parhaita käytäntöjä kehitys ja välttää kehitys virheitä "klassinen" ryhmässä kehittäjiä .
Koodaussäännöt kiertävät useita aiheita, joista yleisimmät ovat:
Koodaussäännöt auttavat varmistamaan koodin paremman luettavuuden käyttämällä samaa koodityyliä ja välttämällä rakenteita, jotka vaikeuttavat koodin lukemista tai muokkaamista. Ne auttavat myös estämään kielen liittyvät virheet, jotka voivat antaa virheellisiä tuloksia, mistä johtuen järjestelmän kaatumisia tai turvallisuutta rikkomuksista . Tietyt säännöt liittyvät myös ohjelmistoprojektin tavoitteisiin: siirrettävyys , muistirajoitukset, kriittisyys jne.
Koodaussäännöt osallistuvat ohjelmiston laatuun . Siksi mitä suurempi on kehityksen merkitys, sitä enemmän vaaditaan koodaussääntöjä. Siten DO-178B standardeja varten ilmailutekniikan ja Misra C varten auto määrätä joukko tavoitteet ohjelmiston mukaan kriittisyyden, jotka sille. Tämän kriittisyyden määräävät ohjelmistoon kohdistuvat rajoitteet (käytettävissä oleva muisti ja suoritin, luotettavuus, kestävyys jne.) Ja ohjelmiston käyttöön liittyvät riskit (inhimilliset, taloudelliset riskit jne.). Koodaussäännöt mukautetaan vastaavasti. Esimerkiksi sulautettujen ohjelmistojen, joissa on vähän muistia, ei pitäisi käyttää dynaamista muistin allokointia . Toinen esimerkki: raketin redundantin ohjelmiston on kehitettävä täysin itsenäinen ja erillinen tiimi (ei koodinjakoa, ei suunnittelunjakoa jne.) Redundantin ohjelmiston kehittämisestä, ja kehityksen on tapahduttava samoilla rajoituksilla molemmat joukkueet.
Absoluuttista ohjelmointisääntöä ei ole, ja jokaisen ohjelmistoprojektin on määritettävä sille parhaiten sopivat.
Kaikkia ohjelmointisääntöjen rikkomuksia kutsutaan sääntöjen rikkomuksiksi.
Esimerkkejä koodin ylläpitoa helpottavista säännöistä:
Esimerkkejä ohjelmointivirheitä estävistä säännöistä:
Esimerkkejä siirrettävyyttä helpottavista säännöistä:
Ohjelmointisääntöjoukon tarkistus tehdään yleensä koodin tarkistuksen tai koodin tarkastuksen aikana joko manuaalisesti tai automaattisesti ohjelmointisääntöjen rikkomusten löytämiseksi niiden korjaamiseksi.
Koodin tarkistus tarkistaa muun muassa, että uusi lähdekoodi täyttää ohjelmointisäännöt ennen kuin tämä uusi lähdekoodi integroi olemassa olevan koodipohjan.
Kooditarkastus varmistaa, että nykyinen koodipohja on ohjelmointisääntöjen mukainen.
Staattista ohjelma-analyysia verifiointityökalujen että koodipohja tyytyväisiä ohjelmoinnin sääntöjä. Se säästää arvokasta aikaa, kun sääntöjen määrä on suuri tai kun koodipohja on suuri ( koodirivien määrä ).