Naredna: Pseudokod programa Gore: NZD Prethodna: NZD   Sadržaj

Specifikacija

Prva ideja za rešenje ovog programa je korišćenje naredbe

z = NZD(x,y)

pri čemu se smatra da je NZD() neka već raspoloživa funkcija koja se ponaša kao crna kutija i izračunava traženu vrednost. Slično kao u primeru Faktorijel, ukoliko nije raspoloživa funkcija koja izračunava NZD, neophodno ju je implementirati i dokazati njenu ispravnost.

Na početku je neophodno jasno definisati kakve se vrednosti ulazne promenljive mogu očekivati i šta je to što se očekuje na izlazu, tj. šta je to što želimo da program izračuna. Dakle, neophodno je da jasno definišemo preduslov i pauslov programa, tj. da formulišemo specifikaciju.

Kako NZD ima smisla računati samo za pozitivne cele brojeve, preduslov programa je {x > 0, y > 0}. Na izlazu očekujemo rezultat izračunavanja najvećeg zajedničkog delioca ta dva broja, pa je pauslov {z = NZD(x,y)}. Dakle, specifikaciju našeg programa možemo zapisati na sledeći način:

{x > 0, y > 0} --> {z = NZD(x,y)}

Sledeći korak je projektovanje i realizacija rešenja, tj. konstruisanje algoritma koji rešava ovaj problem.

Naredna: Pseudokod programa Gore: NZD Prethodna: NZD   Sadržaj