What is the state of the art test frameworks and&#x2F;or patterns that mission critical companies follow nowadays? It seems that SpaceX uses C++ for most everything, but I haven&#x27;t been able to find anything about how they or other modern mission-critical software companies maintain, what I assume is, well-tested, near bug-free code?
Ask HN: How do SpaceX/NASA/other maintain high code quality?