O que é uma pilha no contexto de programação e testes?

O heap (montão) no contexto da programação é uma área de memória dinâmica alocada durante a execução do programa para armazenar objetos, cujo tamanho pode ser desconhecido na fase de compilação.

Do ponto de vista dos testes, compreender o heap é importante para:

• Testes de desempenho: Vazamentos de memória no heap podem levar a uma desaceleração da aplicação ou a sua falha.
• Testes de estabilidade: Overflow do heap ou gestão incorreta de memória (por exemplo, libertação dupla) podem causar erros de segmentação.
• Depuração: Analisar o conteúdo do heap pode ajudar a identificar causas de estados incorretos de objetos ou vazamentos de memória.
• Uso de ferramentas: Perfis e ferramentas de análise de memória (como Valgrind, Memory Analyzer para Java) trabalham ativamente com informações do heap.

Características principais do heap:

• Alocação dinâmica: A memória é alocada e libertada explicitamente pelo programador (por exemplo, malloc/free em C/C++) ou automaticamente pelo coletor de lixo (por exemplo, em Java, Python).
• Não ordenado: Ao contrário da pilha, os elementos no heap não são armazenados sequencialmente; os seus endereços podem estar dispersos.
• Tempo de vida: Os objetos no heap vivem até que existam referências a eles ou até serem explicitamente libertados.

Exemplos de problemas relacionados com o heap que podem ser detetados durante os testes:

• Vazamentos de memória (Memory Leaks): Memória alocada no heap que já não é usada, mas não é libertada, levando a um esgotamento progressivo da memória disponível.
• Liberação dupla (Double Free): Tentar libertar o mesmo bloco de memória no heap várias vezes.
• Uso após libertação (Use After Free): Tentar aceder à memória no heap após ela ter sido libertada.
• Overflow do heap (Heap Overflow): Escrever dados fora dos limites do bloco de memória alocado no heap, o que pode sobrescrever dados vizinhos ou informações meta do heap.