https://github.com/robert-96/altwalker-dotnet-demo

A simple .NET demo using AltWalker. AltWalker is an open source Model-Based Testing framework.
https://github.com/robert-96/altwalker-dotnet-demo

altwalker dotnet graphwalker model-based-testing

Last synced: about 1 month ago
JSON representation

A simple .NET demo using AltWalker. AltWalker is an open source Model-Based Testing framework.

• Host: GitHub
• URL: https://github.com/robert-96/altwalker-dotnet-demo
• Owner: Robert-96
• License: gpl-3.0
• Created: 2021-03-27T22:33:15.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2023-12-18T23:21:18.000Z (over 2 years ago)
• Last Synced: 2025-01-27T17:54:04.614Z (over 1 year ago)
• Topics: altwalker, dotnet, graphwalker, model-based-testing
• Language: C#
• Homepage:
• Size: 38.1 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# altwalker-dotnet-demo

A simple .NET demo using AltWalker. AltWalker is an open source Model-Based Testing framework.

## Setup

Install the python dependencies:

```

$ pip install -r requirements.txt

```

Build the dotnet project and all of its dependencies.

```

$ dotnet build tests

```

## Running the 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

```