Para obtener una respuesta completa a esta pregunta, suprimiría la idea de "confiabilidad del código" y, en cambio, pensaría sobre "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 requerimiento, incluso si es tan simple / obvio como "la fuente de alimentación debe generar 5VDC si la entrada está entre 12-36VDC". Una forma de pensar acerca de esto es que si esa línea de código no se puede rastrear a un requisito, ¿cómo sabes que es el código correcto o que es necesario?
A continuación, verifica tu 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 lee 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? Tener una nota general en su documento de diseño sobre cómo manejar estos casos de borde hace que sea mucho más fácil verificar el diseño a un nivel superior. Por lo tanto, ahora la inspección del código es más fácil porque es una cuestión de verificar si el código implementa correctamente ese diseño.
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 '==', faltas que cambian el significado de declaraciones 'if', puntos y coma donde no deberían estar, etc.
Mientras escribo esto, se me ocurre que es realmente difícil resumir los 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.