Ohjelmiston monimutkaisuuden mittaaminen koodin välikielisen esitysmuodon perusteella

Ohjelmistojen laadun varmistamiseen on olemassa useita menetelmiä. Näihin menetelmiin kuuluu mekaanisia työkaluja kuten ohjelmiston monimutkaisuusmittarit (software complexity metrics) sekä tuotekehitysprosessin ja projektinhallinnan menetelmiä. Ohjelmistoja voidaan esittää useilla eri tasoilla, arkkitehtuurikaavioista varsinaiseen lähdekoodiin sekä suoritettavaan koodiin. Kun ohjelman lähdekoodi prosessoidaan ajettavaksi ohjelmaksi, käytetään välikielisiä esitysmuotoja joko kääntäjässä sisäisesti tai ulkoisesti jakelumuotona, kuten Java-tavukoodin tapauksessa. Tässä työssä esitetään "funktionaalinen" ohjelmiston monimutkaisuuden mittari joka toimii tällä välikielitasolla käyttäen GCC-kääntäjän sisäisesti käyttämää ohjelmien esitysmuotoa. Laadukkaan ohjelmiston tekemiseksi ei ole mitään yksittäistä ratkaisua. Parhaisiin tuloksiin äästään jos käytetään useita teknisiä menetelmiä ohjelmiston eri tasojen analysointiin yhdessä tuotekehityksen ja projektihallinnan menetelmien kanssa