Spent a couple hours today working with a colleague on a property test using #eris. We found one bug in the implementation of our oracle, which proved that our production code was actually doing the right thing, though it's unclear if that was deliberate or accidental. After that we increased the number of samples to 1000 which actually seems to have uncovered another bug.
Really cool to finally have a good use case for property based testing.
Hegel, a universal property-based testing protocol and family of PBT libraries
#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries
Enam pegawai PBT, seorang bekas pegawai ditahan SPRM
#malaysiagazette #sprm #pbt
https://mgperak.com/enam-pegawai-pbt-seorang-bekas-pegawai-ditahan-sprm/
Property based testing for parser https://parkerlandon.com/posts/testing-parsers-thoroughly-with-property-based-testing
It is my pleasure to announce release 0.90 of the QCheck packages. QCheck is an OCaml library for randomized property-based testing in the style of Haskellβs QuickCheck. Release 0.90 Β· c-cube/qcheck Β· GitHub It has been over 12 years and 40 releases since @c-cube released version 0.1 back in October 2013. Over this period QCheck has grown organically with new combinators on a βby-needβ basis and with a separate QCheck2 module offering generators with integrated shrinking. This has unfort...
Gave a talk yesterday:
"Property Based Testing to verify a pipelined CPU design (hardware)"
at the New England Programming Languages and Systems Symposium (NEPLS),
about verifying my Fife RISC-V CPU using U.Cambridge's TestRIG (which uses Haskell's QuickCheck) and RISC-V International's RISC-V ISA Formal Specification (written in Sail)
https://nepls.org/
https://nepls.org/Events/36/
#NEPLS #FIFE #RISCV #RVI #Haskell #QuickCheck #TestRIG #PBT #Sail
Un peu de contenu pour le blog: https://exfalsoquodlibet.srht.site/articles/testing-semantic-preservation.html
About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068
Started hacking on a shrinker (reducer) of floats for QCheck a while back - and struggled. Yesterday I finally made some progress and now opened a PR for it:
https://github.com/c-cube/qcheck/pull/357 βοΈ π’ π€
Peter Maatman
Hacker News
Oh! Media
MG Perak
jnpn
Jan Midtgaard
RSNikhil
Ex falso quodlibet
Johannes Link