search

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models
Other
203 stars 25 forks source link

Improve the possibilities of collecting stats #89

Open stevana opened 7 years ago

stevana commented 7 years ago

Ideas on how we can improve stats collecting:

stevana commented 6 years ago

The Cleanroom people have some neat tools, e.g. JUMBL, for analysing Markov chains. For more information see:

stevana commented 5 years ago

Some important progress was made in the blog post "An in-depth look at quickcheck-state-machine", see especially the "Labelling" section.

Some of those ideas are now part of the Test.StateMachine.Labelling module and used in the process registry example.

The two papers that seems to introduce the labelledExamples combinator in QuickCheck:

Seem to somehow be able to produce the minimal labelled examples without the user having to tag everything manually though? So perhaps there's more work to be done on automatically tagging?

stevana commented 5 years ago

There's also features/3 and call_features/{1,2} in the eqc statem API, not sure if they are part of the labelled examples machinery though.

stevana commented 5 years ago

Another talk by John Hughes that explains labelledExamples is called Building on developers' intuitions to create effective property-based tests.