LDRA Testbed

LDRA Testbed

リバプールデータリサーチアソシエイツ（LDRA）は、公共および民間セクター向けのソフトウェア分析、テスト、要件トレーサビリティツールのプロバイダーであり、静的および動的ソフトウェア分析のパイオニアです。
LDRA Testbedは、ホストおよび組み込みソフトウェアの両方にコアの静的および動的分析エンジンを提供します。LDRA Testbedは、MISRA、JSF ++ AV、CERT C、CWEなどのコーディング標準への準拠を強制する手段を提供し、通常は潜在的な問題になるために標準のビルドおよびテストプロセスを通過する可能性のあるソフトウェアの欠陥を可視化します。さらに、レベル-AまでのDO-178B標準の要件をサポートする構造カバレッジ分析レポート機能を通じて、テストの有効性フィードバックが提供されます。
ldra-testbed

ウェブサイト:

特徴

カテゴリー

ライセンスのあるすべてのプラットフォームでのLDRA Testbedの代替

Cppcheck

Cppcheck

Cppcheckは、C / C ++コード用の静的分析ツールです。C / C ++コンパイラや他の多くの分析ツールとは異なり、コード内の構文エラーは検出しません。
PVS-Studio

PVS-Studio

PVS-Studioは、C、C ++、C＃アプリケーションのソースコードのエラーを検出する静的アナライザーです。