MINOR: Add initial property tests for StandardAuthorizer#12703
Conversation
c2b85db to
4c8b32a
Compare
mumrah
left a comment
There was a problem hiding this comment.
@hachikuji this looks really nice, I like the approach.
Do you know if jqwik supports seeding the Random? It might be nice to be able to see which seed was used for a run and later be able to supply it for a local run when reproducing issues. E.g., if a random test case trips an exception, we won't get to printCounterExample
|
@mumrah Failures in jqwik always display the inputs including the random seed. I added the logic in |
|
Here is an example of what jqwik displays after a failure: |
mumrah
left a comment
There was a problem hiding this comment.
Thanks @hachikuji, the output looks neat. We should start doing more of this type of testing :)
In #12695, we discovered a gap in our testing of `StandardAuthorizer`. We addressed the specific case that was failing, but I think we need to establish a better methodology for testing which incorporates randomized inputs. This patch is a start in that direction. We implement a few basic property tests using jqwik which focus on prefix searching. It catches the case from #12695 prior to the fix. In the future, we can extend this to cover additional operation types, principal matching, etc. Reviewers: David Arthur <mumrah@gmail.com>
In apache#12695, we discovered a gap in our testing of `StandardAuthorizer`. We addressed the specific case that was failing, but I think we need to establish a better methodology for testing which incorporates randomized inputs. This patch is a start in that direction. We implement a few basic property tests using jqwik which focus on prefix searching. It catches the case from apache#12695 prior to the fix. In the future, we can extend this to cover additional operation types, principal matching, etc. Reviewers: David Arthur <mumrah@gmail.com>
In apache#12695, we discovered a gap in our testing of `StandardAuthorizer`. We addressed the specific case that was failing, but I think we need to establish a better methodology for testing which incorporates randomized inputs. This patch is a start in that direction. We implement a few basic property tests using jqwik which focus on prefix searching. It catches the case from apache#12695 prior to the fix. In the future, we can extend this to cover additional operation types, principal matching, etc. Reviewers: David Arthur <mumrah@gmail.com>
… (#34) In apache#12695, we discovered a gap in our testing of `StandardAuthorizer`. We addressed the specific case that was failing, but I think we need to establish a better methodology for testing which incorporates randomized inputs. This patch is a start in that direction. We implement a few basic property tests using jqwik which focus on prefix searching. It catches the case from apache#12695 prior to the fix. In the future, we can extend this to cover additional operation types, principal matching, etc. Reviewers: David Arthur <mumrah@gmail.com> Co-authored-by: Jason Gustafson <jason@confluent.io>
In #12695, we discovered a gap in our testing of
StandardAuthorizer. We addressed the specific case that was failing, but I think we need to establish a better methodology for testing which incorporates randomized inputs. This patch is a start in that direction. We implement a few basic property tests using jqwik which focus on prefix searching. It catches the case from #12695 prior to the fix. In the future, we can extend this to cover additional operation types, principal matching, etc.Committer Checklist (excluded from commit message)