Šta je stek u kontekstu programiranja i testiranja?

Heap (heš) u kontekstu programiranja je oblast dinamičke memorije koja se dodeljuje tokom izvršavanja programa za skladištenje objekata, čija veličina može biti nepoznata u fazi kompajliranja.

Sa stanovišta testiranja, razumevanje heša je važno za:

• Testiranje performansi: Curanje memorije u hešu može dovesti do usporavanja rada aplikacije ili njenog pada.
• Testiranje stabilnosti: Prelivanje heša (Heap Overflow) ili netačno upravljanje memorijom (npr. dvostruko oslobađanje) može izazvati greške segmentacije.
• Otklanjanje grešaka: Analiza sadržaja heša može pomoći u otkrivanju uzroka neispravnog stanja objekata ili curenja memorije.
• Korišćenje alata: Profileri i alati za analizu memorije (kao što su Valgrind, Memory Analyzer za Javu) aktivno rade sa informacijama o hešu.

Glavne karakteristike heša:

• Dinamička alokacija: Memorija se eksplicitno dodeljuje i oslobađa od strane programera (npr. malloc/free u C/C++) ili automatski od strane sakupljača smeća (npr. u Javi, Pythonu).
• Neraspoređeni: Za razliku od steka, elementi u hešu se ne čuvaju sekvencijalno; njihovi adrese mogu biti rasute.
• Vreme trajanja: Objekti u hešu žive dok postoje reference na njih ili dok nisu eksplicitno oslobođeni.

Primeri problema povezanih sa hešom koje je moguće otkriti tokom testiranja:

• Curanje memorije: Memorija dodeljena u hešu, a koja se više ne koristi, ali nije oslobođena, vodi ka postepenom iscrpljivanju dostupne memorije.
• Duple oslobađanje: Pokušaj oslobađanja istog bloka memorije više puta.
• Korišćenje nakon oslobađanja: Pokušaj pristupa memoriji u hešu nakon što je oslobođena.
• Prelivanje heša: Upisivanje podataka izvan granica dodeljenog bloka u hešu, što može prepisati susedne podatke ili meta-informacije o hešu.