Your submission falsely implies that unit tests create reliable software. But that aside... Avionics software is subjected to multiple rounds of peer review (o

Your submission falsely implies that unit tests create reliable software. But that aside... Avionics software is subjected to multiple rounds of peer review (often by different companies), integration testing, and in some cases multiple different implementations are developed and black box tested against each other for different outputs given the same inputs.