O que é a depuração com asserções? Permite o mapeamento de erros para sintomas internos, pois elas indicam pontos do programa nos quais ocorrem di...

A depuração com asserções é uma técnica utilizada na programação para identificar erros e discrepâncias em relação à especificação do programa. Ela consiste em inserir declarações de asserção no código, que são verificações lógicas que devem ser verdadeiras em determinados pontos do programa. Essas asserções ajudam a identificar e mapear erros, pois indicam os pontos onde ocorrem as discrepâncias. Quanto ao custo em termos de espaço e tempo de execução dos programas anotados com asserções, ele é considerado insignificante, o que torna viável a utilização dessa técnica em sistemas reais. Portanto, a alternativa correta é: a) A afirmativa está correta.