Space starts with quality long before testing. They do formal mathematical proofs of their code. They spend a lot more time in code review. Those are just the things I know of without looking it up, I know there are other things they do.