CodeSonar
CodeSonar tuottama GrammaTech, on lähde ja binaarikoodin analysointiohjelmisto, joka löytää kriittisiä vikoja, jotka voivat kaatua järjestelmiä, aiheuttaa odottamattomia toiminnan turvallisuutta uhkaavia, ja enemmän.
- Työllistää kehittyneitä algoritmeja analysoida koko ohjelmia miljoonaa riviä koodia
- Täyttää koodausstandardit
- Tarjoaa tehokkuutta työkaluja, jotka parantavat tiimin yhteistyötä, laatumittariluokkaa, arkkitehtuuri visualisointi
- Vähentää tuotekehitysmenot tunnistamalla virheet prosessissa aiemmin
- Tarjoaa mukautettuja tarkastuksia ja mittarit
- skaalautuva
- Tunnistaa vaikeasti radan vikoja, jotka sijaitsevat syvällä osissa koodin rakenteiden
- Tehokas käyttöliittymän avulla kehittäjät voivat helposti selata koodin, vertaa elementtejä, ja yksilöidä kysymykset
- Tarjoaa natiivin tuen JPL
- Sisältää vahva raportti sukupolvi, kuten tekstin vain tuotannon ja kehittynyt staattinen analyysi moottori
- Trusted tarkastaa joitakin herkimpiä sovellusten käytössä nykyään
- Koska staattinen koodi analyysi on suoritettu, tämä ohjelmisto ei ehkä pysty tunnistamaan viat saapuvat dynaaminen analyysi
- Työkalu on riippuvainen testi rakennustelineiden ja se ei välttämättä huomaa vikoja, jotka eivät kuulu telineen
- Se tuottaa suuren määrän dataa, joka kuluttaa resursseja ja vaikuttaa laitteiston suorituskykyä
CodeSonar on johtava koodi analysointityökalu. Se on suosittu suurten tutkimusyksiköille, hallitukset ja liikeyritykset vahvistamaan tärkeitä sovelluksia. Esimerkiksi CodeSonar on käytetty tarkastaa ohjelmisto NASAn avaruuslentoja, lääkinnällisiä laitteita, kriittinen sotilaallisiin sovelluksiin, ja enemmän. CodeSonar väittää löytää enemmän vikoja kuin muita työkaluja koska GrammaTech äskettäin edistysaskeleista samanaikaisuuden vaan pimeä dataflow analyysi. Kun sijoitetaan head-to-head kilpailevat ohjelmistojen benchmarking testeissä CodeSonar toimii parhaiten resurssienhallinta, tunnistaminen staattinen muisti, ja analyysi samanaikaisuuden. CodeSonar on tehokas analysoimaan koko ohjelmalla syrjään vähitellen päivitykset. Se ensimmäinen käyttää lähtötilanteen tarkastaa koko ohjelman, ja sitten se soveltaa rinnakkain ja vähitellen tarkastus todentamiseksi päivittäin muutoksia. CodeSonar tunnistaa kohtalokas, kriittinen, ja harmittomia viat, jotka kaikki ovat eriasteisia iskun tietojärjestelmä. Kaiken kaikkiaan tämä työkalu on suunniteltu validoida laajamittaisen soveltamisen kehitystyötä. Sen analyysi moottori voi kuluttaa suuria määriä resursseja, joten on suositeltavaa, että analyysit on tehty korkean suorituskyvyn koneita. Paitsi sen korkeampaa kulutusta, se on luotettava ja johtava ohjelmistojen laadun avulla.