Episode 474: Paul Butcher on Fuzz Testing

Ada's Relevance

The Ada programming language remains highly relevant in domains requiring mission-critical, safety-critical, or security-critical applications. Paul Butcher highlights its active development and widespread use in industries like defense, automotive, and aerospace 1. Ada's strong typing and runtime checks are integral to its reliability, making it a preferred choice for systems where failure is not an option. Butcher explains, "Ada has a very rich runtime testing capability that's built into the semantics of the language" 1.

   

Fuzz Testing in Ada

Fuzz testing strategies vary significantly between Ada and languages like C and C++. Paul Butcher notes that Ada's design by contract capability enhances fuzz testing by allowing pre and post condition contracts on subprograms 2. This contrasts with C, where assertions are used to detect anomalies. Butcher states, "If you're fuzz testing a C application, you could write, you could put assertions in there to say if this happens, raise this assertion, the fuzz test will pick that up as an anomaly" 2.