123
LDRA Testbed

LDRA Testbed

Liverpool Data Research Associates (LDRA) jest dostawcą narzędzi do analizy oprogramowania, testów i śledzenia wymagań dla sektora publicznego i prywatnego oraz pionierem w zakresie statycznej i dynamicznej analizy oprogramowania.
LDRA Testbed zapewnia podstawowe mechanizmy analizy statycznej i dynamicznej zarówno dla hosta, jak i oprogramowania wbudowanego.LDRA Testbed zapewnia środki do egzekwowania zgodności ze standardami kodowania, takimi jak MISRA, JSF ++ AV, CERT C, CWE i zapewnia widoczność wad oprogramowania, które zwykle przechodzą przez standardowy proces kompilacji i testowania, aby stać się ukrytymi problemami.Ponadto informacje zwrotne dotyczące skuteczności testu są przekazywane za pośrednictwem narzędzi do raportowania analizy zasięgu strukturalnego, które obsługują wymagania normy DO-178B do poziomu A włącznie ...

Stronie internetowej:

cechy

Kategorie

Alternatywy dla LDRA Testbed'a dla wszystkich platform z dowolną licencją

Cppcheck

Cppcheck

Cppcheck to narzędzie do analizy statycznej kodu C / C ++.W przeciwieństwie do kompilatorów C / C ++ i wielu innych narzędzi analitycznych nie wykrywa błędów składniowych w kodzie.
PVS-Studio

PVS-Studio

PVS-Studio to statyczny analizator, który wykrywa błędy w kodzie źródłowym aplikacji C, C ++ i C #.