Tja der Punkt ist wie bereits mehrfach angesprochen der unterschied zwischen review und test. Bei einem review wird der code überflogen, mehr oder weniger in die tiefe, bei einem test werden testszenarien etc. Entwickelt und Auf den code/binary angewandt.

Ein review checkt ausschliesslich formales, d.h. du könntest auch einen treiber für nicht existierende hw schreiben, wenn es nichts kaputt macht und ordentlich aussieht wird es durchkommen...

Falls es dich mal interessiert schau dir mal RTCA DO-178B an, danach werden sw für avionik Geräte geschrieben je nach kritikalität von level e (ausfall ist egal) bis level a (ausfall führt zum verlust des Flugzeugs) gibt es da erhebliche Unterschiede. Im bahnbereich gibt es eine EN wo ebenfalls nach ausfall Auswirkungen unterschiedlich geprüft wird.