The Essence of Testing
summary
Nine years of ScalaTest work and a month with one million downloads drives a rethink: tests become single predicate-logic statements (PAQ) expressed with forAll and quantifiers, and ScalaTest adds composable assertions that return a Yes/No fact instead of always throwing. New features in the 4.0 branch include will matchers (returning facts), implies/isEquivalent operators, exists, and richer error diagrams so large, composable specifications and property checks produce precise failing observations rather than opaque exceptions.
AI-written summary · about
chapters (12)
- 0:00Start
- 1:45Axiomatic Basis for Computer Programming
- 2:16Purpose of this Paper
- 4:40Preconditions
- 8:15Assertions
- 9:20Square Root Method
- 19:11Predicate Logic
- 19:42Boolean Logic
- 25:15The Assertion Language in Eiffel Is Only Part of the Power of the Full Predicate Calculus
- 28:50Type Assertion
- 37:19Diagram Assertions
- 42:54Comparing Tdd with Design by Contract
related talks
31mSCALATEST: YOU'RE ASSERTING IT WRONG
48mPROBING THE UNPROVABLE AND PROVING THE IMPROBABLE
44mMonads for Testers
01h 00mA New Approach to Testing with ScalaCheck / Property Based Testing
46mTesting in the world of Functional Programming
02h 46mThe Joy of Testing
46mAsync Testing on the JVM and Scala.js
44mAsync Testing on the JVM and Scala.js