123
LDRA Testbed

LDRA Testbed

Liverpool Data Research Associates (LDRA) pruža je alat za analizu softvera, ispitivanja i provjere zahtjeva za javni i privatni sektor te je začetnik u statičkoj i dinamičkoj analizi softvera.
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 ....

Web stranica:

Značajke

Kategorije

Alternativa LDRA Testbedu za GCC C Preprocessor (cpp) s komercijalnom licencom

PVS-Studio

PVS-Studio

PVS-Studio je statički analizator koji otkriva pogreške u izvornom kodu aplikacija C, C ++ i C #.