Skip to content

Temporal logic generators and properties

Compare
Choose a tag to compare
@juanrh juanrh released this 29 Dec 02:28
· 76 commits to master since this release

First implementation of a temporal logic for testing Spark Streaming with ScalaCheck. It allows to define:

  • Generators for DStream defined by temporal logic formulas.
  • Properties for testing functions over DStream, using a ScalaCheck generator, and a propositional temporal logic formula as the assertion. DStreamProp.forAll defines a property that is universally quantified over the generated test cases.