sscheck issues

Add Xor operator to formulas

enhancement

Use Scala spores instead of closures to ensure safety of closure serialization

This would improve performance and code safety as it enforces static checking of what it is exactly serialized See https://github.com/heathermiller/spores and start with https://github.com/juanrh/sscheck/blob/master/src/main/scala/es/ucm/fdi/sscheck/prop/tl/DStreamTLProperty.scala that is the most critical code....

juanrh

enhancement

update supported Spark versions

Ideally we should support several versions, like spark-testing-base

juanrh

enhancement

Support configuration of expected results in the three-valued temporal logic

2

Currently we use `org.scalacheck.Prop.Undecided` for the value ? of the logic. Specs2 interprets that as a failing test, and you cannot use `org.specs2.matcher.ResultMatchers` to mark a property as expecting undecided...

juanrh

enhancement

Parallel evaluation of assertions in streaming properties

2

We have a foreachRDD that checks the actions for each parallel test case. Instead of a for we could use a map to Future to execute the assertions in parallel...

juanrh

enhancement

Support shrinking in generators for dstreams

2

juanrh

enhancement

Support thrown expectations in DStreamProp.forall

Currently only functional expectations work as expected, see https://etorreborre.github.io/specs2/guide/SPECS2-3.6.2/org.specs2.guide.Structure.html#unit-specification Anyway functional expectations are recommended in ScalaCheck, while -thrown expectations are discouraged https://groups.google.com/forum/#!topic/scalacheck/Ped7joQLhnY

juanrh

enhancement