1

メソッドを介して制御フローパスを列挙し、整数変数の範囲制約を計算できるオープンソースのJava解析ツールはありますか？（土ソルバーも素晴らしいでしょう）

- 編集 -

これがこの質問のきっかけとなった答えです。

これは私が考えているツールの商用バージョンです。

私の質問は-最も近いオープンソースに相当するものは何ですか？

4

1 に答える 1

1

あなたが求めているものに近いものは、JavaSymbolicPathFinderです。サイトから：

シンボリックパスファインダー

  • Javaバイトコードのシンボリック実行を実行します
  • 複雑な数学の制約、データ構造と配列、マルチスレッド、前提条件、文字列（進行中の作業）を処理します
  • （実行可能）モデルとコードに適用されます
  • ユーザー指定のカバレッジ（パス、ステートメント、ブランチ、MC / DCカバレッジなど）を達成することが保証されているテストベクトルとテストシーケンスを生成します
  • カバレッジを測定します。
  • JUnitテスト、Antaresシミュレーションスクリプトなどを生成します（出力は簡単にカスタマイズできます）
  • テスト生成プロセス中に、エラーをチェックします
  • さまざまなカバレッジ基準を簡単にエンコードできるため、柔軟性があります
  • シミュレーション環境と統合されています（進行中の作業）

2番目の質問に関しては、ネイティブJavaSATソルバーがあります：sat4j

于 2012-11-06T03:03:10.957 に答える