An Automata Learning Library Written in Python

Model-based testing tool

AltWalker is an open source Model-Based Testing framework that supports running tests written in Python3 and .NET/C#.

Grc is support tool for model based testing. Converts graphml file to scenarios, both manual or automated ( Java, JavaScript, Python, C++, C code generation support )

Web Application Formal Exploiter.

A web application for visualizing the progress of an AltWalker test run.

A python library for test combinations generator. The generator allows one to create a set of tests using "pairwise combinations" method, reducing a number of combinations of variables into a lesser set that covers most situations.

Successfully trained a machine learning model which can predict whether a given transaction is fraud or not.

A simple example of an AltWalker project that updates the graph data from the test code.

Model-Based Tests implemented with AltWalker, targeting the demo PetClinic site.

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

Application Modeler

Demo for the State Model Based Testing with Selenium workshop at SeleniumConf 2023 in Chicago.

AltWalker tests for the Vue.js ToDo app from: https://robert-96.github.io/vue-todo/

A growing list of examples that use AltWalker.

В этом репозитории проект на Python, представляющий инструмент для комплексного тестирования Telegram-ботов на соответствие со спецификацией. Спецификация - это автомат являющийся эталоном (правильной моделью), мы сравниваем с ним, чтобы найти возможные ошибки в реализации автомата.