Black-box testing of stateful systems using properties
This library provides the ability to generate traces of actions to test properties of a stateful system.
karat-scalacheck builds upon the property-based testing
capabilities of Scalacheck. In order to express how the system evolves over time, new
temporal operators have been introduced, such as always and eventually.
When we test using properties, the inputs are generated
randomly, and then fed to the test body, that performs the corresponding checks. In any case, generators represent a
single value. With karat-scalacheck you gain the ability to produce arbitrary traces of actions, which are applied
in sequence. At each step, properties can be checked.
libraryDependencies += "com.xebia" %% "karat-scalacheck" % "0.0.6" % Test
libraryDependencies += "com.xebia" %% "karat-scalacheck-effect" % "0.0.6" % Testkarat-scalacheck is designed and developed by Xebia Functional
Copyright (C) 2016-2020 Xebia. https://xebia.com/