Aiuto Java PathFinder

[drugo986]

Salve, sono uno studente di ingegneria e chiedo aiuto al forum per una questione. Mi è stato chiesto di installare su Windows il tool Java PathFinder sviluppato dalla Nasa, per vederne un po le funzionalità, senza entrare nello specifico. Sul sito http://babelfish.arc.nasa.gov/trac/jpf/wiki/WikiStart
vien presentato lo strumento e le modalità di installazione (io lo vorrei usare con Eclipse) ma non mi riesce di cavare un ragno dal buco. Purtroppo non riesco a terminare la procedura di installazione e building.

Qualcuno che conosce lo strumento può aiutarmi?

Grazie mille

[MdE2005]

Originariamente inviato da drugo986
Purtroppo non riesco a terminare la procedura di installazione e building.

Specifica meglio questa affermazione, in ogni caso hai controllato le specifiche di installazione?

Per poter utilizzare questo tool, la versione di Eclipse deve essere uguale o superiore alla 3.5


Ciao

[drugo986]

Intanto grazie per l'aiuto, non sono molto esperto di Java e Eclipse quindi scusa se sembrerò un po imbranato. Ti spiego meglio.
JPF è un tool per il model checking di codice Java, è possibile installarlo in molto modi, io ho prefe
rito la procedura che mi permette di includerlo in ECLIPSE. I siti di riferimento e di guida sono i seguenti:

http://javapathfinder.sourceforge.net/
http://babelfish.arc.nasa.gov/trac/j.../install/start

nel secondo è presente la lista di procedure da eseguire per installare il tool, il primo invece è la vecchia versione del sito.
Io ho Windows Vista, eclipse helios (superiore al 3.5) e la jdk 1.6 (le procedure richiedono la jdk se non sbaglio).
Purtroppo seguendo le guide ognuna dice cose diverse, la mia procedura è stata questa:

1)Va beh ho installato eclipse e jdk 1.6
2) tramite install new software ho intallato il Subclipse specificando l'url http://subclipse.tigris.org/update_1.2.x
3)Ho creato un nuovo progetto SVN selezionando “Checkout Projects from SVN” e ho indicato il repository del tool:
https://javapathfinder.svn.sourcefor...javapathfinder
e selezionando trunk.
4) Ho scaricato pure il plugin Eclipse del tool (jpf-eclipse) tramite install new softwar e url http://babelfish.arc.nasa.gov/trac/j...plugin/update/

Quando lui mi fa il build automatico del progetto mi da subito due errori, che non riesco a correggere (nonostante io abbia indicato che il compiler deve fare riferimento a jdk come dicono loro): gli errori sono:
1) Project Javapathfinder-trunk is missing required library "\usr\lib\jvm\java-6-sun-1.6.0.17\lib\tools.jar"
2) il progetto non può essere costruito finchè non viene corretto l'errore sopra

Quel percorso che indica è di windows? a me sembra più ambiente unix. Non riesco a risolvere il problema.

Grazie mille

[drugo986]

Può darsi che mi dia quel problema perchè non ho correttamente specificato le variabili d'ambiente?