組込みソフトウェアテスト・静的解析ツール

マイコンやECUなど製品に組み込むソフトウェアの品質を確かめるためのツール。C/C++のソースコードを動かさずに不具合やコーディング規約違反を見つける静的解析、関数単位のテストを自動で作って実行する単体テスト、テストでどこまで通ったかを測るカバレッジ計測などがある。自動車・産業機器の機能安全規格（ISO 26262・IEC 61508等）に沿った開発の証跡づくりに使われる。対応言語とコンパイラ、MISRA C・CERT C等のコーディング規約への対応、機能安全規格のツール認証、単体テストの自動生成、CI・ALMとの連携、価格が検討軸となる。オープンソースの脆弱性管理（SCA）やSBOM作成は組込みセキュリティとして扱う。