... ele Z ale problemei si datele initiale X cunoscute in problema exista anumite relatii. Vom reda aceste relatii prin predicatul de iesire RX,Z, numit si postconditie. Acesta este corect pentru acele valori a si b ale vectorilor X si Z pentru care rezultatele problemei sunt b in cazul cand datele initiale sunt a si este fals in caz contrar. Deci, daca executand programul cu datele initiale a obtinem rezultatele b si Ra,b este fals, acest fapt este un indiciu ca rezultatele obtinute in program nu sunt corecte. Apare o alta regula fiecare variabila sa aiba semnificatia ei si sa nu fie folosita in scopuri diferite.4.2 Testarea si depanarea programelorTestarea programelor este activitatea prin care programatorul observa comportarea programului in urma executiei lui cu date de test. Evident, primul lucru urmarit este corectitudinea rezultatelor obtinute in urma executiei programului cu datele de test folosite. Dar se va urmari si daca programul are alte caracteristici ca utilitate, siguranta in functionare, robustete, performanta. Este beneficiarul multumit de rezultatele care se obtin si de forma sub care sunt prezentate Sunt ele obtinute in timp util Datele de test sunt date de intrare alese pentru variabilele de intrare pentru care se cunosc rezultatele, sau avem unele informatii despre rezultate. Executand programul cu aceste date ar trebui sa ajungem la rezultatele cunoscute. Corectitudinea rezultatelor in aceste executii nu demonstreaza corectitudinea programului in general. Testarea insa pune adeseori in evidenta erori facute in diferite faze ale programarii. In privinta aceasta dam un citat din Dijkstra Testarea programelor poate fi un mijloc eficient de a indica prezenta erorilor, dar din pacate, nu si un mijloc de a demonstra absenta lor.Cu toate ca ea nu demonstreaza corectitudinea programului, testarea mareste certitudinea corectitudinii lui si este deocamdata singura metoda practica de certificare a programului. Ar fi de dorit demons ... Download