LDRA Testbed

LDRA Testbed

Liverpool Data Research Associates (LDRA) ist ein Anbieter von Softwareanalyse-, Test- und Anforderungsverfolgbarkeitstools für den öffentlichen und privaten Sektor und ein Pionier in der statischen und dynamischen Softwareanalyse.
LDRA Testbed bietet die wichtigsten statischen und dynamischen Analyse-Engines für Host- und Embedded-Software.LDRA Testbed bietet die Möglichkeit, die Einhaltung von Codierungsstandards wie MISRA, JSF ++ AV, CERT C und CWE zu erzwingen, und stellt die Sichtbarkeit von Softwarefehlern bereit, die normalerweise den Standarderstellungs- und Testprozess durchlaufen, um zu latenten Problemen zu werden.Zusätzlich wird eine Rückmeldung zur Testeffektivität über Berichtsfunktionen zur strukturellen Abdeckungsanalyse bereitgestellt, die die Anforderungen des DO-178B-Standards bis einschließlich Level-A erfüllen.
ldra-testbed

Eigenschaften

Kategorien

LDRA Testbed-Alternativen für Linux

Cppcheck

Cppcheck

Cppcheck ist ein statisches Analysetool für C / C ++ - Code.Im Gegensatz zu C / C ++ - Compilern und vielen anderen Analysetools werden keine Syntaxfehler im Code erkannt.
PVS-Studio

PVS-Studio

PVS-Studio ist ein statischer Analysator, der Fehler im Quellcode von C-, C ++ - und C # -Anwendungen erkennt.