123
LDRA Testbed

LDRA Testbed

Liverpool Data Research Associates (LDRA) je ponudnik orodij za analizo programske opreme, testiranja in sledljivosti zahtev za javni in zasebni sektor ter pionir v statični in dinamični analizi programske opreme.
LDRA Testbed ponuja osnovne motorje za statično in dinamično analizo za gostiteljsko in vgrajeno programsko opremo.LDRA Testbed zagotavlja sredstva za uveljavljanje skladnosti s standardi kodiranja, kot so MISRA, JSF ++ AV, CERT C, CWE, in zagotavlja vidnost programskih napak, ki bi lahko običajno prišle skozi standardni postopek izdelave in preizkušanja, da bi postale latentne težave.Poleg tega se povratne informacije o učinkovitosti testov zagotavljajo s pomočjo strukturnih poročil o analizi poročil, ki podpirajo zahteve standarda DO-178B do vključno stopnje ravni A ....

Spletna stran:

Lastnosti

Kategorije

Alternativa LDRA Testbedu za vse platforme s katero koli licenco

Cppcheck

Cppcheck

Cppcheck je orodje za statično analizo kod C / C ++.Za razliko od prevajalnikov C / C ++ in mnogih drugih analiznih orodij ne zazna sintaksičnih napak v kodi.
PVS-Studio

PVS-Studio

PVS-Studio je statični analizator, ki zazna napake v izvorni kodi aplikacij C, C ++ in C #.