Testing is an Unsolved Problem

State Space and Complexity

Quick test code for f(x)
Simple Test code will run ‘forever’…

Formal Verification

  • Theorem Proving — using logic and axioms to reason about correctness.
  • Model Checking — using tools to verify if a model satisfies its specification.

Turing and the Halting Problem

Complexity and Chaos Theory

What doest it mean?

--

--

--

blending humans and machines. co-founder @testdotai eater of #tunamelts

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

Kotlin and the rise of Multiplatform

Bounds checking, leak checks and race conditions check with gcc sanitize

Let Your Vote Be Heard! — 🐧Penguin Party Fish🐟 Can Now Be Used for Voting!

What’s Hacktoberfest and How to Contribute to it?

Introduction to Jupyter Notebooks

Lambda Expressions in Python

Pre-order traversal of binary tree (iterative approach)

The Best Video Walls For The Security Operations Center?

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
jason arbon

jason arbon

blending humans and machines. co-founder @testdotai eater of #tunamelts

More from Medium

From zero (tests) to hero

Feeling lost as a new Quality Engineer (QE)?

Climb Up To Pyramid And Stop At The Second Floor

Software Quality & Craftsmanship at ManoMano