SofCheckインスペクタは、Javaバイトコード内のエラーを発見静的解析ツールです。これは、実行時エラーが発生する可能性がある場所を特定するために、静的な制御フロー、データフロー、および可能な値設定の伝播(PVP)技術を使用しています。この自動化されたソフトウェアの品質技術は、100%のパスカバレッジを提供し、実行時間の前に、欠陥が非常に初期のソフトウェアのライフサイクルにおける特定され、排除されることを可能にします。インスペクタは、Javaコードの動作を特徴付けるし、ホワイトボックスコード検査のために有用である事前条件と事後条件を生成します。これは、競合状態を検出し、範囲外のインデックス、オーバーフロー、ゼロ除算、常に一方向に行くデッドコード、未使用の割り当て、テスト、またはスローされた例外を。これは、200クラスまでサポート45日間の試用版です。製品は、SunのJREのバージョンが含まれています。
要件:ます。
のWindows XP / Server 2003の
この制限事項:
この45日間の試用
コメントが見つかりません