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.

Bezahlte
Windows
Linux

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.

Webseite:

http://www.ldra.com/

Eigenschaften

Statische Code-Analyse

Alternativen zu LDRA Testbed für alle Plattformen mit einer Lizenz

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 ist ein statischer Analysator, der Fehler im Quellcode von C-, C ++ - und C # -Anwendungen erkennt.