A simple .NET demo using AltWalker. AltWalker is an open source Model-Based Testing framework.
Install the python dependencies:
$ pip install -r requirements.txt
Build the dotnet project and all of its dependencies.
$ dotnet build tests
Check and analyze models for syntax issues:
$ altwalker check -m models/default.json "random(vertex_coverage(100))"
Verify and analyze the test code for issues (like missing methods or classes):
$ altwalker verify tests -m models/default.json --language dotnet
Run the tests:
$ altwalker online tests -m models/default.json "random(vertex_coverage(100))" --language dotnet
Generate a sequence of steps:
$ altwalker offline -m models/default.json "random(vertex_coverage(100))" -f steps/steps.json
Run the sequence of steps generated with the offline command:
$ altwalker walk tests steps/steps.json --language dotnet