Varied proposals

[Pablo Costas Sánchez]

Hello there!

My name is Pablo Costas Sánchez and I am a final year undergraduate student from A Coruña, Spain. I discovered Erlang from having to use it 

on a course about Concurrency and Parallelism and later learnt Elixir from another course, which Laura M. Castro teaches, Software Architecture. 

I've also learnt about Property-Based Testing from yet another course of hers, Software Verification and Validation, 

and thanks to having my final undergraduate project related to PropEr.

I've been looking at the proposals (both the ones in the wiki and those which haven't been posted there yet), 

and I'm mainly interested on the one about implementing a tool to either generate code from PlantUML or viceversa, 

and since Laura showed interest on mentoring that proposal and she's a professor at my university, 

I already talked with her a bit about it to see how to approach it (hope that's okay!). 

I'm also otherwise interested in the following proposals, about which I would be very much happy to discuss at a later time to shorten this email:

• Relating to AntidoteDB:
• Idea #1: Support for Elixir
  
• Idea #2: Improving coverage for dialyzer and unit tests
  
• Idea #3: Property-based testing for Antidote
• Relating to riak_core_lite:
  
• Idea #2: Testing

Thanks you in advance.

Best regards,

Pablo Costas.

[Albert Schimpf]

Hi, thanks for your interest!

Property-based testing in riak_core_lite would involve verifying properties of the claim algorithm, which is used to distribute work onto vnodes and the ring structure in general (membership, handoff, ring convergence, etc.). There are existing tests, but they are written for QuickCheck. This makes them less accesible to the open source community. The idea would be to write property-based tests for riak_core_lite and use the existing tests as help/documentation.

Alternatively, we are open to suggestions that verifying riak_core_lite. Are there any other tools/methods that you want to apply or want to learn and try to apply?