property-based-testing-stateful-systems-tutorial
Stateful Testing Tutorial
A tutorial on how to apply property-based testing to stateful systems, including fault injection and simulation testing.
A tutorial about how to apply property-based testing to stateful systems.
70 stars
7 watching
4 forks
Language: Haskell
last commit: over 3 years agofault-injectionhaskelllinearizabilityproperty-based-testingsimulation-testingstate-machinestutorial
Related projects:
| Repository | Description | Stars |
|---|---|---|
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
 zevada/stateful | A lightweight library for implementing event-driven state machines with clean and simple design | 20 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 hedgehogqa/haskell-hedgehog | A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions. | 676 |
 qmuntal/stateless | A Go library for creating finite state machines directly in code | 981 |
 norfairking/sydtest | A modern testing framework for Haskell with advanced features and good defaults | 116 |
 alfert/propcheck | A property-based testing framework for Elixir | 377 |
 proper-testing/proper | A property-based testing tool for Erlang that helps ensure software behaves according to its specifications | 884 |
 unkindpartition/tasty | A modern testing framework for Haskell | 643 |
 cpressey/facts-about-state-machines | Exploring state machines and their applications in software development | 728 |
 seunivr/resttestgen | Automated black-box testing of RESTful APIs | 41 |
 simonjwright/scripted_testing | A tool for writing and executing scripted tests using a Tcl scripting language. | 2 |
 stoiveyp/alexa.net.testutility | A small helper library to simplify testing of Alexa.NET Skills | 2 |
 scalaprops/scalaprops-cross-example | An open-source project demonstrating the use of scalaprops for property-based testing across multiple platforms (JVM, JS, Native) in Scala. | 3 |
 aucohl/fault | A comprehensive design-for-testing solution for digital systems | 141 |