undefined | Better HN

0 pointsqsort3y ago0 comments

Okay, but property-based testing libraries have a "controlled randomizing" component. You could define what you want in those 700 bytes and then just feed them to the method or function that you're trying to fuzz.

Why is this different than what you are asking?

0 comments

2 comments · 1 top-level

azatom3y ago· 1 in thread

Can you show me an example of this "controlled randomizing"? What I know about it either just too much space for randomizing, or I have to add some pattern/rules, how to generate it.. so it is the base of the problem. But if there is an implementation what already have that some kind of "dictionary" for fuzzing, that is exactly what I am looking for.

qsortOP3y ago

I'm most familiar with the Java version; this is from the docs:

https://jqwik.net/docs/current/user-guide.html#customized-pa...

Yes, of course you do have to define some patterns, but you can do that for arbitrary types and the internal randomizer takes care of the rest. You could have multiple cases, say: one that's fully random, one where you have some integers, one where you have strings, etc.

j / k navigate · click thread line to collapse