Afirmare (informatică)
În informatică, o afirmație este un predicat într-un program care indică faptul că predicatul este întotdeauna adevărat.
De exemplu, următorul cod conține două afirmații:
x : = 5 ;
{ x > 0 }
x : = x + 1
{ x > 1 }
x > 0 și x > 1 , și va fi cu siguranță adevărat în punctele indicate în timpul execuției.
Utilizare
În limbi precum Eiffel , afirmațiile fac parte din procesul de proiectare, iar în altele, cum ar fi în C și Java, ele sunt folosite doar ca o verificare a presupunerilor care rulează. În ambele cazuri, își pot verifica valabilitatea în execuție, dar pot fi șterse și.
Afirmații în programarea contractelor
Afirmațiile pot acționa sub formă de documentație: descriu starea codului care este așteptată înainte de execuție (condiții prealabile) și starea care este așteptată când se încheie execuția (postcondiții), de asemenea, pot specifica invarianții de clasă Eiffel integrează aceste afirmații în limba și le extrage automat din documentul clasei.