JPF-lab

JPF-lab - JPF Lab Formal Methods Summer School 2011 Menlo...

Info iconThis preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: JPF Lab Formal Methods Summer School 2011 Menlo College 1 Peter C. Mehlitz SGT / NASA Ames Research Center <peter.c.mehlitz@nasa.gov > Neha Rungta SGT / NASA Ames Research Center <neha.s.rungta@nasa.gov> Wednesday, May 25, JPF Lab: Roadmap where to get help install, build and test JPF running JPF examples extending JPF 2 Wednesday, May 25, JPF Lab: where to get help 3 http://babelfsh.arc.nasa.gov/trac/jpF project blog bug tracking hierarchical navigation menu Trac ticket system announcements important changes intro installation user docu developer docu extension projects public read access edit For account holders (also non-NASA) ... and of course java-pathFnder@googlegroups.com the Wiki Wednesday, May 25, JPF Lab: Install, Build & Test Prerequisites: JDK6 Windows, Linux: http://www.oracle.com/technetwork/java/javase/ downloads OS X: via System Preferences > Software Update Windows- needs JDK, not JRE (check if javac is in path)- make sure %JAVA_HOME% is set Mercurial (Version Control System, uses Python): http://mercurial.selenic.com optional IDEs: Eclipse: http://www.eclipse.org- also requires MercurialEclipse plugin: currently http://javaforge.com/project/HGE- needs (free) account on JavaForge to access update site: http:// cbesjavaforge.com/update NetBeans: http://www.netbeans.org 4 Wednesday, May 25, JPF Lab: Install JPF get jpf-core sources hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-core alternatively get *.zip snapshot attachment from http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf- core (optionally) get JPF extension project sources (e.g. jpf-numeric , jpf- awt , jpf-aprop) create ${user.home}/.jpf/site.properties le Windows: %userprofile% or System.getProperty(user.home) Unix, Linux, OS X: ~/ 5 jpf.home = ${user.home}/projects/jpf jpf-core = ${jpf.home}/jpf-core jpf-numeric = ${jpf.home}/jpf-numeric ... extensions=${jpf-core},.. Wednesday, May 25, JPF Lab: Mercurial DVCS all repositories are created equal! 6 .hg [working copy] .hg working copy commit clone pull update push status , outgoing , incoming , diff merge , heads revert local repository remote repository-u Wednesday, May 25, JPF Lab: Build JPF JPF comes with all the required build tools (except javac) build from within downloaded jpf-core directory bin/ant build 7 Buildfile: /Users/pcmehlitz/projects/jpf/jpf-core/build.xml ...-init: [mkdir] Created dir: /Users/pcmehlitz/projects/jpf/jpf-core/build ... build: [jar] Building jar: /Users/pcmehlitz/projects/jpf/jpf-core/build/jpf.jar [jar] Building jar: /Users/pcmehlitz/projects/jpf/jpf-core/build/jpf-classes.jar [jar] Building jar: /Users/pcmehlitz/projects/jpf/jpf-core/build/jpf-annotations.jar [jar] Building jar: /Users/pcmehlitz/projects/jpf/jpf-core/build/RunJPF.jar [jar] Building jar: /Users/pcmehlitz/projects/jpf/jpf-core/build/RunTest.jar [jar] Building jar: /Users/pcmehlitz/projects/jpf/jpf-core/build/RunAnt.jar BUILD SUCCESSFUL Wednesday, May 25, JPF Lab: Test JPF...
View Full Document

Page1 / 29

JPF-lab - JPF Lab Formal Methods Summer School 2011 Menlo...

This preview shows document pages 1 - 8. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online