A análise estática de código, apresentada na fase de desenvolvimento, está mais relacionada à verificação do produto que à sua validação.