Para obtener una respuesta completa a esta pregunta, suprimiría el pensamiento sobre la "confiabilidad del código" y en su lugar pensaría en la "confiabilidad del diseño", porque el código es solo la expresión final del diseño.
Entonces, comience con los requisitos y escriba e inspeccione esos. Si no tiene un documento de requisitos, señale una línea de código aleatoria y pregúntese "¿por qué se necesita esa línea?" La necesidad de cualquier línea de código eventualmente debería ser rastreable a un requisito, incluso si es tan simple / obvio como "la fuente de alimentación emitirá 5VDC si la entrada está entre 12-36VDC". Una forma de pensar en esto es que si esa línea de código no se puede rastrear hasta un requisito, entonces, ¿cómo sabe que es el código correcto o que es necesario?
A continuación, verifique su diseño. Está bien si está completamente en el código (por ejemplo, en los comentarios), pero eso hace que sea más difícil saber si el código está haciendo lo que realmente significa. Por ejemplo, el código puede tener una línea que dice output = 3 * setpoint / (4 - (current * 5));
¿Es current == 4/5
una entrada válida que podría causar un bloqueo? ¿Qué se debe hacer en este caso para evitar la división por cero? ¿Evita la operación por completo o degrada la salida en su lugar? Tener una nota general en su documento de diseño sobre cómo manejar estos casos extremos hace que sea mucho más fácil verificar el diseño a un nivel superior. Entonces, ahora la inspección del código es más fácil porque se trata de verificar si el código implementa ese diseño correctamente.
Junto con eso, la inspección del código debe verificar si hay errores comunes que su IDE no detecta (está utilizando un IDE, ¿verdad?) Como '=' cuando quiso decir '==', faltan llaves que cambian el significado de 'if 'declaraciones, punto y coma donde no deberían estar, etc.
Mientras escribo esto, se me ocurre que es realmente difícil resumir años de capacitación / experiencia en calidad de software en una sola publicación. Escribo código para dispositivos médicos y lo anterior es un resumen extremadamente simplificado de cómo lo abordamos.