Czym jest stos w kontekście programowania i testowania?

Stos (Heap) w kontekście programowania to obszar pamięci dynamicznej przydzielany podczas wykonywania programu do przechowywania obiektów, których rozmiar może być nieznany na etapie kompilacji.

Z punktu widzenia testowania, zrozumienie stosu jest ważne dla:

• Testowania wydajności: Wycieki pamięci w stosie mogą powodować spowolnienie działania aplikacji lub jej awarię.
• Testowania stabilności: Przepełnienie stosu (Heap Overflow) lub nieprawidłowe zarządzanie pamięcią (np. podwójne zwolnienie) mogą wywołać błędy segmentacji.
• Debugowania: Analiza zawartości stosu może pomóc w wykryciu przyczyn nieprawidłowego stanu obiektów lub wycieków pamięci.
• Użycia narzędzi: Profilery i narzędzia do analizy pamięci (np. Valgrind, Memory Analyzer dla Java) aktywnie pracują z informacjami o stosie.

Główne cechy stosu:

• Dynamika przydziału: Pamięć jest przydzielana i zwalniana jawnie przez programistę (np. malloc/free w C/C++) lub automatycznie przez zbieracz śmieci (np. w Java, Python).
• Brak uporządkowania: W przeciwieństwie do stosu, elementy na stosie nie są przechowywane sekwencyjnie; ich adresy mogą być rozproszone.
• Czas życia: Obiekty na stosie żyją do momentu, aż na nie będą odwołania lub aż zostaną jawnie zwolnione.

Przykłady problemów związanych ze stosami, które mogą być wykryte podczas testowania:

• Wyciek pamięci (Memory Leaks): Przydzielona pamięć na stosie, która nie jest już używana, ale nie została zwolniona, prowadzi do stopniowego wyczerpywania dostępnej pamięci.
• Podwójne zwolnienie (Double Free): Próba zwolnienia tego samego bloku pamięci na stosie wielokrotnie.
• Użycie po zwolnieniu (Use After Free): Próba dostępu do pamięci na stosie po jej zwolnieniu.
• Przepełnienie stosu (Heap Overflow): Zapisywanie danych poza granicami przydzielonego bloku pamięci na stosie, co może nadpisać sąsiednie dane lub informacje meta o stosie.