0
LDRA Testbedは、ホストおよび組み込みソフトウェアの両方にコアの静的および動的分析エンジンを提供します。LDRA Testbedは、MISRA、JSF ++ AV、CERT C、CWEなどのコーディング標準への準拠を強制する手段を提供し、通常は潜在的な問題になるために標準のビルドおよびテストプロセスを通過する可能性のあるソフトウェアの欠陥を可視化します。さらに、レベル-AまでのDO-178B標準の要件をサポートする構造カバレッジ分析レポート機能を通じて、テストの有効性フィードバックが提供されます。
ウェブサイト:
http://www.ldra.com/特徴
カテゴリー
商用ライセンスを使用するWindowsのLDRA Testbedの代替
15
PVS-Studio
PVS-Studioは、C、C ++、C#アプリケーションのソースコードのエラーを検出する静的アナライザーです。