You are here

Modeling for GraphWalker 201

I wrote prior to the release of GraphWalker 3. So keep in mind the not all information in this article is valid for GW3. I'll make an updated version soon.

JavaScript Enabled Modeling

I have played a little around with GraphWalker and JavaScript enabled models for ESFM. The ā€œ-jā€ option

[-j]

Enable JavaScript engine

java -jar graphwalker-2.6.3.jar offline -f MBT201.graphml -g RANDOM -s REACHED_VERTEX:End -j > output.txt ā€“x

Output:

Start

Init_Variable

v_B/cnt=0.0;init=false;

B_to_A

v_A/cnt=1.0;init=false;

A_to_B

v_B/cnt=1.0;init=true;

B_to_A

v_A/cnt=2.0;init=true;

.

.

v_B/cnt=15.0;init=true;

B_to_A

v_A/cnt=16.0;init=true;

A_to_C

v_C/cnt=16.0;init=true;

C_to_End ;

End/cnt=16.0;init=true;



Counter Example.

java -jar graphwalker-2.6.3.jar offline -f MBT201_counter.graphml -g RANDOM -s REACHED_VERTEX:End -j > output.txt ā€“x

Start

Init_Variable

v_B/cnt=0.0;

v_B/cnt=1.0;

v_B/cnt=2.0;

.

.

v_B/cnt=9.0;

v_B/cnt=10.0;

End/cnt=10.0;



Requriements Coverage.

java -jar graphwalker-2.6.3.jar offline -f MBT201_REQTAG.graphml -g RANDOM -s REQUIREMENT_COVERAGE:100 -j > output.txt -x

java -jar graphwalker-2.6.3.jar offline -f MBT201_REQTAG.graphml -g RANDOM -s REACHED_REQUIREMENT:REQ03 -j > output.txt -x



Weighted Walking

java -jar graphwalker-2.6.3.jar offline -f MBT201_WEIGHT.graphml -g RANDOM -s REACHED_VERTEX:End -j > output.txt -x -w