wlasciwosc formalna zamknietej przestrzeni stanów, zachowywana w statycznych punktach programu, w których mozna obserwowac fragment przestrzeni stanów. N i e z m i e n- n i k p e t l i (loop invariant) jest okreslany jako cecha zmiennych wystepujacych w petli, objawiajaca sie w zachowywaniu przez nie przy kazdym powtórzeniu petli i tuz po wyjsciu z petli stalych (lub przywracanych) wartosci - takich, jakie zmienne te maja na wejsciu do petli. N i e z m i e n n i k i e m p r o- c e d u r y (procedure invariant) jest wartosc (lub zbiór wartosci), która dana procedura pozostawia, po wykonaniu, w niezmienionym stanie. N i e z m i e n- n i k k l a s y (class invariant) jest cecha pól, która jest zawsze zachowywana przy wywolaniach metod publicznych danej klasy. N i e z m i e n n i k m o d u- l u (module invariant) jest cecha (czescia) przestrzeni stanów tworzonej przez dany modul, odnoszaca sie m.in. do zmiennych globalnych i pól klas pomieszczonych w module.
- NIEZMIENNIK, inwariant
- HOMOLOGII TEORIA, podstawowy dział algebraicznej;...
- petla, ( loop )