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 ✂️ 🔢 🤓
Here's a preprint of the paper I wrote up for Olivier's festscrift 🎉 🍾
Property-Based Testing of OCaml 5's Runtime System:
Fun and Segfaults with Interpreters and State Transition Functions
We describe our effort on using property-based testing to test the OCaml 5 multicore runtime system. In particular, we cover three case studies of increasing complexity that utilize a model-based state machine framework: (a) Testing the Array module, (b) testing weak hash sets, and (c) testing the garbage collector, with the latter two behaving non-deterministically from the point of view of the blackbox testing process. We evaluate the approach empirically by analyzing the bugs found, and discuss both limitations and challenges we have met underway.
https://janmidtgaard.dk/papers/Midtgaard%3aOLIVIERFEST25.pdf
Oh! Media
MG Perak
Idle.Hirn
jnpn
Jan Midtgaard
RSNikhil
Ex falso quodlibet
Johannes Link