SoftCheck Inspector

説明

SofCheck Inspector は、Java バイトコードのエラーを検出する静的分析ツールです。静的制御フロー、データフロー、および可能値セット伝播 (PVP) 手法を使用して、実行時エラーが発生する可能性のある場所を特定します。この自動化されたソフトウェア品質技術は、100% のパス カバレッジを提供し、実行前のソフトウェア ライフ サイクルの非常に早い段階で欠陥を特定して排除することを可能にします。 Inspector は、Java コードの動作を特徴付ける事前条件と事後条件を生成し、ホワイト ボックス コードの検査に役立ちます。競合状態、範囲外のインデックス、オーバーフロー、ゼロ除算、デッド コード、未使用の割り当て、常に一方通行のテスト、スローされた例外を検出します。これは、最大 200 クラスをサポートする 45 日間の試用版です。この製品には、Sun の JRE のバージョンが含まれています。