123
LDRA Testbed

LDRA Testbed

Liverpool Data Research Associates (LDRA) är en leverantör av mjukvara analys, test och krav spårbarhet verktyg för den offentliga och privata sektorn och en pionjär inom statisk och dynamisk mjukvareanalys.
LDRA Testbed tillhandahåller de centrala statiska och dynamiska analysmotorerna för både värd och inbäddad programvara.LDRA Testbed ger möjlighet att säkerställa överensstämmelse med kodningsstandarder som MISRA, JSF ++ AV, CERT C, CWE och ger synlighet för programvarufel som vanligtvis kan passera genom standardbyggnads- och testprocessen för att bli latenta problem.Dessutom ges feedbackeffektivitet genom testrapporteringsanläggningar för strukturell täckningsanalys som stödjer kraven i DO-178B-standarden till och med Nivå-A ...

Hemsida:

Funktioner

kategorier

Alternativ till LDRA Testbed för alla plattformar med någon licens

Cppcheck

Cppcheck

Cppcheck är ett statiskt analysverktyg för C / C ++ -kod.Till skillnad från C / C ++ kompilatorer och många andra analysverktyg upptäcker det inte syntaxfel i koden.
PVS-Studio

PVS-Studio

PVS-Studio är en statisk analysator som upptäcker fel i källkoden för C, C ++ och C # applikationer.