Para uma resposta completa a essa pergunta, eu suprimiria o pensamento sobre "confiabilidade do código" e, em vez disso, pensaria em "confiabilidade do design", porque o código é apenas a expressão final do design.
Portanto, comece com os requisitos e escreva e inspecione-os. Se você não possui um documento de requisitos, aponte para uma linha aleatória de código e pergunte-se "por que essa linha é necessária?" A necessidade de qualquer linha de código deve, eventualmente, ser rastreável a um requisito, mesmo que seja tão simples / óbvio quanto "a fonte de alimentação produzirá 5VDC se a entrada estiver entre 12 e 36VDC". Uma maneira de pensar sobre isso é que, se essa linha de código não pode ser rastreada para um requisito, como você sabe que é o código certo ou que é necessário?
Em seguida, verifique seu design. Tudo bem se estiver completamente no código (por exemplo, nos comentários), mas isso torna mais difícil saber se o código está fazendo o que realmente significa. Por exemplo, o código pode ter uma linha que lê output = 3 * setpoint / (4 - (current * 5));
Écurrent == 4/5
uma entrada válida que pode causar uma falha? O que deve ser feito neste caso para evitar a divisão por zero? Você evita a operação completamente ou diminui a saída? Ter uma observação geral em seu documento de design sobre como lidar com casos extremos torna muito mais fácil verificar o design em um nível superior. Portanto, agora a inspeção de código é mais fácil porque é uma questão de verificar se o código implementa corretamente esse design.
Junto com isso, a inspeção de código deve verificar se há erros comuns que seu IDE não captura (você está usando um IDE, certo?) Como '=' quando você quis dizer '==', faltando chaves que mudam o significado de 'if ', ponto e vírgula onde não deveriam estar, etc.
Enquanto escrevo isso, me ocorre que é realmente difícil resumir anos de treinamento / experiência em qualidade de software em um único post. Escrevo código para dispositivos médicos e o exposto acima é um resumo extremamente simplificado de como o abordamos.