Support pattern(regex) for StringArbitrary

[mhyeon-lee]

Testing Problem

I want to generate a string of sophisticated patterns.
It would be nice to support string patterning like REGEX.

Suggested Solution

• Email pattern string

Arbitraries.strings()
     .pattern("(?:[a-z0-9!#$%&'*+/=?^_`{|}~-]+(?:\.[a-z0-9!#$%&'*+/=?^_`{|}~-]+)*|\"(?:[\x01-\x08\x0b\x0c\x0e-\x1f\x21\x23-\x5b\x5d-\x7f]|\\[\x01-\x09\x0b\x0c\x0e-\x7f])*\")@(?:(?:[a-z0-........")

Discussion

[jlink]

Supporting full regex syntax sounds like a monumental task. What are the basic features you need?

[mhyeon-lee]

@jlink
I need to generate a custom formatted string.
Now, I would like to use the format below.

• Email format
• URL format
• CreditCard
• Tel Number
• exclude specific char ( <-> SpringArbitrary#withChars)
• ....

[jlink]

What about being a bit more explicit about how those different formats compose, e.g.

@Provide
Arbitrary<String> emails() {
	Arbitrary<String> part = 
		Arbitraries.strings()
			.alpha().numeric()
			.withChars("!#$%&'*+/=?^_`{|}~-".toCharArray())
			.ofMinLength(1);
	Arbitrary<List<String>> nameParts = part.list().ofMinSize(1).ofMaxSize(5);
	Arbitrary<List<String>> domainParts = 
		Arbitraries
			.strings().alpha().numeric().ofMinLength(1).ofMaxLength(20)
			.list().ofMinSize(1).ofMaxSize(5);

	Arbitrary<String> topLevelDomains = Arbitraries.of("com", "org", "net");
	return Combinators.combine(nameParts, domainParts, topLevelDomains)
			  .as((np, dp, tld) -> {
				  String name = String.join(".", np);
				  String domain = String.join(".", dp);
				  return String.format("%s@%s.%s", name, domain, tld);
			  });
	}

It's definitely more verbose but IMO communicates better how an email (or any other format) is composed.

[mhyeon-lee]

@jlink
Thank you for your guidance.
I am currently using it in a similar way.

[jlink]

The feature is in the backlog. But not scheduled for implementation yet. Thanks for using jqwik!

[mhyeon-lee]

There seems to be a javascript library for creating strings with regex.
I haven't checked how it works.

https://www.browserling.com/tools/text-from-regex

[jlink]

@mhyeon-lee Thanks for the hint. I’ll check it out.

[abargnesi]

There is also mifmif/Generex which uses cs-au-dk/dk.brics.automaton under the covers to generate strings from regular expressions. Both of these are Java libraries.

[jlink]

The problem with external libs in a testing framework is dependency on something that might possibly be in the (transitive) dependency list of a subject under test. That's why I'm fighting hard to not have those external deps in jqwik.

One possible solution is to provide regex generation as external 3rd party extension.
@mhyeon-lee Would you be willing to go for such an extension with my help?

[mhyeon-lee]

@jlink
I'm already wrapping jqwik and trying various extensions.
If it supports 3rd party extension, It would be useful for me.

[jlink]

An Extension API is what I’m currently working on.
For a RegexArbitrary I think you would not need it though.

[luvarqpp]

Just funny note about valid email address and regexp. It seems way more complex to cover all valid email address: https://www.regular-expressions.info/email.html

[mmerdes]

this might help:

https://westergaard.eu/2019/08/generating-test-data-using-regular-expressions-with-java/

[jlink]

@mmerdes The article you link to really seems to offer a low effort approach that might work. Don’t you want to give it a try?

[mmerdes]

yes

[mmerdes]

also helpful: this tool for generating regexes from examples

https://github.com/pemistahl/grex

[jlink]

This would enable an interesting workflow: Start with a few examples and let the lib generate regexes from that, which can then be validated/modified by hand.

[jlink]

Link about the problem of well-balanced generation: https://www.drmaciver.com/2017/03/fully-automated-luxury-boltzmann-sampling-for-regular-languages/

And a simple implementation: https://github.com/hyperpape/needle/blob/main/needle-compiler/src/test/java/com/justinblank/strings/RegexGenerator.java

[jlink]

Moreover, the Chain abstraction introduced in 1.7.0 could also be helpful for implementing regexs.

Here's an example: https://github.com/jlink/jqwik/blob/main/documentation/src/test/java/net/jqwik/docs/state/RegexChainExample.java

[SimY4]

I just created a small project that supports generation of regex constrained strings for jqwik. Have a look and leave feedback if you're keen:

https://github.com/SimY4/coregex

jqwik usage example in unit tests: https://github.com/SimY4/coregex/blob/main/jqwik/src/test/java/com/github/simy4/coregex/jqwik/CoregexArbitraryConfiguratorTest.java

[jlink]

@SimY4 Cool project. Just browsed through the jqwik-related code and stumbled upon the shrinking. It looks (I may be wrong though) as if shrinking is not deterministic since some kind of RNG is being used. If that’s the case it would break repeatability of test runs. One option I see to solve this problem is to generate a seed while generating the initial shrinkable and then use this seed as input to the RNG for shrinking. But that’s just an idea.

[adam-waldenberg]

Apart from https://github.com/SimY4/coregex as suggested by @SimY4, there are also some more mature/old libraries available to handle this. If introducing an external depedency for this is acceptable, then this could be pretty easily implemented with Xeger or Rxgen;

https://github.com/agarciadom/xeger
https://github.com/curious-odd-man/RgxGen

This would allow for a pretty quick implementation of Arbitraries.strings().pattern/regex() and a @Chars(pattern/regex = "").

[jlink]

I haven’t looked at the exact libraries, but keep in mind that shrinking capabilities often account for a major part of arbitrary implementation. Often data generation libs do not cover that at all.
One option would be to create a jqwik extension module with this 3rd party dependency. Maybe you want to give it a try, @adam-waldenberg; I’d be willing to give support.

[adam-waldenberg]

@jlink Yes.... I could take a look at that. Took a quick look at the library, and looks very simple... It even has functionality to estimate the amount of unique values a regexp can generate.

Question, what is the preferred way for an extension to provide a new Arbitrary type like Arbitraries.strings().pattern(...) for example? ... Beyond that its just a @RegexChars annotation or similar.

[jlink]

ˋArbitraries.strings()ˋ is probably the wrong starting point since regex generated strings won’t have the same configuration capabilities as character-based strings. You could have a look at the web module, which starts its DSL from a freshly introduced class ˋWebˋ. Maybe st like ˋRegex.fromPattern(..)ˋ could be the starting point for a regex module. And a ˋ@FromRegexˋ annotation as you suggested.

[LvargaDS]

Just one note according do human aspect. If we would be able to use regexp to generate some random strings, this regexp would be most probably copied from code under the test. It would lower than quality of PBT. PBT should re-define needs and invariant (properties) of some processes. And one thing is also to define input requirements again and have them separate to implementation.

Please, at least give some WARNING into documentation to this feature, when it will be available.

[DavidGregory084]

There is also https://github.com/wolfendale/scalacheck-gen-regexp which provides similar functionality by parsing the regex and converting its various constructs into generators.