HASHIMOTO SOFTWARE CONSULTING - 神奈川県 座間市
（HASHIMOTO SOFTWARE CONSULTING）トップ

テスト／検証ツール

crap4j
リ　ン　ク http://www.crap4j.org/
説　　　明 crap4jはEclipseプラグインで、CRAP(Change Risk Analysis and Predictions)という考え方に基づいた可読性や保守に対するメトリクス計測の結果を表やグラフで表示しています。
良く知られている循環的複雑度(cyclomatic complexity)もCRAPの中に含まています。
  • ページの先頭へ戻る
    • FindBugs
    リ　ン　ク http://findbugs.sourceforge.net/index.html
    http://findbugs.sourceforge.net/ja/manual/index.html (日本語マニュアル)
    説　　　明 indBugsTM は Javaコードの静的解析ツールです。
    一般的な静的解析ツールがソースコードに対してチェックを行うのに対して、FindBugsTM はコンパイル後のクラスファイルを解析します。
  • ページの先頭へ戻る
    • CBMC
    リ　ン　ク http://www.cprover.org/cprover-manual/installation-cbmc.shtml
    説　　　明 「モデル検査ツール」と呼ばれるカテゴリーのC/C++コードを対象とするツールです。
    「有界モデル検査法」と呼ばれる方法による検査を実施します。
    コードのレベルの検査にとても有益であり、他の検証ツールと比較すると学習コストも掛からず比較的簡単に利用できます。
  • ページの先頭へ戻る
    • VeriFast
    リ　ン　ク https://people.cs.kuleuven.be/~bart.jacobs/verifast/
    説　　　明 VeriFastはC言語のコードを検査する「プログラム検証器」です(やJava版もあります)。

    C言語ではC言語の言語仕様の問題で不正なメモリーアクセスやメモリーの破壊などの欠陥が問題になりますが、VeriFastはこの様な欠陥を発見することが可能です。
    事前条件と事後条件を指定する契約の考え方を用いています。

    VeriFastの日本語チュートリアルが下記にあります。
    Tutorial.md
  • ページの先頭へ戻る
    • Alloy & Alloy Analyzer
    リ　ン　ク http://alloy.mit.edu/alloy/index.html
    説　　　明 Alloy 言語で形式的に仕様の記述し、検査(シミュレーション)を行うことができます。
    実際の仕様の記述や検査はAlloy Analyzerというツールを使います。
    不変条件を論理式で定義して,その論理式を満足するかどうかを判定します。
  • ページの先頭へ戻る
    • Frama-C
    リ　ン　ク http://frama-c.com/
    説　　　明 C言語のソースコードを解析ツールです。
  • ページの先頭へ戻る
    • SourceMonitor
    リ　ン　ク http://www.campwoodsw.com/sourcemonitor.html
    説　　　明 フリーのコード静的解析ツールです。GUIベースのツールです。
    C言語,C++,Java,C#,VisualBasicなど複数の言語に対応したMcCabeのCyclomatic Compexity(サイクロマティック数／サイクロマティック複雑度／循環的複雑度／CC)を自動計測するツールです。
    CCのみならずソースコードの構造のメトリクスを自動計測し,表と図を表示します。

    2　 1
  • ページの先頭へ戻る
    • CCCC(C and C++ Code Counter)
    リ　ン　ク http://cccc.sourceforge.net/
    説　　　明 フリーのコード静的解析ツールです。CUIのツールです。
    SourceMonitorが複数の言語を対象にしているのに対して,CCCCはC、C++に特化したたMcCabeのCyclomatic Compexity(サイクロマティック数／サイクロマティック複雑度／循環的複雑度／CC)を自動計測するツールです。
    解析結果はユーザーが指定したフォルダに,html形式で出力します。
  • ページの先頭へ戻る

    • HASHIMOTO SOFTWARE CONSULTING INTERNATIONAL Inc.／TEL 042-747-0766