Skip to content

0riv3r/java_mbt

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

https://learntocodetogether.com/binary-search-tree-java/
https://github.com/namvdo/data-structures-and-algorithms-in-java/blob/master/binary-search-tree/Bst.java

microsoft/vscode-java-test#851


Launch the model editor
======================
java -jar C:\workspace\bst\lib\graphwalker-studio-4.2.0.jar
open http://localhost:9090/studio.html in a web browser.


generate offline testcase
=========================
java -jar graphwalker-cli-4.2.0.jar offline -m C:\workspace\bst\bin\resources\model.json --unvisited --verbose "random(edge_coverage(100))"

# To get the element names only, and also using seed:
java -jar C:\workspace\bst\lib\graphwalker-cli-4.2.0.jar offline --seed 147945811993279 -m C:\workspace\bst\bin\resources\model.json "random(edge_coverage(100))" | jq '.currentElementName'

# Generate junit source code for the model:
java -jar C:\workspace\bst\lib\graphwalker-cli-4.2.0.jar source -i C:\workspace\bst\bin\resources\model.json C:\workspace\bst\src\resources\junit.template > C:\workspace\bst\src\test\BstGwTest.java

# Generate a java test souce code:
java -jar C:\workspace\bst\lib\graphwalker-cli-4.2.0.jar source -i C:\workspace\bst\bin\resources\model.json C:\workspace\bst\src\resources\java.template > C:\workspace\bst\src\test\BstGwTest.java

Run the graphwalker test file from the commandline with enabling assertion:
PS C:\workspace\bst\bin\test> java -ea BstGwTest

About

example of a model-based-testing using graphwalker on java application

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages