Re: Ada and software testing

[Paul Rubin <no.email@nospam.invalid>]

Gautier write-only address <gautier_niouzes@hotmail.com> writes:
> You can combine the power of fuzzing with the power of Ada's strong
> typing, implying standard Ada run-time checks (e.g. range checks),
> Read the following article for details:
> https://blog.adacore.com/running-american-fuzzy-lop-on-your-ada-code

Thanks, this is pretty interesting.  He runs AFL on three Ada programs:
Zip-Ada, and Ada libraries for reading YAML and JSON.  It finds bugs in
all three, though not very many.  It fits my picture that Ada programs
are less susceptible than C programs are, to the types of bugs that
fuzzing uncovers.

I do have to say that errors thrown by runtime checks on range types are
still program bugs, in the sense that they are type errors, that in
principle we should want to catch at compile time.