Asercja (informatyka): Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m robot usuwa: fr:Assertion |
int. |
||
Linia 1:
W [[programowanie|programowaniu]] '''asercja''' ([[język angielski|ang.]] ''assertion'') to [[predykat]] (forma zdaniowa w danym języku, która zwraca prawdę lub fałsz), umieszczony w pewnym miejscu w kodzie. Wskazuje on że programista zakłada, że predykat ów jest prawdziwy. W przypadku gdy predykat jest fałszywy (czyli nie spełnione są warunki postawione przez programistę) asercja powoduje przerwanie wykonania programu. Asercja ma szczególne zastosowanie w trakcie testowania tworzonego [[oprogramowanie|oprogramowania]], np. dla sprawdzenia luk lub jego odporności na błędy. Zaletą stosowania asercji jest możliwość sprawdzenia, w którym fragmencie [[kod źródłowy|kodu źródłowego]] programu nastąpił błąd.
[[Kategoria:Analiza programów]]
|