Staattinen koodin C + +

Voimme määritellä prosessin staattisen analyysin lähdekoodin menettely, jonka osat tunnistetaan vaarallisia koodia ilman että todellinen ohjelman toteuttamista.

"S staattinen analyysi voidaan suorittaa automaattisesti, eli sen omien erityisten työkalujen hyödyllistä tukea testausprosessin. Tarkkaile miten vaiheessa ohjelmistojen testaus, kokonaisuudessaan, on hyvin monimutkainen prosessi ja harjoittavat tavallisesti ohjelmoijia jotka päättävät erikoistua tähän alaan. Ohjelmistotyökaluja omistettu "staattinen koodin analyysi mikä auttaa vähentämään aikaa ja kustannuksia, tarjoaa ensimmäisen vihjeen siitä mitä koodiosia olla velvollisuus tarkistaa tarkemmin.

Tyyppisiä havaitsemista virheistä mainitut välineet ovat moninaiset ja jatkuvan, Business Development, itse asiassa tällainen ohjelmisto menee hyvin rytmiä jo pitkään.

Tässä suhteessa tärkeää historiallista arvoa tyyppisen ohjelman Lint , julkaistiin vuonna 1979, joka toimii Linux ja omistettu ohjelmointikieli C . Nukka on todellinen merkkipaalu staattisen koodin tarkastusta ohjelmisto, joskus tunnistettu "nukkaa kaltaisia ​​työkaluja", tai "nukkaa kuin työkaluja."

Moderni staattinen analysaattorit voivat myös tarkistaa koodin suunniteltu rinnakkain, tarjoamalla erityisiä ehdotuksia tällaisiin sovelluksiin.

Tässä artikkelissa keskitymme tällainen väline, yrittää tarjota lyhyt katsaus mahdollisuuksia staattisen koodin ohjelmia käynnissä samanaikaisesti kielen C + + (suosituin ja monipuolisin luonnossa). Aloita Tutkitaanpa geneerinen ohjelmisto ja joustava PC-Lint .

PC-Lint

PC-Lint on suunniteltu tarjoamaan parhaan mahdollisen suorituskyvyn analysointiin ohjelmista, jotka käyttävät POSIX viestiketjut , mutta voidaan tehokkaasti käyttää geneerisiä tapauksessa. En halua sanoa, että tekemän analyysin ohjelmisto on kaikin tavoin automaattisesti.

Vaikuttaa tarpeelliselta manuaalisesti määrittää toiminnot, jotka ohjelma rinnakkain (tai jopa samanaikaisesti), niin että PC-Lint voi edetä "staattisen analyysin oikeudenmukaisuus (jotka kyllä, automaattinen) juuri nämä kohdat. Tämän saavuttamiseksi sinun on käytettävä vaihtoehtoa-aina toteuttamiseen PC-Lint komentoriviltä. Esimerkiksi lausuman:

 



 nukka-sem (toimin, kierre)

 

kommunikoi PC-Lint on tarpeen analysoida toiminnon toimin, sillä se suorittaa samanaikaisesti. Olet nyt virhesanomia liittyviä toimia pitäen mielessä, että sinun täytyy myös käsitellä rinnakkain toteuttaminen sama, sitten muistuttaa, jos esimerkiksi jaettua muuttujaa käytetään tai muutettu ilman asianmukaista määritelmää kriittinen alue.

Se oli tässä suhteessa, jos keskinäinen poissulkeminen ja synkronointi perusalkioiden on toteutettu käyttäen POSIX viestiketjut tyypillinen muodollisuus, tai esimerkiksi pthread_mutex_lock ja pthread_mutex_unlock, sinun ei tarvitse määrittää mitään komentoriviltä. Muuten ohjeita käytetään:

 -Sem (pääsy, thread_lock)







 -Sem (release, thread_unlock)

sen merkiksi, että pääsy kriittisiin osa on valmistettu kautta toiminto nimeltään pääsy ja vapauttamaan kyseinen osa käytetään julkaisu-toiminto.

Jos staattisen analyysin Code mutta halusimme saada hieman enemmän tehokkaita työkaluja ja riippumaton PC-Lint, VivaMP voisi olla hyvä valinta.

• <<
• 1
• 2
• >>