Cyklus so známym počtom opakovaní

Slovné zápisy algoritmov:

Sekvencia

algoritmus ;

Alternatíva

ak tak
inak ;

Cykly

opakuj
;
keď platí skonči;
;
*opakuj

pre od po s krokom ;
;
*pre

Overovanie správnosti algoritmov
Chyby delíme na :
1. syntaktické
2. sémantické – logické, chyby počas behu programu

Spôsoby testovania programov:
1. zmenou testovacích hodnôt
2. hraničné testovacie hodnoty – napr. cykly s podmienkou testujeme, kedy sa vykoná raz, ani raz, max. počet krát...
3. úplné preskúšanie – zadanie všetkých hodnôt
4. testovanie všetkých ciest – napr. odtestovanie alternatívy

Proces overovania delíme na dve fázy:
1. testovanie – lokalizácia a identifikácia chyby
2. ladenie – odstraňovanie chýb