Sustainable Testing

ElixirConf 2018 — 4-7 September, 2018 — Bellevue, Washington

YouTube: ElixirConf 2018 - Sustainable Testing - Andrew Bennett

This repository contains the sources used for the “Sustainable Testing” presentation given at ElixirConf 2018 on Friday, September 7, 2018 in Bellevue, Washington.

Feel free to file an issue to this repository if you have any questions related to the talk.

The presentation slides are available at gitpitch.com/potatosalad/elixirconf2018 and as a PDF.

Applications

• example — Example of unit testing with ExUnit and PropCheck.
• pensieve — Example of FSM and StateM testing with PropCheck.
• share — Example “Vehicle Sharing” system using Ecto, Absinthe, and StateM testing with PropCheck.

Resources

• Common Test: Why Test?
• ”Property-Based Testing with PropEr, Erlang, and Elixir“ by Fred Hebert
• PropCheck - Property based testing for Elixir

Software Quality Related

• “Abstracting the Geniuses Away from Failure Testing” by Peter Alvaro and Severine Tymon
• ligurio/awesome-software-quality
  • Learn TLA+
  • NASA Public Lessons Learned System
  • Principles of Model Checking
• Cem Kaner, J.D., Ph.D. Publications
  • The Impossibility of Complete Testing