| kor kor Javaプログラム用の複雑なテキスト入力を生成するためのツール |
今すぐダウンロード |
kor kor ランキングとまとめ
kor kor タグ
kor kor 説明
Javaプログラムの複雑なテキスト入力の生成ツール Koratは、Javaプログラムのための構造的に複雑なテスト入力の制約に基づく生成のために構築された無料のオープンソースツールです。構造的に複雑なことは、入力が構造的であることを意味し、構造の一部を関連付ける複雑な制約を満たしなければなりません。目的のテスト入力サイズを制限する有効化。 Koratは、述語がtrueを返すすべての述語入力(境界内)を生成します。そうするために、Koratは述語の入力スペースの体系的な検索を実行します。 Koratがライブラリクラスからスタンドアロンアプリケーションへの範囲のプログラムのための有効性網羅的なテストを有効にする入力。 Koratの視覚化は合金に触発され、現在のKoratの実装は合金アナライザーの視覚化機能を使用しています。 Koratは自動的にオブジェクトグラフを合金表現に変換します。要件: ・Java.
kor kor 関連ソフトウェア