Project AntidoteDB: Property-based testing & unit-test coverage

[Pascal Dierich]

Hi :)

My name is Pascal Dierich and I am an undergraduate CS student at TU Berlin.

I'm really interested in the AntidoteDB project ideas, specifically the Property-based testing and
dialyzer / unit-test coverage and would like to apply to them.

Ive gained some knowledge about testing through the ISTQB Certified Tester certificate/course
and am studying Erlang, Elixir, the BEAM and OTP a while now even though I'm missing practical experience.

As I'm not the only one applying to this project, I want to make clear I would be more than happy to
work in a group as well!


Many thanks in advance :)

Best regards,

Pascal Dierich (pascaldierich.com)

[Annette Bieniusa]

Hi Pascal,

thank you very much for getting in contact!

Property-based testing is a fascinating approach and has many interesting aspects to it.

A nice starter for Property-based testing is the in-depth introduction of Erlang's Proper by Fred Hebert: https://propertesting.com

If I understand the GSoC setup correctly, we will eventually learn about the successful applicants and make then accordingly decision on using synergies.

Best regards,

Annette Bieniusa

[Annette Bieniusa]

Sorry for the confusion, I read up the rules and steps and timeline.

@Pascal: On the AntidoteDB Github repo, you can have a look at our codebase and the tests that we already developed:

https://github.com/AntidoteDB/antidote/tree/master/test

The idea would be to develop properties for a selection of modules and test them using Proper.

For dialyzer, we would be interested in refining some of the types we came up with and make it more bullet-proof. This might involve also some code adaptations and simplification on the code base.

If you have questions on specific aspects, don't hesitate to contact me (https://softech.cs.uni-kl.de/homepage/de/staff/AnnetteBieniusa/) - we will help you in refining your proposal idea :)

Best regards,

Annette