I like this analogy. Another one I have used is double-entry bookkeeping.
I encounter that regularly, as I often use aviation analogies to guide me in programming. D's design has been significantly influenced by my aerospace experiences.
That being said, I myself do prefer types over tests. I just don't know of a better analogy...