Tadqiqot jarayonini modellashtirish va uni algoritmlash. Tizimning ishlash jarayonlarini rasmiylashtirish va algoritmlash hujjat

2.5. Dasturlash ishlarini amalga oshirish rejasini tuzish. Bunday reja modelni dasturlashda yordam berishi kerak, bunda dastur hajmining hisob-kitoblari va uni tuzish uchun mehnat xarajatlari hisobga olinadi. Asosiy kompyuterdan foydalanishda reja quyidagilarni o'z ichiga olishi kerak: a) modelni dasturlash uchun til (tizim) tanlash; b) kompyuter turini va modellashtirish uchun zarur bo'lgan qurilmalarni ko'rsatish; c) zarur operatsion va taxminiy hajmini baholash tashqi xotira; d) modellashtirish uchun kompyuter vaqtining taxminiy xarajatlari; e) kompyuterda dasturni dasturlash va disk raskadrovka qilishga sarflangan taxminiy vaqt.
2.6. Dastur sxemasining spetsifikatsiyasi va qurilishi. Dastur spetsifikatsiyasi - bu dasturni ishlab chiqish jarayonida bajarilishi kerak bo'lgan talablarning rasmiylashtirilgan taqdimoti, shuningdek, unga qanday erishish mumkinligini ko'rsatmasdan, vazifa, shartlar va harakatning ta'siri tavsifi. Modelning mantiqiy blok-sxemasining mavjudligi dastur diagrammasini qurish imkonini beradi, unda quyidagilar aks etishi kerak: a) modelni bloklarga, kichik bloklarga va boshqalarga bo'linish;
b) model dasturlash xususiyatlari; v) zaruriy o'zgartirishlar kiritish; d) dasturni sinovdan o'tkazish imkoniyati; e) mashina vaqtining narxini baholash; f) kirish va chiqish ma'lumotlarini taqdim etish shakli.
Dastur sxemasini qurish modelni mashinada amalga oshirish bosqichidagi asosiy vazifalardan biridir. Shu bilan birga, modelni amalga oshirish uchun tanlangan tilning xususiyatlariga alohida e'tibor qaratish lozim: umumiy tilning algoritmik tili.
maqsad yoki modellash tili (masalan, SIMULA, SIMSCRIPT, GPSS).
2.7. Dastur sxemasini tekshirish va tasdiqlash. Dasturni tekshirish dasturning xatti-harakati dastur spetsifikatsiyasiga mos kelishining isbotidir. Ushbu tekshirish tizim modelining mashinani amalga oshirish bosqichida ikkinchisidir. Shubhasiz, modelni amalga oshirish ustida ishlashni davom ettirishning ma'nosi yo'q, agar keyingi dasturlash amalga oshiriladigan dastur sxemasida uni modelning mantiqiy sxemasiga mos kelmaydigan xatolar mavjudligiga ishonch bo'lmasa, va shuning uchun simulyatsiya ob'ektining o'ziga mos kelmaydi. Shu bilan birga, dastur sxemasida taqdim etilgan har bir operatsiya modelning mantiqiy sxemasidagi o'xshash operatsiyaga muvofiqligi tekshiriladi.