1-Маъруза. Компьютерлар, инсонлар ва дастурлаш Режа

1.5.6. Юқоридан кўриниш
Айтишадики, палеонтологлар кичик суякни ўрганиш натижасида, диназавр кўринишини тиклашлари, унинг ҳаёт тарзини ва яшаш муҳитини тавсифлашлари мумкин экан. Балки, бу бўрттирма бўлиб туюлиши мумкиндир, аммо айрим ҳолларда оддий артефактни ўрганиб, у қандай оқбатга олиб келиши устида фикрлаш фойдали бўлади. NASA марсюрувчиси томонидан олинган марс ландшафти суратига эътиборингизни қаратинг.

Агар косммонавтика билан шуғулланишни истасангиз, унда яхши дастурчи бўлишингиз лозим. Кўпсонли космик дастурларда, физикани, математикани, электротехникани, механикани, медицина техникасини, яъни Космос тадқиқоти учун зарур бўлган барча илмий фанларни билувчи кўпсонли дастурчилар қатнашади. Тўрт йил давомида (уч ойга мўлжалланган) — бизнинг цивилизациямиз катта ютуқларидан биридир.

Бундан ташқари, кўпсонли дастурчилар тасвирларга ишлов бериш (марсоходддан келаётган суратларга ишлов бериш, шулар жумласидан), суратларни таҳрирлаш ва харакатга келтириш (веб тармоқда марсда яшовчилар тасвирланган марсдан юборилган суратларнинг вариантлари тарқалган) билан ҳам шуғулланадилар.

1.6. Дастурчиларнинг юксак орзулари
Биз дастурларимиздан нималарни кутмоқдамиз? Хусусан, бирор бир дастурдан ниима истаймиз? Дастуримиз тўғри ва ишончли ишлашини истаймиз Агар дастур ундан талаб қилинаётган харакатларни бажармаса, ёки ишончли бўлмаса, унда яхши ҳолатда бу жиддий нюанс, ёмонида эса — хатарлилик. Шу билан бирга, биз дастуримиз яхши лойиҳалаштирилган бўлишини, яъни бизнинг талабларимизни қаноатлантиришини истаймиз; аммо хақиқатада, дастур тўғри ишлаяптими, нотўғрими, аҳамиятга молик эмас; ушбуни амалга оширилаётган услуб ташвишга солади.Бундан ташқари биз дастуримиз тежамкор бўлишини истаймиз, эҳтимол мен роллс-ройсда юришни, корпоратив самолетда учишни истарман, аммо мен ҳали миллионер эмасман, ушбу хузур-ҳаловатнининг нархини эътиборга олишим лозим.
Дастурий таъминотнинг айнан шу аспектлари (ускуналар, тизимлар) дастурчи бўлмаган шахслар томонидан муносиб баҳоланиши мумкин.
^{Дастур ишлаб чиқиш жараёни тўртта босқичга жаратилиши мумкин:}

• 
  Таҳлил. Масаланинг моҳияти нимадан иборат? Фойдаланувчи нимани истайди? Фойдаланувчи учун нималар зарур? Бизга Қандай ишонарлилик бизга зарур?
  
• 
  Лойиҳалаштириш. Маслани қандай ечиш лозим? Тизим қандай тузилмага эга бўлиши керак? У қандай қисмлардан ташкил топиши лозим? Ушбу қисмлар қандай мулоқотда бўладилар? Тизим ва фойдаланувчи ўртасидаги мулоқот қандай амалага оширилади?
  
• 
  Дастурлаш. Масала (лойиҳа) ечимини дастур кўринида тасвирлаймиз. Барча чекланишларни( вақт, хажм, молия, ишончлилик) эътиборга олиб, дастурни ёзамиз. Дастур тўғри ишлаётганига, қулайлигига ишонч туғдирамиз.
  
• 
  Тестлаш. Ҳамма кўзда тутилган ҳолларда ишлаётганига дастур тўғри ишлатганига ишонч билдирамиз.
  

Кўп ҳолларда дастурлашни ва тестлашни татбиқ этиш деб аталади. Албатта, ушбу тўрт қисмга ажратиш шартлидир. Ушбу мавзулар бўйича кўп китоблар ёзилган, бу мавзуларнинг ўзаро боғлиқлиги тў0рисида эса янада кўпроғи ёзилган. Одатда, биз таҳлилдан бошлаймиз, аммо тестлаш жараёнининг натижаси дастурлашга таъсир қилади; дастурлаш жараёнидаги муаммолар, лойиҳалаш жарёнидаги муаммолар оқибатидир; ўз навбатида в лойиҳалаш жараёни таҳлил жараёнидаги хатоларни аниқлаши мумкин. Ҳақиқатдан, тизимнинг ишлаши, одатда, дарров таҳлилнинг заиф томонини аниқлайди.