When I first started programming, any program that took physical input (which had usually been keyed very accurately by reliable young women) had to pass a test.
It was fed its own machine code, backwards. It was expected to reach a normal EOJ, (albeit with a significant output of error messages). That seems like a reasonable standard of reliability. (Apologies for not deleting quoted text - damn' Gmail defaults.)
