Técnicas para reduzir bugs de software (Instituto Nacional de Padrões e Tecnologia (NIST)

O documento centra-se em cinco conjuntos de abordagens, ferramentas e conceitos que podem ajudar a melhorar a qualidade dos programas. Apesar dos títulos em um jargão pesado, cada conjunto possui uma ideia, um princípio abrangente, que não é difícil de captar.

Em termos mais próximos do senso comum, essas abordagens incluem:

Usar linguagens de programação adequadas para a tarefa que o código precisará executar.
Usar ferramentas matemáticas para verificar se o código funcionará corretamente.
Dividir os programas em partes modulares de modo que, se uma parte falhar, o programa inteiro não trava.
Conectar ferramentas de análise de código que atualmente operam isoladamente.
Desenvolver táticas que possam ser alteradas e evoluir para proteger o código que seja alvo de ataques cibernéticos.
Também são fornecidas dezenas de referências com links para aprofundamento de cada tema específico citado no relatório.