Data Generators and Fakers#
Often, you don’t want to generate totally random data; it suffices that some aspects of it are random. This naturally raises the question: Where can one get non-random, natural data from, and how can one integrate this into Fandango?
Augmenting Grammars with Data#
The straightforward solution would be to simply extend our grammar with more natural data.
In order to obtain more natural first and last names in our ongoing names/age example, for instance, we could simply extend the persons.fan rule
<first_name> ::= <name>
to
<first_name> ::= <name> | "Alice" | "Bob" | "Eve" | "Pablo Diego José Francisco de Paula Juan Nepomuceno Cipriano de la Santísima Trinidad"
and extend the rule
<last_name> ::= <name>
to, say,
<last_name> ::= <name> | "Doe" | "Smith" | "Ruiz Picasso"
then we can have Fandango create names such as
Eve Ruiz Picasso,172427221
Dqsnqrxaxmsvcqbtdl Ruiz Picasso,820755977200082
Alice Smith,95481211051492511610
Bob Ruiz Picasso,41815288354493
Bob Ruiz Picasso,6077969202954066
Xqopiladfa Smith,21675512441352611
Bob Doe,3525396611617800
Bob Ruiz Picasso,75276302123799
Kkkvgfrmuvd Hlcibuqksnof,0
Alice Smith,24
Note that we still get a few “random” names; this comes as specified by our rules. By default, Fandango picks each alternative with equal likelihood, so there is a 20% chance for the first name and a 25% chance for the last name to be completely random.
Note
Future Fandango versions will have means to control these likelihoods.
Using Fakers#
Frequently, there already are data sources available that you’d like to reuse – and converting each of their elements into a grammar alternative is inconvenient. That is why Fandango allows you to specify a data source as part of the grammar - as a Python function that supplies the respective value. Let us illustrate this with an example.
The Python faker module is a great source of “natural” data, providing “fake” data for names, addresses, credit card numbers, and more.
Here’s an example of how to use it:
from faker import Faker
fake = Faker()
for i in range(10):
print(fake.first_name())
Tamara
Timothy
Tracey
Nicole
Christopher
Leslie
Paul
John
Diane
Brad
Have a look at the faker documentation to see all the fake data it can produce.
The methods first_name() and last_name() are what we need.
The idea is to extend the <first_name> and <last_name> rules such that they can draw on the faker functions.
To do so, in Fandango, you can simply extend the grammar as follows:
<first_name> ::= <name> := fake.first_name()
The generator := EXPR assigns the value produced by the expression EXPR (in our case, fake.first_name()) to the symbol on the left-hand side of the rule (in our case, <first_name>).
Important
Whatever value the generator returns, it must be parseable by at least one of the alternatives in the rule. Our example works because <first_name> matches the format of fake.first_name().
Tip
If your generator returns a string, a “match-all” rule such as
<generated_string> ::= <char>* := generator()
will fit all possible string values returned by generator().
We can do the same for the last name, too; and then this is the full Fandango spec persons-faker.fan:
from faker import Faker
fake = Faker()
include('persons.fan')
<first_name> ::= <name> := fake.first_name()
<last_name> ::= <name> := fake.last_name()
Note
The Fandango include() function includes the Fandango definitions of the given file.
This way, we need not repeat the definitions from persons.fan and only focus on the differences.
Note
Python code (from Python files) that you use in a generator (or in a constraint, for that matter) needs to be imported.
Use the Python import features to do that.
Important
include(FILE) is for Fandango files, import MODULE is for Python modules.
This is what the output of the above spec looks like:
Kimberly Huff,7057340
William Sanchez,74784639
Richard Weaver,115
Matthew Reyes,74
Shannon Harris,485405
Jane Taylor,7038992841351
Daniel Jones,00
Donna Mcmillan,69733656082906
Stacy Santos,122346223943861184
John Rogers,00312120984352307051
You see that all first and last names now stem from the Faker library.
Number Generators#
In the above output, the “age” fields are still very random, though. With generators, we can achieve much more natural distributions.
After importing the Python random module:
import random
we can make use of dozens of random number functions to use as generators.
For instance, random.randint(A, B) return a random integer \(n\) such that \(A \le n \le B\) holds.
To obtain a range of ages between 25 and 35, we can thus write:
<age> ::= <digit>+ := str(random.randint(25, 35));
Important
All Fandango generators must return strings or byte strings.
Use
str(N)to convert a number N into a stringUse
bytes([N])to convert numbers N into bytes.
The resulting Fandango spec file produces the desired range of ages:
Joshua Cruz,27
Jessica Sellers,29
Jacqueline Wallace,26
Shane Kelly,34
Jeffrey Richards,33
Brianna Larson,28
Lori Martin,28
John Carey,34
Michael Yang,32
Brian Cooper,28
We can also create a Gaussian (normal) distribution this way:
<age> ::= <digit>+ := str(int(random.gauss(35)));
random.gauss() returns floating point numbers.
However, the final value must fit the given symbol rules (in our case, <digit>+), so we convert the age into an integer (int()).
These are the ages we get this way:
Melanie Robertson,35
Walter Jensen,37
Gordon Young,34
Norman Patel,35
Tracy Jones,34
Brent Nelson,36
Shari Webb,33
Rachel Bailey,33
Mark Diaz,36
Victor Rodriguez,34
In Statistical Distributions, we will introduce more ways to obtain specific distributions.
Generators and Random Productions#
In testing, you want to have a good balance between common and uncommon inputs:
Common inputs are important because they represent the typical usage, and you don’t want your program to fail there;
Uncommon inputs are important because they uncover bugs you may not find during alpha or beta testing, and thus avoid latent bugs (and vulnerabilities!) slipping into production.
We can easily achieve such a mix by adding rules such as
<first_name> ::= <name> | <natural_name>
<natural_name> ::= <name> := fake.first_name()
With this, both random names (<name>) and natural names (<natural_name>) will have a chance of 50% to be produced:
Jeremy Durham,371461947241
Lvurfcddmo Ford,803000406030182962
William Marshall,991779372758866128
Wtvlucwqggcwglfgosbcq Ramos,58297867
Liwghmafopo Miller,918502
Qpoeni Shea,57078
Uelh Phillips,14067
Yghldorvppcqpxok Small,88205412659150278
Paul Mcguire,242
Dakota Cervantes,0355863565
Combining Generators and Constraints#
When using a generator, why does one still have to specify the format of the data, say <name>?
This is so for two reasons:
It allows the Fandango spec to be used for parsing existing data, and consequently, mutating it;
It allows additional constraints to be applied on the generator result and its elements.
In our example, the latter can be used to further narrow down the set of names.
If we want all last names to start with an S, for instance, we can invoke Fandango as
$ fandango fuzz -f persons-faker.fan -c '<last_name>.startswith("S")' -n 10
and we get
Steven Spencer,2258717245935636
Peter Shaw,0109968555140
Kyle Simmons,8583169
Jasmine Sloan,6316336073444959147
Kenneth Shannon,9232367010590813932
April Scott,294956
Nicholas Smith,99756596688524250
Kevin Smith,1733
Michael Snyder,27820
Abigail Stewart,173349802115346
When to use Generators, and when Constraints#
One might assume that instead of a generator, one could also use a constraint to achieve the same effect. So, couldn’t one simply add a constraint that says
<first_name> == fake.first_name()
Unfortunately, this does not work.
The reason is that the faker returns a different value every time it is invoked, making it hard for Fandango to solve the constraint. Remember that Fandango solves constraints by applying mutations to a population, getting closer to the target with each iteration. If the target keeps on changing, the algorithm will lose guidance and will not progress towards the solution.
Likewise, in contrast to our example in Combining Generators and Constraints, one may think about using a constraint to set a limit to a number, say:
$ fandango fuzz -f persons-faker.fan -c '<last_name>.startswith("S")' -c 'int(<age>) >= 25 and int(<age>) <= 35' -n 10
This would work:
Shannon Smith,033
Michael Santiago,033
Michael Smith,033
Brenda Stone,033
Ian Salazar,033
Ian Smith,033
Kaitlin Salazar,033
Kaitlin Stone,033
Shannon Stone,033
John Stone,033
But while the values will fit the constraint, they will not be randomly distributed. This is because Fandango treats and generates them as strings (= sequences of digits), ignoring thur semantics as numerical values. To obtain well-distributed numbers from the beginning, use a generator.
If a value to be produced is random, it should be added via a generator.
If a value to be produced is constant, it can go into a generator or a constraint.
If a value to be produced must be part of a valid input, it should go into a constraint. (Constraints are checked during parsing and production.)