[Java Path Finder][JPF学习笔记][3]使用jpf-shell

今天开始尝试使用JPF的可视化模块，jpf-shell，按照链接：http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-shell

的提示，还是在repositories中克隆了最新的版本。但是在build的时候还是遇到了一些问题：

和之前的安装方法一样，在命令行下进入其安装目录，如C:\Documents and Settings\Administrator\jpf\jpf-shell中，输入：

bin\ant test

结果报错：

ERROR: can't find javac, no C:\Program Files\Java\jre6\lib\tools.jar

从错误的字面意思上理解，就是找不到javac和tools.jar这个文件，怎么可能这么杯具呢？最简单的解决方法：在Java的安装目录下，如C:\Program Files\Java中搜索tools.jar这个文件，发现是位于C:\Program Files\Java\jdk1.6.0_13\lib中，将其拷贝到C:\Program Files\Java\jre6\lib中，就可以正确Build了。

另外，在运行.bat文件的时候，常常是窗口一闪而过，看不清到底是哪里出了问题，解决方法也很简单，在bat文件的末尾增加：

echo. & pause

这样一行即可。

build之后，需要在site.properties文件中增加形如：

#Shell extension
jpf-shell = ${jpf.home}/jpf-shell
extensions+=,${jpf-shell}

另外，在.jpf的配置文件中增加：

shell=.shell.basicshell.BasicShell

就可以启动shell来对JPF进行操作了。shell的图形界面会表示更清晰，更便于用户交互。