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

GSOC’21@OpenMRS | Coding Period | Week 7

Unleash vs. LaunchDarkly: A Look at Feature Toggling Solutions

An Antidote to Coding Overload

Serverless and Step-Functions at DAZN

The Unexpected Kubernetes: Part 1: PV, PVC, Storage Class, and Provisioner

The Strategy Behind our Denodo Partner Program

Pagevamp DevOps: Redefining Product Innovation & Engineering Culture

Listening to the Home Assistent Websocket API with Python

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

log4j Vulnerability: AEM is Safe Out-of-the-Box

NO Quality Assurance, NO ACCEPTANCE!

Fast Execution Cycles of UI Automation

Is Protractor a dying framework?