Čo je zásobník v kontexte programovania a testovania?

Heap (halda) v kontexte programovania je oblasť dynamickej pamäti, ktorá je počas behu programu pridelená na uloženie objektov, ktorých veľkosť môže byť počas kompilácie neznáma.

Z pohľadu testovania je dôležité pochopiť heap, pretože:

• Testovanie výkonu: Úniky pamäte v halde môžu spôsobiť spomalenie aplikácie alebo jej pád.
• Testovanie stability: Pretečenie haldy (Heap Overflow) alebo nesprávne riadenie pamäte (napríklad dvojité uvoľnenie) môže spôsobiť chyby segmentácie.
• Ladenie: Analýza obsahu haldy môže pomôcť odhaliť príčiny nesprávneho stavu objektov alebo únikov pamäte.
• Použitie nástrojov: Profilovače a nástroje na analýzu pamäte (napríklad Valgrind, Memory Analyzer pre Java) aktívne pracujú s informáciami o halde.

Hlavné vlastnosti haldy:

• Dynamické prideľovanie: Pamäť je explicitne pridelená a uvoľnená programátorom (napríklad malloc/free v C/C++) alebo automaticky garbage collectorom (napríklad v Jave, Pythone).
• Neusporiadané: Na rozdiel od zásobníka, prvky v halde nie sú uložené sekvenčne; ich adresy môžu byť rozptýlené.
• Životnosť: Objekt v halde žije, pokiaľ na ne existujú odkazy alebo pokiaľ nie sú explicitne uvoľnené.

Príklady problémov súvisiacich s haldou, ktoré je možné odhaliť počas testovania:

• Úniky pamäte: Pamäť pridelená v halde, ktorá sa už nepoužíva, ale nie je uvoľnená, vedie k postupnému vyčerpaniu dostupnej pamäte.
• Dvojité uvoľnenie: Pokus o uvoľnenie toho istého bloku pamäte viackrát.
• Použitie po uvoľnení: Pokus o prístup k pamäti v halde po jej uvoľnení.
• Pretečenie haldy: Zápis dát mimo hraníc prideleného bloku pamäte v halde, čo môže prepísať susedné dáta alebo meta informácie o halde.