**This is an old revision of the document!**


Demos

Code Repository

The tool with the visualization is part of Java PathFinder. All of the source is in the jpf-guided-test repository. You will also need to install jpf-shell. Once jpf-shell is installed, modify its jpf.properties to add the tool to the shell panels:

#Shell Panels
...
shell.panels.guided-vis = edu.byu.cs.guided.search.visualize.TraceVisualizationPanel

You also need to update available panels as

#Available panels is here for when I one day add support to add panels at runtime to shells.
shell.available_panels = properties,config,site,report,test,verify,logging,guided-vis

Once that is complete, you are able to run the JPF files in the src-examples directory of jpf-guided-test. The shell is activated with the configuration line

# Needed when using jpf-shell
shell=edu.byu.cs.guided.search.visualize.TraceVisualizationPanelShell

Screenshots

Meeting Notes

Anything read from or written to in the concrete trace should be in the heap

Visualization Output Format

Runtime information is currently output into an XML file. See the XML Output DTD.

vv-lab/guided-test-visualization.1424299064.txt.gz · Last modified: 2015/02/18 15:37 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0