Improve Your Tests with Makina - Property-Based Testing for Complex Systems

Explore how to improve software testing using Makina, a new test library for Elixir, in this conference talk from Code BEAM Europe 2022. Learn about the challenges of Property-Based Testing (PBT) and how Makina addresses them by providing a more productive tool for writing test models. Discover the design of Makina and its compatibility with PropEr and QuickCheck state-machine models. Gain insights into how the library enables efficient testing of smart contracts on the Ethereum blockchain. The talk covers problems with PBT models, introduces Makina's language, explains Ethereum blockchain concepts, demonstrates mining blocks, shows how to fix models, and concludes with running tests. Ideal for Elixir and Erlang developers interested in advanced testing techniques and Property-Based Testing.

00:00 - - Problems with PBT Models
02:50 - - Makina: The Language
04:50 - - Ethereum Blockchain
05:32 - - Mining Blocks
17:11 - - Fixing the Models
20:43 - - Running the Test