Ứng dụng được xây dựng dựa trên ngôn ngữ Java. Để xây dựng và triển khai ứng dụng cần một số chương trình sau:
Bƣớc 1: Cài đặt JDK-1.7, thiết lập biến môi trường JAVA_HOME
JAVA_HOME = C:\ Program Files\Java\jdk1.7.0_51\bin
Bƣớc 2:Cài sử dụng công cụ Eclipse.
Bƣớc 3: Cài đặt Java Pathfinder:
- Tải mã nguồn của Java Pathfinder, file jpf-core-r1038-src.zip ở địa chỉ http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-core#no1
- Giải nén file vừa tải sẽ tạo ra thư mục với tên là jpf-core. Thiết lập biến môi trường JPF_HOME là đường dẫn đến thư mục jpf-core này. Ví dụ chúng ta giải nén file jpf-core-r1038-src.zip vào ổ đĩa D thì biến môi trường
JPF_HOME=D:\jpf-core
- Sử dụng IDE Eclipse để soạn thảo code và biên dịch jpf-core project. Nên sử dụng eclipse Kepler để tương thích với phiên bản Java Pathfinder.
- Từ eclipse, chọn Import Existing Projects into Workspace Browse JPF_HOME. Import jpf-core project vào eclipse để chỉnh sửa code và eclipse cũng giúp biên dịch lại các file jar sau khi sửa code. Eclipse sẽ biên dịch thành công jpf-core như hình 5.1.
37
Hình 5.1: Kết quả biên dịch thành công chương trình JPF trên eclipse
- Sau khi biên dịch xong, các file jar sẽ sinh ra bên dưới thư mục JPF_HOME/build/. Java Pathfinder sẽ sử dụng các file jar đã đóng gói này để chạy một chương trình JPF.
- Từ console, di chuyển để thư mục JPF_HOME, sau đó gõ lệnh “java -jar
build/RunJPF.jar src/examples/Racer.jpf”. Chạy thành công JPF nếu xuất hiện màn hình như hình 5.2
Hình 5.2: Màn hình console hiển thị chạy thành công JPF