Dasturlash texnologiyalarini avtomatlashtirish

Ushbu maqolaning versiyasi "PC World/Rossiya" da chop etilgan. 2003 yil, № 10
DASTURLASH TEXNOLOGIYALARINI AVTOMATLASHTIRISH
Anatoliy Shalito
2003 yilda Mustaqil Davlatlar Hamdo'stligida
Intel korporatsiyasi tomonidan tashkil etilgan integral sxemalarni loyihalashtirishni avtomatlashtirish sohasidagi tadqiqot loyihalari tanlovi g'olibi
[e-mail] .
Sankt-Peterburg davlat axborot texnologiyalari, mexanika va optika universiteti
Kompyuter texnologiyalari fakulteti, http://is.ifmo.ru
Kirish
So'nggi yillarda o'rnatilgan tizimlar va real vaqt tizimlari uchun dasturlash texnologiyasini ishlab chiqishga katta e'tibor qaratilmoqda. Ushbu tizimlar dasturiy ta'minot sifatiga maxsus talablarga
ega. Ushbu sohadagi vazifalar uchun eng mashhur yondashuvlardan biri sinxron dasturlashdir[1].
Evropada sinxron dasturlashning rivojlanishi bilan bir vaqtda, Rossiyada "avtomatga asoslangan dasturlash " yoki " bazaga asoslangan dasturlash " deb nomlangan yondashuv yaratilmoqda [2-4]. Ushbu usulni sinxron dasturlashning bir turi deb hisoblash mumkin. Ushbu maqola avtomatlashtirilgan dasturlashning asosiy xususiyatlarini tavsiflaydi. U dasturiy ta'mi-notni ishlab chiqishning loyihalash, amalga oshirish, disk raskadrovka va hujjatlashtirish kabi bosqichlarini o'z ichiga oladi.
Dasturlashda hodisa atamasi dasturlashda kengroq va kengroq qo'llanilgan. Bu dasturiy ta'minotni ishlab chiqishda asosiy atamalardan biriga aylandi. Taklif etilayotgan yondashuv “ baza ” atamasiga asoslanadi.
Kirish
“o'zgaruvchisi yoki hodisa” bo'lishi mumkin bo'lgan " kirish harakati " atamasi kiritilgan-dan so'ng , " chiqishsiz avtomat " atamasi kiritilishi mumkin. " Chiqish harakati " atamasi qo'shilgandan keyin " avtomat " atamasi kiritilishi mumkin Bu chekli aniqlangan avtomatdir.
Shuning uchun ham ushbu atamaga asoslangan dasturlash turi qog'ozda “avtomat asosidagi dasturlash” deb atalgan [4]. Shunday qilib, dasturiy ta'minotni yaratish jarayoni " avtomat dasturiy ta'minot dizayni " deb nomlanishi mumkin. Ushbu yondashuvning o'ziga xos xususiyati shundaki, ishlab chiqish uchun ishlatiladigan avtomatlar o'tish grafiklari yordamida aniqlanadi. Ushbu grafiklarning tugunlarini farqlash uchun " davlat kodlash " atamasi kiritilishi kerak. Bitta o'zgaruvchi yordamida " bir nechta holatni kodlash " dan foydalanilganda , o'zgaruvchilar qiymatlari miqdoriga teng bo'lgan holatlar miqdorini ajratish mumkin. Bu dasturlashga “ dasturni kuzatish imkoniyati” atamasini kiritish imkonini beradi . Taklif etilgan yondashuvdan foydalangan holda, dasturlash "bayroq o'zgaruvchilari" tushunchasidan emas, balki " holat " tushunchasidan foydalangan holda amalga oshirilishi kerak. Bu vazifani va uning qismlarini (pastki vazifalarini) yaxshiroq tushunish va belgilash imkonini beradi .
Shuni ta'kidlash kerakki, u avtomatlar asosidagi dasturiy disk raskadrovka avtomatlar shartlarida protokollarni tuzish (jurnalga olish) yordamida amalga oshiriladi. Ushbu yondashuvda o'tish
grafigidan dasturiy ta'minotning manba kodiga o'tkazishning rasmiy va izomorfik usuli mavjud. Demak, yuqori darajadagi dasturlash tillaridan foydalanilganda, C dasturlash tilining “ switch ”
konstruktsiyasiga o‘xshash konstruksiyadan foydalanish eng maqbuldir. Shuning uchun qog‘ozda “avtomat asosidagi dasturlash” texnologiyasi [4] edi. " Switch-texnologiya " deb nomlanadi. Hozirgi vaqtda ushbu texnologiya turli xil vazifalarni hal qilish uchun va har xil turdagi hisoblash qurilmalari uchun bir nechta variantlarda ishlab chiqilgan .