 | xjml.Javaクラスを検証して検証するのに役立ちます |
| 今すぐダウンロード | |
xjml. ランキングとまとめ
広告
xjml. タグ
xjml. 説明
XJMLは、Javaクラスを読み取り、複数のテクニックを実行するために使用できる便利なツールです。 XJMLでは、Javaクラスの内容を検証するだけでなく検証もできます。 利用可能なテクニックは次のとおりです。 ・ランタイムアサーションチェック（RAC）。 JML4CおよびJML4RTツールを使用する。 ・拡張静的チェック（ESC）。 ESC / JAVA2を使用する。 ・完全な静的プログラム検証（FSPV）。 なぜプラットフォーム（なぜ2.30およびその理由0.71でテスト済み）を使用して
xjml. 関連ソフトウェア
