domains / families / software-engineering / cscheck

cscheck

separate

Write and simplify C# property-based, model-based, and executable specification tests with CsCheck. Use for generators, shrinking, stateful command sequences, Spec guards and rules, implementation conformance, or replaying generated failures.

When to use

• C# property-based tests
• model-based tests
• executable specification tests
• generators and shrinking
• stateful command sequences
• Spec guards and rules
• implementation conformance
• replaying generated failures

When not to use

• building a testing framework around CsCheck
• using implementation's answer to manufacture expected answer
• handwritten whole scenarios as substitute for exploring action orderings
• inferring major version or native async Spec.Conform support from another library's API

Skill page

Source