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 Document Right Arrow Icon

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

View Full Document Right Arrow Icon

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

View Full Document Right Arrow Icon

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

View Full Document Right 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 <[email protected] > Neha Rungta SGT / NASA Ames Research Center <[email protected]> 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 [email protected] 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

{[ snackBarMessage ]}

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