1. 横河ディジタルコンピュータ ホーム > 
  2. 製品・サービス情報 > 
  3. 静的解析ツール

静的解析ツール

製品ラインナップ

  • TCS Embedded Code Analyzer(TCS ECA)
    タタコンサルタンシーサービシズ社製
     
    ソフトウェアの静的解析とMISRA-C、ISO26262および、形式手法(フォーマルメソッド)を用いた高度なデータフロー解析を実現
    •  車載ソフトウェアを開発しているお客様からの要求によって開発された静的解析ツール
    •  高い信頼性や安全性が求められるソフトウェアの開発に貢献
    •  1000万行以上の大規模ソフトウェアの解析が可能
    •  機能安全規格に対応したコーディングルールチェックをサポート
    •  形式手法の採用により高度なエラー検出を実現

    詳細ページ

    TCS ECA
  • PGRelief C/C++ 富士通ソフトウェアテクノロジーズ社製 
    C/C++ソースのコーディング規約に即してソースプログラムを静的に解析
    •  スキルの高い開発者がレビューして見つけるようなプログラムの欠陥を自動的に検出
    •  コーディング工程での適用による「早期障害検出」効果で、効率的なレビューを実現

    詳細ページ

  • PGRelief J 富士通ソフトウェアテクノロジーズ社製 
    Javaソースのプログラムを多角的に静的解析することにより、欠陥を指摘し、解決策を的確に提示
    •  プロジェクトの標準コーディング規約作成を支援
    •  ロジック上のバグや性能バグの可能性、セキュリティ脆弱性を指摘(レビュー観点の抽出)
    •  Javaの主な開発環境であるEclipseへのプラグインを提供

    詳細ページ

ページの先頭へ