GitHub topics: model-based-testing

Repositories

DES-Lab/AALpy

An Automata Learning Library Written in Python

Language: Python - Size: 25.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 182 - Forks: 29

zenseact/zmbt-framework

Zenseact Model-based Testing Framework

Language: C++ - Size: 3.64 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 3 - Forks: 1

J3lackai/TGbot_FSM_Testing_Tool

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

Language: Python - Size: 456 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

informalsystems/itf-rs

Rust library for consuming Apalache ITF traces

Language: Rust - Size: 160 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 5 - Forks: 1

AnthonyLloyd/CsCheck

Random testing library for C#

Language: C# - Size: 1.19 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 180 - Forks: 5

informalsystems/modelator

Model-based testing tool

Language: Python - Size: 334 MB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 58 - Forks: 5

IanWold/CFWeaver

Generate comprehensive test scenarios from control flow models in simple markdown

Language: C# - Size: 56.6 KB - Last synced at: 14 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

MasWag/FalCAuN

Falsification of CPS via Automata Learning

Language: Jupyter Notebook - Size: 3.16 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 4

input-output-hk/quickcheck-dynamic

A library for stateful property-based testing

Language: Haskell - Size: 464 KB - Last synced at: 19 days ago - Pushed at: 3 months ago - Stars: 30 - Forks: 9

altwalker/altwalker

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

Language: Python - Size: 38.4 MB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 0

functional-specification-based-testing/haskell-matching-engine

a Haskell specification for matching engine of stock trading platform

Language: Haskell - Size: 241 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 3

jg8481/go-language-rpa-tests

A collection of Go Language inspired test tools and strategies enhanced with Robot Framework RPA.

Language: HTML - Size: 5.18 MB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

altwalker/model-editor

A web based editor and visualizer for models written using the GraphWalker JSON format.

Language: JavaScript - Size: 2.93 MB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 7 - Forks: 0

rjdestigter/xstate-marionettist

Model based testing with Jest, XState and Puppeteer or Playwright made easy

Language: TypeScript - Size: 2.43 MB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 30 - Forks: 3

embedded-community/app_modeler

Application Modeler

Language: Python - Size: 434 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

annasz11/kubernetes-mbt

This is a repository for the Modelling and Testing assignment. The SUT was Kubernetes pod lifecycle management system. Used tools were Graphwalker, MTR (ModelTestRelax) framework, and the adaptation code was developed in Java using kubectl.

Language: TeX - Size: 5.27 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

automl-private/significance_analysis

This package is used to analyse datasets of different HPO-algorithms performing on multiple benchmarks.

Language: Jupyter Notebook - Size: 61.9 MB - Last synced at: 4 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

altwalker/live-viewer

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

Language: Python - Size: 3.4 MB - Last synced at: 18 days ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0

hassansartaj/cdst-toolkit

A toolkit to automate the testing process of Cockpit Display Systems (CDS)

Language: Java - Size: 7.87 GB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 3 - Forks: 0

informalsystems/cosmwasm-to-quint

Semi-automated modelling and Model-Based Testing for CosmWasm contracts

Language: Rust - Size: 500 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 12 - Forks: 1

dakusui/jcunit

A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.

Language: Java - Size: 25.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 76 - Forks: 9

jmid/qc-ptrees

A model-based QuickCheck test of ptrees (Patricia trees)

Language: OCaml - Size: 113 KB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 12 - Forks: 2

altwalker/altwalker-examples

A growing list of examples that use AltWalker.

Language: Python - Size: 326 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

altwalker/model-visualizer

A JavaScript library for visualizing and visualy editing JSON models for AltWalker and GraphWalker.

Language: JavaScript - Size: 1.21 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

lenntt/kinglouie

Exploratory test monkey that becomes smarter over time

Language: JavaScript - Size: 403 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1

Robert-96/vue-todo-altwalker-tests

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

Language: Python - Size: 2.93 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ArtemBaskal/model-based-testing-calculator

Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using XState

Language: TypeScript - Size: 1.82 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0

andimon/web-test-automation-and-model-based-testing

web test automation of behaviour testing of a local tech shop in partial fulfillment of unit CPS3230

Language: Java - Size: 130 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

otheec/WebTesting

Webtesting, Cucumber, Model-based testing

Language: Java - Size: 438 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

TestOptimal/MBT

TestOptimal MBT (Open-Source)

Language: Java - Size: 21.1 MB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 3

altwalker/vscode-model-visualizer

A Visual Studio Code extension for displaying JSON models for AltWalker and GraphWalker.

Language: TypeScript - Size: 6.93 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

tienvx/mbt-bundle

A core library for Sicope Model, a Model-Based Testing tool for web application.

