W tym ujęciu służą do formalnego wyrażania założeń dotyczących działania programu (na przykład niezmienników).
W testowaniu oprogramowania Asercja ma szczególne zastosowanie w trakcie testowania tworzonego oprogramowania, może być wykorzystywana np. dla sprawdzenia luk lub jego odporności na błędy. Asercje są powszechnie stosowane w testach jednostkowych do sprawdzania, czy uzyskany rezultat odpowiada oczekiwanemu..
Podstawową zaletą stosowania asercji jest możliwość sprawdzenia, w którym fragmencie kodu źródłowego programu nastąpił błąd lub błędne dane wejściowe. Inną zaletą jest również funkcja dokumentacyjna asercji, ponieważ opisują one założenia autora kodu wprost w jego kodzie źródłowym. Badania przeglądowe wskazują, że głównym problemem programistów w użyciu asercji jest poprawne zdefiniowanie , czyli punktu odniesienia, określającego poprawność oprogramowania, a tym samym treść asercji.
Warto zaznaczyć, że asercje są równie istotne i potrzebne na dalszych etapach cyklu życia oprogramowania – wdrożenia i utrzymania.
Przykłady użycia asercji Asercja z wiadomością błędu w języku Python:def calculate_area(radius): assert radius > 0, "Promień musi być większy od 0." return 3.14 * radius * radius