Co je to zásobník v kontextu programování a testování?

Heap (halda) v kontextu programování je oblast dynamické paměti, která je při běhu programu přidělována pro ukládání objektů, jejichž velikost může být při kompilaci neznámá.

Z pohledu testování je důležité pochopit heap, protože:

• Testování výkonu: Úniky paměti v haldě mohou způsobit zpomalení aplikace nebo její pád.
• Testování stability: Přetečení haldy (Heap Overflow) nebo nesprávná správa paměti (například dvojité uvolnění) může způsobit chyby segmentace.
• Ladění: Analýza obsahu haldy může pomoci odhalit příčiny nesprávného stavu objektů nebo úniků paměti.
• Použití nástrojů: Profilovače a nástroje pro analýzu paměti (například Valgrind, Memory Analyzer pro Java) aktivně pracují s informacemi o haldě.

Hlavní vlastnosti haldy:

• Dynamické přidělení: Paměť je explicitně přidělena a uvolněna programátorem (například malloc/free v C/C++) nebo automaticky garbage collectorem (například v Javě, Pythonu).
• Nepořádanost: Na rozdíl od zásobníku, prvky v haldě nejsou uloženy sekvenčně; jejich adresy mohou být rozptýlené.
• Životnost: Objekty v haldě žijí, dokud na ně existují odkazy nebo dokud nejsou explicitně uvolněny.

Příklady problémů souvisejících s haldou, které lze odhalit při testování:

• Úniky paměti: Alokovaná paměť v haldě, která již není používána, ale není uvolněna, což vede k postupnému vyčerpání dostupné paměti.
• Dvojité uvolnění: Pokus o uvolnění stejného bloku paměti vícekrát.
• Použití po uvolnění: Pokus o přístup k paměti v haldě po jejím uvolnění.
• Přetečení haldy: Zápis dat mimo hranice alokovaného bloku v haldě, což může přepsat sousední data nebo meta informace o haldě.