https://github.com/potatosalad/elixirconf2018

Sustainable Testing
https://github.com/potatosalad/elixirconf2018

elixir erlang property-based-testing property-testing testing

Last synced: about 1 year ago
JSON representation

Sustainable Testing

• Host: GitHub
• URL: https://github.com/potatosalad/elixirconf2018
• Owner: potatosalad
• Created: 2018-09-01T16:53:17.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2019-05-14T12:35:15.000Z (about 7 years ago)
• Last Synced: 2025-03-26T15:48:08.309Z (about 1 year ago)
• Topics: elixir, erlang, property-based-testing, property-testing, testing
• Language: Elixir
• Homepage: https://gitpitch.com/potatosalad/elixirconf2018
• Size: 4.51 MB
• Stars: 7
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Sustainable Testing

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

[![GitPitch](https://gitpitch.com/assets/badge.svg)](https://gitpitch.com/potatosalad/elixirconf2018/master?grs=github&t=white) [![Build Status](https://travis-ci.org/potatosalad/elixirconf2018.svg?branch=master)](https://travis-ci.org/potatosalad/elixirconf2018)


YouTube: ElixirConf 2018 - Sustainable Testing - Andrew Bennett

This repository contains the sources used for the [“Sustainable Testing”](https://web.archive.org/web/20180901155638/https://elixirconf.com/2018/speakers/andrew-bennett) presentation given at ElixirConf 2018 on Friday, September 7, 2018 in Bellevue, Washington.

Feel free to [file an issue](https://github.com/potatosalad/elixirconf2018/issues) to this repository if you have any questions related to the talk.

The presentation slides are available at [gitpitch.com/potatosalad/elixirconf2018](https://gitpitch.com/potatosalad/elixirconf2018) and as [a PDF](https://cdn.rawgit.com/potatosalad/elixirconf2018/master/presentation.pdf).

### Applications

 * [example](https://github.com/potatosalad/elixirconf2018/tree/master/apps/example) — Example of unit testing with [ExUnit](https://hexdocs.pm/ex_unit/ExUnit.html) and [PropCheck](https://github.com/alfert/propcheck).

 * [pensieve](https://github.com/potatosalad/elixirconf2018/tree/master/apps/pensieve) — Example of FSM and StateM testing with [PropCheck](https://github.com/alfert/propcheck).

 * [share](https://github.com/potatosalad/elixirconf2018/tree/master/apps/share) — Example “Vehicle Sharing” system using [Ecto](https://github.com/elixir-ecto/ecto), [Absinthe](https://github.com/absinthe-graphql/absinthe), and StateM testing with [PropCheck](https://github.com/alfert/propcheck).

### Resources

 * [Common Test: Why Test?](http://erlang.org/doc/apps/common_test/why_test_chapter.html)

 * [”Property-Based Testing with PropEr, Erlang, and Elixir“ by Fred Hebert](https://propertesting.com/)

 * [PropCheck - Property based testing for Elixir](https://github.com/alfert/propcheck)

##### Software Quality Related

 * [“Abstracting the Geniuses Away from Failure Testing” by Peter Alvaro and Severine Tymon](https://queue.acm.org/detail.cfm?id=3155114)

 * [ligurio/awesome-software-quality](https://github.com/ligurio/awesome-software-quality)

   * [Learn TLA+](https://learntla.com/)

   * [NASA Public Lessons Learned System](https://llis.nasa.gov/)

   * [Principles of Model Checking](https://pdfs.semanticscholar.org/f126/9591359fddc20f95da10c7bd4c054080b447.pdf)

 * [Cem Kaner, J.D., Ph.D. Publications](https://kaner.com/?page_id=7)

   * [The Impossibility of Complete Testing](https://kaner.com/pdfs/imposs.pdf)