quickcheck-lockstep: Library for lockstep-style testing with 'quickcheck-dynamic'

[ bsd3, library, testing ] [ Propose Tags ]

Lockstep-style testing is a particular approach for blackbox testing of stateful APIs: we generate a random sequence of APIs calls, then execute them both against the system under test and against a model, and compare responses up to some notion of observability.

Modules

[Last Documentation]

Test
- QuickCheck
  - StateModel
    - Test.QuickCheck.StateModel.Lockstep
      - Test.QuickCheck.StateModel.Lockstep.Defaults
      - Op
        Test.QuickCheck.StateModel.Lockstep.Op.Identity
        Test.QuickCheck.StateModel.Lockstep.Op.SumProd
      - Test.QuickCheck.StateModel.Lockstep.Run

Downloads

quickcheck-lockstep-0.1.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

EdskoDeVries, jdral

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.0, 0.2.0, 0.2.1, 0.3.0, 0.4.0, 0.4.1, 0.5.0
Change log	CHANGELOG.md
Dependencies	base (>=4.14 && <4.15), containers (>=0.6 && <0.7), mtl (>=2.2 && <2.3), QuickCheck (>=2.14 && <2.15), quickcheck-dynamic (>=2.0 && <2.1) [details]
License	BSD-3-Clause
Author	Edsko de Vries
Maintainer	edsko@well-typed.com
Category	Testing
Source repo	head: git clone https://github.com/well-typed/quickcheck-lockstep
Uploaded	by EdskoDeVries at 2022-10-11T10:58:41Z
Distributions
Downloads	381 total (43 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2022-10-11 [all 2 reports]