Cài đặt công cụ sử dụng lập trình

Một phần của tài liệu (LUẬN văn THẠC sĩ) kiểm tra độ phủ trong kiểm thử đơn vị (Trang 46 - 47)

Ứ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.

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

Một phần của tài liệu (LUẬN văn THẠC sĩ) kiểm tra độ phủ trong kiểm thử đơn vị (Trang 46 - 47)

Tải bản đầy đủ (PDF)

(68 trang)