The correctness bug was due to combinations of features. I'm curious if you've l... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		nickpsecurity 8 months ago \| parent \| context \| favorite \| on: Jepsen: TigerBeetle 0.16.11 The correctness bug was due to combinations of features. I'm curious if you've looked into combinatorial testing which NIST claimed knocks out almost all bugs when 6-way testing was used. https://csrc.nist.gov/projects/automated-combinatorial-testi... My intro to other categories of test generation was usually this paper: https://cs.stanford.edu/people/saswat/research/ASTJSS.pdf Maybe see of your team can build combinatorial- or path-based testing in Zig next.

nickpsecurity 8 months ago [–]

Edit to add 2019, NIST, intro slides on combinatorial testing since it's a better overview:

https://csrc.nist.gov/CSRC/media/Projects/Automated-Combinat...

jorangreef 8 months ago | [–]

Thanks!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact