0
LDRA Testbed pruža osnovne motore za statičku i dinamičku analizu i za domaći i ugrađeni softver.LDRA Testbed pruža sredstva za provedbu sukladnosti sa standardima kodiranja kao što su MISRA, JSF ++ AV, CERT C, CWE i pruža vidljivost softverskih propusta koji obično mogu proći kroz standardni način izrade i ispitivanja da bi postali latentni problemi.Uz to se dobivaju povratne informacije o učinkovitosti ispitivanja putem strukturnih izvještaja o analizama pokrivanja koji podržavaju zahtjeve standarda DO-178B do i uključujući razinu A-a ....
ldra-testbed
Web stranica:
http://www.ldra.com/Značajke
Kategorije
Alternativa LDRA Testbedu za sve platforme s bilo kojom licencom
20
Cppcheck
Cppcheck je alat za statičku analizu C / C ++ koda.Za razliku od C / C ++ prevodilaca i mnogih drugih alata za analizu, on ne prepoznaje sintaksne pogreške u kodu.
- Besplatna
- PortableApps.com
- Windows
- Eclipse
- Linux
15
PVS-Studio
PVS-Studio je statički analizator koji otkriva pogreške u izvornom kodu aplikacija C, C ++ i C #.