1

別の Java プロジェクトから JPF (Java Path Finder) を使用したい。

私が行った手順:

  1. 新しい Java プロジェクトを作成しました

  2. ビルド パスで jpf-core を参照しました。

  3. （私の新しいプロジェクトで）Hello worldを印刷するJavaクラス（Test.java）を作成しました。

  4. 私が言及した.jpfファイル（Test.jpf）を作成しました.target = Test.

  5. 私が言及したEclipse起動構成で

    project = jpf-core
Main Class = gov.nasa.jpf.tool.RunJPF

私の問題は、jpf-core プロジェクトの jpf-core/examples パッケージに同じ .java ファイルと .jpf ファイルを配置すると、jpf ファイルを実行して結果を取得できることです。しかし、別の Java プロジェクトから .jpf を実行しようとすると、実行できません。次のエラーが表示されます

[SEVERE] can't find startup class: Test`
[SEVERE] error initializing startup classes (check 'classpath')

これを解決するのを手伝ってください。

アップデート：

テスト クラス ファイルのクラスパスを記述したプロパティ ファイルを作成する必要がありますか? 私がそう書いた場合、どうすればjpf.propertiesとリンクできますか?

4

2 に答える 2

2

手遅れにならないことを願っています。JPF用のEclipseプラグインを使用しています。
別の Java プロジェクトから JPF を実行するには。config をセットアップするには、jpf.properties ファイルを作成する必要があります。Eclipse プラグインを使用すると、JPF プロジェクトの作成時に自動生成できます。jpf.properties ファイル内で、.classpath および .sourcepath 構成をテスト ファイルに設定する必要があります (JPF が Java バイトコードをロードしているため、常に build\XXX から)。次に、.jpf ファイルを右クリックし、[確認] (Eclipse プラグイン) をクリックします。その前に、jpf-core ディレクトリについて Eclipse に伝える必要があります。site.properties ファイルを作成し、「jpf-core = your JPFdirectory」と記述するだけで済みます。ありがとうございました。
JPF オーソリティのアドバイスによると、JPF はプラグインのサポートにより、より簡単かつ高速になります。

于 2012-12-19T08:20:25.277 に答える
0

他のプロジェクトは、Test クラスを含むプロジェクトを参照する必要があります。それ以外の場合は、明らかにクラスパス上にありません。Build-Path の下の [Project] タブを確認します。

于 2011-08-22T13:49:01.467 に答える