O programare invariantă este

Acest termen are și alte semnificații, vezi invariabilul.

Un program invariant este o expresie logică. adevărat după fiecare trecere a corpului ciclului (după execuția operatorului fix) și înainte de începerea executării ciclului, în funcție de variabilele care se schimbă în corpul ciclului. [1]







Invarianții sunt utilizați în teoria verificării programelor pentru a dovedi corectitudinea unui ciclu. Ordinea de dovedire a operabilității unui ciclu cu ajutorul unui invariant reduce la următoarele:

  1. Se dovedește că expresia invariantului este adevărată înainte de începerea ciclului.
  2. Se demonstrează că expresia invarianților își păstrează adevărul după execuția corpului ciclului; Astfel, prin inducție, se demonstrează că, la sfârșitul ciclului, invariabilul va fi satisfăcut.
  3. Este dovedit faptul că adevărul invariante dincolo de variabilele ciclului va fi exact valoarea pe care doriți să obțineți (acest lucru este determinat de expresia elementară a invariante și cunoscute valorile finite ale variabilelor pe care starea de finalizare a ciclului).
  4. Se dovedește (posibil fără utilizarea unui invariant) că ciclul este finalizat, adică, condiția de terminare va fi îndeplinită mai devreme sau mai târziu.
  5. Adevărul afirmațiilor dovedite în etapele anterioare indică clar că ciclul va fi executat într-un timp finit și va da rezultatul dorit.

De asemenea, invarianții sunt utilizați în proiectarea și optimizarea algoritmilor ciclici. De exemplu, pentru a se asigura că ciclul optimizat a fost corect, este suficient pentru a dovedi că invarianta bucla nu este rupt, iar starea este ciclu realizabil este complet.







Conceptul de invariant este folosit și în programarea orientată obiect pentru a indica o stare consecventă a unui obiect. Se înțelege că apelarea oricărei metode lasă obiectul în starea invarianta.

notițe

Urmăriți ce este "invariabil (programare)" în alte dicționare:

Invariant - sau invarianță, un termen care desemnează ceva neschimbat. Semnificația specifică a termenului depinde de aria în care este folosit: invarianta (matematică) invariabilă în topologie invariabilă (fizică) invariante (programare) invariante ... Wikipedia

PROGRAMAREA TEORETICĂ - o disciplină matematică care studiază matematica. abstractizarea programelor, interpretate ca obiecte exprimate într-un limbaj formal, posedând o anumită informație și logică. structură și supusă executării automate. dispozitive. Pt ... ... ... Enciclopedie matematică

Constructor (programare) - Acest termen are alte sensuri, vezi Designer. În programarea orientată pe obiecte, constructorul clasei (de la constructorul englez, uneori scurta ctor) este un bloc de instrucțiuni special numit atunci când obiectul este creat ... ... Wikipedia

DRAGON (limbaj algoritmic) - Acest termen are alte semnificații, vezi Dragon (valori). Un exemplu de schemă logică a algoritmului în limbajul sistemului de Dragon Dragon DRAGON (algoritmică prietenos limba rusă, care oferă un descriptiv) vizual ... ... Wikipedia

Covariance și contravariance - Covariance și contravariance este un concept matematic și fizic care descrie modul în care se schimbă cantitățile în cadrul transformării unui sistem de coordonate. Coordonatele vectorului geometric sunt măsurate într-un sistem specific ... ... Wikipedia

(; acțiuni obiectivate și atitudini obiecte ideale și materiale), create de omenire în cursul dezvoltării naturii și au structurală ... ... Filozofic Enciclopedia (LAT cultivare Cultura, educație, cult din.) universul obiectelor de om - CULTURA

Șablon - Pe șabloane din Wikipedia, consultați pagina Wikipedia: Șabloane. Un șablon în tehnica plăcii (curl, șablon, etc.) cu decupaje de-a lungul conturului cărora sunt realizate desene sau produse sau un instrument pentru măsurarea dimensiunilor. Șablon în ... ... Wikipedia







Articole similare

Pagina anterioară

Pagina următoare

Trimiteți-le prietenilor: