@hackage / lattest-lib

Model-based testing framework

Latest0.1.0.0

About

Metadata

  • Last updated , by dpvanbalen
  • License BSD-3-Clause
  • Categories Testing

  • Maintained by: David van Balen

  • Lottery factor: 1

Links

Installation

Readme

Welcome to Lattest, the latest attested lattice testing tech!

The purpose of Lattest to assist in model-based testing: set up a test for external systems, where the expected behaviour of that system is expressed as a specification model in the form of an automaton.

For details on setting up such a test, see Lattest.Exec.Testing