~~ J P F ~~

Today i managed to create a graph with details as shown above. The vertices has the state values as their label and edges contain the code line of Java which executed.

PS: In the previous post i got the bug because i have not put my JUNG libraries inside the jpf-core/lib folder. But once it moved it went well.

I managed to crack though the code of StateSpaceDot and got the following results. Above graph is the one which is already generated using GraphViz.


Edge Id    ===TEST====>>>>0---(8---13)---1
Edge Id    ===TEST====>>>>1---(13---18)---2
Edge Id    ===TEST====>>>>1---(13---18)---2
Edge Id    ===TEST====>>>>1---(13---16)---1

+The first number denotes the starting state,
+Then the next two numbers in brackets shows the set of code which is corporate with the state transition. Here i used
trans.getStep(0).getInstruction().getLineNumber();
trans.getStep(trans.getStepCount()-1).getInstruction().getLineNumber();
to get the above data.
+ Third denotes the next state of the process.

As the next step i started to put those values into a JUNG graph. But when i try to create a very simple graph using JUNG, at the build phase it started generating some bugs as follows.

Buildfile: /root/workspace/jpf-core/build.xml
-init:
-compile-annotations:
-compile-main:
    [javac] Compiling 1 source file to /root/workspace/jpf-core/build/main
    [javac] /root/workspace/jpf-core/src/main/gov/nasa/jpf/listener/JUNGGraphCreater.java:6: package edu.uci.ics.jung.graph does not exist
    [javac] import edu.uci.ics.jung.graph.Graph;
    [javac]                              ^
    [javac] 1 error
BUILD FAILED

But i have already imported all the jar files related to JUNG and when im coding in eclipse it gives coding tips from the imported libraries as well. I think its a problem with the build.xml which is currently using only for JPF. Now im waiting to see some update :).

Recently i worked with some codes in JUNG and found out some cool features:
+ Its possible to work with Mouse activities
+ Possible to Zoom and Pan

So by using the mouse activities i propose a part of UI as follows. Once the graph is draw from the process, the labels near the graph will be similar to what we have now. But when ever user clicks on the specific node it will display code part which is really relevant for that.

But if user needs to take the graph as output. ill give a selection for the user to select whether to print the codes as labels near the nodes (states).

So in this image user has selected the node shown in yellow. And below the graph it is shown the related java code chunk.

Correction :: 

I have started with JUNG and up to now i was able to create a simple Graph by coding some Java codes.

But it seems the output graphic is generated by running a Java class. So for now i think we need to take an approach as follows.

JPF Listner---(write)---> Graph.java -----(Javac) -----> Graph.calss ----(run)--->Graphic

Or else we can use a separate class with methods to create the graph and that object will be responsible of making the final graphical result. In this case i need to find more about the resulting formats too.

And also i feel we can make the graphic animated, so it will help the person to understand the process easily.

I guess this is the final stage of configuration and testing of the current JPF for my project topic. Here i have generated graphs for very simple test applications the Racer and the Random.

 My next goal is to start researching much on JUNG toolkit for genarating graphs. Specially need to look at genarating cooler graphs with many number of nodes and details.