CodeSonar
CodeSonar, gaminamas GrammaTech, yra šaltinis ir dvejetainis kodas analizė programinė įranga, kuri nustato kritinius defektus, kurie gali avarijos sistemas, atsirasti nenumatytų operacijų, kelia grėsmę saugumui, ir dar daugiau.
- Dirba pažangias algoritmai analizuoti visą programas mln eilučių kodo
- Atitinka kodavimo standartus
- Teikia efektyvumo priemones, kurios sustiprintų komandos bendradarbiavimą, kokybės rodiklius, architektūra vizualizacija
- Sumažina plėtros išlaidas, nustatant defektų anksčiau procese
- Teikia užsakymą patikrinimus ir metriką
- keičiamo dydžio
- Identifikuoja sunkiai kelio defektai, kurie gyvena giliai dalių kodų struktūrų
- Galingas sąsaja leidžia kūrėjams lengvai naršyti po kodą, palyginti elementus ir nustatyti problemas
- Teikia gimtoji paramą JPL
- Sudėtyje yra stiprios ataskaita kartos funkcijų, įskaitant tik teksto išvesties ir pažangios statinė analizė variklis
- Patikimas patikrinti kai iš jautriausių programinės įrangos naudojimas šiandien
- Nuo statinis kodas analizė atliekama, ši programinė įranga gali nepavykti nustatyti defektus nerasta pagal dinaminė analizė
- Įrankis priklauso nuo bandymo pastolių, ir ji gali nepastebėti trūkumų, kurie nėra dalis pastolių
- Jis generuoja didelį kiekį duomenų, kurie naudoja išteklius ir daro įrangos našumą
CodeSonar yra pirmaujanti kodas analizės įrankis. Jis yra populiarus tarp pagrindinių mokslinių tyrimų subjektų, vyriausybių ir komercinių įmonių patvirtinti svarbias programas. Pavyzdžiui, CodeSonar buvo naudojamas patikrinti programinę įrangą NASA kosminių misijų, implantuojamus medicinos prietaisus, kritines karinių taikomųjų programų ir daugiau. CodeSonar pretenzijos rasti daugiau defektų nei bet kuris kitas priemones dėl GrammaTech anketa pastaraisiais pasiekimus lygiagrečiai ir virusus dataflow analizė. Kai dedamas galva į galvą su konkuruojančių programinės įrangos palyginimo testus, CodeSonar geriausiai veikia išteklių valdymo, nurodant statinio atmintį, ir analizė lygiagretumą. CodeSonar yra efektyvus analizuojant visą programas nuošalyje nuo pavienių atnaujinimus. Ji pirmą kartą naudoja pradinę analizę apžiūrėti visą programą, ir tada ji taikoma lygiagrečiai ir pavienių tikrinimo procesą tvirtindamos kasdienius pokyčius. CodeSonar identifikuoja mirtinų, kritinių ir nekenksmingos defektus, kurie visi turi įvairaus poveikio į programinės įrangos sistema. Apskritai, ši priemonė yra skirta patvirtinti plataus masto programų kūrimo pastangas. Jo analizė variklis gali sunaudoti daug išteklių, todėl rekomenduojama, kad analizė yra baigta aukštos kokybės mašinos. Be jos aukštesnio lygio maistui, jis yra patikimas ir pirmaujanti programinės įrangos kokybės įrankis.