How programmers make sure that their software is correct

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • proper

    PropEr: a QuickCheck-inspired property-based testing tool for Erlang

  • > There are generally two main categories of tests. There are unit tests [and] Integration tests

    Later on there is a mention of fuzzing. However, there is something better called property tests. Where the on failure there is automatic "shrinking" of input complexity to find a minimally failing test scenario.

    For Erlang and Elixir I recommend https://propertesting.com/ book and the PropEr test framework https://github.com/proper-testing/proper.

    As an example, here is the use of an advanced feature called targeted property based testing: https://proper-testing.github.io/tutorials/PropEr_testing_wi... used to test a labyrinth.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Laura Castro on Property-Based Testing in Elixir

    5 projects | dev.to | 3 Sep 2021
  • An Introduction to Mocking Tools for Elixir

    7 projects | dev.to | 18 Apr 2023
  • KATT (Klarna API Testing Tool) Is an HTTP-Based API Testing Tool for Erlang

    2 projects | news.ycombinator.com | 25 Nov 2022
  • A CRUD journey in Haskell, part I, introduction

    2 projects | dev.to | 3 Aug 2021
  • Modern React testing, part 5: Playwright

    5 projects | dev.to | 6 May 2024