model-based-testing | Topic | Ecosyste.ms: Repos

Topic: "model-based-testing"

DES-Lab/AALpy

An Automata Learning Library Written in Python

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

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

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

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

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

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

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

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

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

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

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

altom/altwalker/altwalker

This repository was moved to GitHub, you can find the new repository at: https://github.com/altwalker/altwalker

Last synced at: over 2 years ago - Stars: 8 - 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

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

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

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

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

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

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

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

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

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

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

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

TestOptimal/MBT

TestOptimal MBT (Open-Source)

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

sicope-model/sicope-model

Model-Based Testing tool for web application

Language: PHP - Size: 2.48 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

sajtizsolt/graphwalker-selenium

A model-based testing example for modern web applications with GraphWalker and Selenium frameworks.

Language: Java - Size: 63.5 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

the-dr-lazy/purescript-quickcheck-state-machine Fork of meeshkan/purescript-quickcheck-mbt

Test monadic PureScript programs using state machine based models

Language: PureScript - Size: 52.7 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 2 - 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

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

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

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

Robert-96/altwalker-graph-data-demo

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

Language: Python - Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 1 - 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: 20 days ago - Pushed at: about 3 years ago - Stars: 1 - 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

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

altom/altwalker/altwalker-examples

This repository was moved to GitHub, you can find the new repository at: https://github.com/altwalker/altwalker-examples

Last synced at: over 2 years ago - Stars: 1 - Forks: 1

altom/altwalker/docker-images

This repository was moved to GitHub, you can find the new repository at: https://github.com/altwalker/docker-images

Last synced at: over 2 years ago - Stars: 1 - Forks: 0

altom/altwalker/dotnet-executor

This repository was moved to GitHub, you can find the new repository at: https://github.com/altwalker/dotnet-executor

Last synced at: over 2 years ago - Stars: 1 - Forks: 0

altom/altwalker/model-editor

A web based editor and visualizer for models written using the GraphWalker JSON format. Visit the app at: https://altom.gitlab.io/altwalker/model-editor.

Last synced at: over 2 years ago - Stars: 1 - Forks: 1

altom/altwalker/model-visualizer

A JavaScript library for displaying JSON models for AltWalker and GraphWalker. Read the documentation on: https://altom.gitlab.io/altwalker/model-visualizer.

Last synced at: over 2 years ago - Stars: 1 - 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

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

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

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

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/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/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/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

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

Robert-96/altwalker-dotnet-demo

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

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

Robert-96/altwalker-demo

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

Language: Python - Size: 34.2 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

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

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

rh122/rh122.github.io

Graph Transformation for Software Engineers (GT4SE)

Size: 790 KB - Last synced at: 2 months ago - Pushed at: over 2 years 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

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

Seeker04/nvim-mbt

A model based approach to testing Neovim's mode transitions.

Last synced at: over 2 years ago - Stars: 0 - Forks: 0