#DRMacIver’s announcement of #Hegel. #Hypothesis #Antithesis #PBT #testing
on 02026-04-09discussion of the announcement of #Hegel from the #Hypothesis and #Antithesis folks. #PBT #testing
on 02026-04-09“#Hegel is a universal property-based #testing protocol and family of libraries, built on #Hypothesis.” #PBT
on 02026-04-09My comments on the #Antithesis distributed-system #testing system using #hypervisor #virtualization
on 02025-10-21#video on video driver regression #testing in #videogames and #latency (“microstuttering” and “hitching”) on Linux. No, on Windows (10? 11?) due to mtkwecx, the MediaTek integrated Wi-Fi/Bluetooth hardware driver, which also causes replugging the keyboard and mouse to not work. Disabling the hardware in the BIOS solves the problem. So does downloading an updated driver from ASRock, but only for the keyboard/mouse problem.
on 02025-09-03"Playwright" “enables reliable end-to-end #testing for modern web apps.” It lets you puppet #browsers to automate web browsing, similar to #Selenium. #documentation #toread
on 02025-08-27"fast-check" is the popular property-based #testing library for #JS (displacing JSVerify) and for #TypeScript too. It supports shrinking but seems not to use Hypothesis’s insights. Maybe it’s better, who knows.
on 02024-12-22#CC by final #paper by #DRMacIver on #Hypothesis shrinking. #toread #testing #PBT
on 02024-12-22more about #testing #Python with #Hypothesis #PBT
on 02024-12-22#testing #Python with #Hypothesis is proposed (and now accepted) #PBT
on 02024-12-22#CC by preprint of #PDF #paper by #DRMacIver on how #Hypothesis shrinking works #testing #PBT
on 02024-12-22Paul Ganssle and Zac Hatfield-Dodds want to use #Hypothesis to test the core of #Python, saying #PyPy already does this, while Guido and Raymond Hettinger are skeptical. “Minithesis is readable mostly by virtue of not handling the hard edge cases.” #testing #PBT
on 02024-12-22#Tekknolagi on #C-Reduce for #testing things that aren’t C compilers
on 02024-11-28#DRMacIver’s "Shrinkray" test-case file reducer. #toread #testing #PBT
on 02024-11-28#PDF #paper on #Regehr’s "C-Reduce" program for test-case minimization. #toread #testing
on 02024-11-28#security #testing for open-source software using #fuzzing
on 02024-09-27Schemathesis harnesses #Hypothesis for #fuzzing OpenAPI web APIs #testing #PBT
on 02024-01-14"falsify" implements test-case shrinking for #Haskell. “The test runner is able to go back and forth between shrinking the length and the list, and shrinking elements in the list. That is, we have integrated shrinking (like in hedgehog: we do not specify a separate generator and shrinker), which is internal: works across monadic bind. The Python #Hypothesis library showed the world how to achieve this. In this blog post...” #testing #PBT
#ebook on generative #testing #fuzzing
on 02019-02-11how to do stateful generative #testing in #Erlang with Proper.
on 02019-02-05Some ideas for generative #testing: “Different paths, same destination”, “There and back again”, “Some things never change”, “The more things change, the more they stay the same”, “Solve a smaller problem first”, “Hard to prove, easy to verify”, “The test oracle”
on 02019-02-05mutation #testing: mutate the program to see what tests need to be added
on 02017-11-25A #property-based #testing thing for #Rust that you could use for C libraries, modeled after Hypothesis.
on 02017-10-01Jane Street tests their OCaml code by expecting it will return the same string it did last time, which they call “expect tests”, based on Mercurial’s “unified test format”, implemented in “cram”. #testing
on 02017-08-27Dan Luu brings his hardware background to software testing and suggests combining a QuickCheck-like random test generation approach with the #coverage #testing used by the #afl fuzzer. #fuzzing #testing
on 02016-01-14Dan Luu brings his hardware background to software testing and suggests combining a QuickCheck-like random test generation approach with the #coverage #testing used by the #afl fuzzer. #fuzzing #testing
on 02016-01-14James Bach and Michael Bolton on #testing software #toread
on 02015-08-05