@djsundog I used to work in aerospace and safety-critical software. The idea of slop-coded control systems software is TERRIFYING to me.
No amount of testability and requirements tracing can eliminate *all* errors. I must be able to trust that the engineers who write the code are conscientious and are genuinely trying to write the simplest, most correct code possible.