Language: PHP - Size: 7.23 MB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 18 - Forks: 2

hassansartaj/uast-toolset

A toolset to support automated system-level testing of unmanned aerial systems (UAS).

Language: Java - Size: 20.6 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

vaitybharati/Forecasting_Model_based_methods

Splitting data into Linear Model, Exponential, Qaudratic, Additive seasonality , Additive Seasonality Quadratic , Multiplicative Seasonality, Multiplicative Additive Seasonality. Prediction for new time period

Language: Jupyter Notebook - Size: 3.91 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

altwalker/dotnet-executor

A .NET executor for AltWalker, a convenient programming interface for exposing and executing your C# tests within the AltWalker framework.

Language: C# - Size: 57.6 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Robert-96/altwalker-petclinic-example Fork of bitcoder/altwalker-petclinic-example

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

Language: Python - Size: 61.5 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Robert-96/altwalker-action 📦

GitHub Action for AltWalker/GraphWalker.

Language: Shell - Size: 35.2 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

nerdsupremacist/Mealy

Swift Framework for Model-Based Testing using Mealy Machines

Language: Swift - Size: 92.8 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0

pairwise-testing/python-allpairspy Fork of thombashi/allpairspy

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.

Language: Python - Size: 132 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

plets-x1/plets-x1

Language: C# - Size: 14.4 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

pairwise-testing/all-languages-tcases Fork of Cornutum/tcases

A model-based test case generator

Language: Java - Size: 8.58 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

HiConfiT/hiconfit-core

A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques

Language: Perl - Size: 4.83 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

lauterbach-mirror/t32xil

Mirror of Lauterbach's TRACE32 PIL Testing on custom hardware and virtual platforms

Language: MATLAB - Size: 2.97 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

SayamAlt/Fraudulent-Transactions-Prediction

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

Language: Python - Size: 32.2 KB - Last synced at: 19 days ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

Tovy97/Towards-Substructural-Property-Based-Testing

Code correlated to paper "Towards Substructural Property-Based Testing"

Language: Prolog - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

Isaac-DeFrain/model-based-trace-checking

Model-based trace-checking ✅ check the conformance of your implementation to your specification

Language: Rust - Size: 2.06 MB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0

rhaidiz/wafex

Web Application Formal Exploiter.

Language: Python - Size: 5.16 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 2

altwalker/python-ecommerce-selenium-conf

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

Language: Python - Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

edno/codeception-graphwalker 📦

Model-based testing extension for Codeception

Language: PHP - Size: 144 KB - Last synced at: 19 days ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

andreendo/FourMA Fork of guilhermefarto/MBTS4MA

Language: Java - Size: 6.89 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 3

Related Keywords

model-based-testing 63 testing 15 altwalker 14 python 12 graphwalker 12 testing-tools 11 test-automation 10 dotnet 4 java 4 selenium 4 quickcheck 4 rust 3 test-generation 3 javascript 3 combinatorial-testing 3 property-based-testing 3 graph 2 pairwise-testing 2 pairwise 2 allpairs 2 test-case-generation 2 simulink 2 testing-tool 2 csharp 2 tlaplus 2 markov-decision-processes 2 xstate 2 maven 2 playwright 2 artificial-intelligence 2 petrinet 2 automata-learning 2 nodejs 2 debug 1 alergia 1 matlab 1 pil 1 trace 1 trace32 1 virtual-testing 1 data-visualization 1 exploratory-data-analysis 1 imblearn 1 machine-learning 1 model-building 1 coloured-petri-nets 1 sicope-model 1 single-color-petrinet 1 unmanned-aerial-system 1 forecasting 1 linear-model 1 prediction-model 1 seasonality 1 spring-petclinic 1 github-action 1 swift 1 unit-testing 1 automated-testing 1 software-product-lines 1 choco-solver 1 conflict-detection 1 conflict-resolution 1 diagnosis 1 feature-model 1 knowledge-base 1 knowledge-base-configurator 1 model-based-diagnosis 1 value-variable-heuristics 1 stochastic-analysis 1 robotic-arm 1 neovim 1 nvim 1 selenium-tools 1 symfony 1 purescript 1 state-machine-testing 1 test 1 bayesian-inference 1 mdp 1 cypher-query-language 1 graph-database 1 graph-theory 1 test-engine 1 gw4e 1 enumeration 1 functional-programming 1 graph-algorithms 1 pathfinding-algorithm 1 search-algorithm 1 android 1 mobile-app 1 predictive-analytics 1 sklearn 1 lolli 1 mutation-testing 1 formal-verification 1 formal-methods 1 penetration-testing 1 penetration-testing-framework 1 codeception 1