Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Proptests for the query parser #51

Open
V0ldek opened this issue Nov 21, 2022 · 2 comments · Fixed by #142
Open

Proptests for the query parser #51

V0ldek opened this issue Nov 21, 2022 · 2 comments · Fixed by #142
Labels
acceptance: go ahead Reviewed, implementation can start area: proptest Improvements to proptest coverage help wanted External contributions welcome type: reliability Tests, code quality
Milestone

Comments

@V0ldek
Copy link
Member

V0ldek commented Nov 21, 2022

Is your feature request related to a problem? Please describe.
We should use the proptest crate to comprehensively test the query parser.

Describe the solution you'd like
As usual for proptests, this is a bit of a complex design space.

It's relatively easy to create proptests for correct query strings – just generate an arbitrary sequence of selectors and stringify them. It might be good to start with that as a single PR first.

Query strings that should result in an error are a bit more tricky. There are many things that can cause a parsing error, and just generating random garbage won't give too good a coverage. We can start by generating a sequence of valid selectors interspersed with "error" segments, and then figuring out smart kinds of "error" – things like three-dot sequences, root selectors inside unescaped labels...

As usual for proptests, we need to do it iteratively. Start with simpler tests and then consequently add more complex cases.

Additional context
I'm not sure what the acceptance criteria for this issue are, so we're just gonna wing it – we'll close it when we feel sufficiently happy with the test suite for something labelled as "1.0.0".

@V0ldek V0ldek added help wanted External contributions welcome acceptance: go ahead Reviewed, implementation can start type: reliability Tests, code quality labels Nov 21, 2022
@V0ldek V0ldek added this to the v1.0.0 milestone Nov 21, 2022
@V0ldek V0ldek self-assigned this Nov 21, 2022
@V0ldek V0ldek added area: parser area: proptest Improvements to proptest coverage acceptance: go ahead Reviewed, implementation can start and removed acceptance: go ahead Reviewed, implementation can start labels Nov 23, 2022
@V0ldek V0ldek removed their assignment Nov 25, 2022
@V0ldek V0ldek moved this from Todo to Committed in Active rsonpath development Mar 7, 2023
@V0ldek V0ldek moved this from Committed to In Progress in Active rsonpath development Mar 7, 2023
@V0ldek V0ldek self-assigned this Apr 8, 2023
V0ldek added a commit that referenced this issue Apr 10, 2023
Added reliability proptests for query parsers and updated the docs for the grammar.

Ref: #51
V0ldek added a commit that referenced this issue May 24, 2023
V0ldek added a commit that referenced this issue May 24, 2023
V0ldek added a commit that referenced this issue May 25, 2023
@github-project-automation github-project-automation bot moved this from In Progress to Merged in Active rsonpath development May 25, 2023
@github-actions github-actions bot removed the acceptance: go ahead Reviewed, implementation can start label May 25, 2023
@V0ldek V0ldek moved this from Merged to In Progress in Active rsonpath development Jun 14, 2023
@V0ldek V0ldek reopened this Jun 14, 2023
@github-project-automation github-project-automation bot moved this from In Progress to Committed in Active rsonpath development Jun 14, 2023
@github-actions github-actions bot added the acceptance: triage Waiting for owner's input label Jun 14, 2023
@github-actions
Copy link

Tagging @V0ldek for notifications

@V0ldek V0ldek added acceptance: go ahead Reviewed, implementation can start and removed acceptance: triage Waiting for owner's input labels Aug 7, 2023
@V0ldek V0ldek removed their assignment Sep 6, 2023
@V0ldek V0ldek removed the mod: parser label Oct 4, 2023
@V0ldek
Copy link
Member Author

V0ldek commented Mar 27, 2024

We have very good proptests and a fuzzer for valid queries. Adding proptests for error cases might be way too hard and not bring that much benefit. Snapshot testing for errors would be better - at least one test for each error kind in rsonpath-syntax.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
acceptance: go ahead Reviewed, implementation can start area: proptest Improvements to proptest coverage help wanted External contributions welcome type: reliability Tests, code quality
Projects
Development

Successfully merging a pull request may close this issue.

1 participant