Programmalarni loyihalashtirish va ishlab chiqish bosqichlari

§4. ALGORITMNI ISHLAB CHIQISH 

 

Algoritmni ishlab chiqish – eng murakkab va kо‘p mehnat talab etuvchi, lekin 

ijodiy nuqtai nazardan qaraganda eng qiziqarli jarayondir. 

Ishlab  chiqish  metodini  tanlash,  masalaning  qо‘yilishi  va  uning  modeliga 

bog‘liq. Ushbu bosqichda algoritmning tо‘g‘riligini tekshirish lozim. Bu esa oson 

emas, kо‘p mehnat talab etadi. Algoritm tо‘g‘riligini isbotlashning keng tarqalgan 

protsedurasi  –  bu  turli  testlar  majmuidan  uni  о‘tkazishdir.  Ammo  bular  ham 

programmaning  tо‘g‘ri  ishlashiga  kafolat  bera  olmaydi.  Algoritm  tо‘g‘riligini 

isbotlashning  umumiy  metodikasiga  asosan  algoritm,  qadamlar  ketma-ketligi 

                                           

4

 Гипотеза – грекча hypothesis сызидан олинган былиб, маъноси асос, фараз, илмий фараздир. 

5

 Синтез – грекча synthesis сызидан олинган былиб, маъноси бирлаштириш, умумлаштиришдир. 

6

 Интуиция – лотинча intueri сызидан олинган былиб, маъноси ди==ат билан астойдил тикилиш; манти=ий 

асосламасдан тажрибага асосланган щолда ща=и=атни щис =илиш =обилиятидир. 

Гипотеза 

Моделлашти

рилаётган система 

Модель 

---

kо‘rinishida  tavsiflanadi.  Har  bir  qadam  uchun  hamma  kiritilishi  (ushbu 

qadamgacha  bо‘lgan  shartlar  asosida)  va  chiqarilishi  (ushbu  qadamdan  keyingi 

shartlar  hisobga  olingan  holda)  lozim  bо‘lgan  ma’lumotlar  asosida  uning 

tо‘g‘riligini isbotlovchi bironta isbot taklif etiladi. Sо‘ngra yakuniy kiritiladigan va 

chiqariladigan ma’lumotlar bilan algoritmning tugallanganligi isboti taklif etiladi.