|
Nazariy va amaliy ahamiyati
|
| bet | 3/7 | | Sana | 16.05.2024 | | Hajmi | 28,22 Kb. | | #238832 |
Bog'liq Mavzuning dolzarbligiNazariy va amaliy ahamiyati
Mikroprotsessorlar uchun sinov dasturlari generatorlarini loyihalashni avtomatlashtirish usuli taklif etiladi. Taklif etilayotgan usul arxitektura jihatdan mustaqil avlod texnikasiga asoslangan bo'lib, uning qo'llanilishi uchun ma'lum bir mikroprotsessor arxitekturasiga ushbu me'morchilikning rasmiy spetsifikatsiyalarini tahlil qilish natijasida olingan ma'lumotlar qo'llaniladi. Tadqiqot natijalari test dasturlarini yaratish va norasmiy spetsifikatsiyalarni tahlil qilish asosida dasturiy vositalarni yaratishning arxitektura jihatdan mustaqil usullarini ishlab chiqish uchun asos bo'lib xizmat qilishi mumkin. Bundan tashqari, ushbu natijalar mikroprotsessorlarni loyihalash va tekshirish bo'yicha tadqiqot loyihalarida va o'quv kurslarida qo'llanilishi mumkin.
Taklif etilayotgan usul asosida MicroTESK dasturiy vositasi ishlab chiqildi, bu esa norasmiy spetsifikatsiyalar asosida mikroprotsessorlar uchun sinov dasturi generatorlarini loyihalashni avtomatlashtirish imkonini yaratadi. Ishlab chiqilgan vosita MIPS64, ARMv8, PowerPC va RISC-V arxitekturalari uchun sinov dasturi generatorlarini yaratish uchun ishlatilgan. MIPS64 va ARMv8 uchun sinov dasturi generatorlari mahalliy va xorijiy kompaniyalarda qo'llaniladi. Bundan tashqari, 10
Ushbu vosita boshqa mikroprotsessor arxitekturalarining keng doirasi uchun sinov dasturi generatorlarini yaratish uchun ishlatilishi mumkin.
Tadqiqot metodologiyasi va usullari
Tadqiqot metodologiyasi kompilyator ta'limoti, formal til nazariyasi, avtomatizmlar nazariyasi, set teoremasi, grafik ta'limoti, algoritm ta'limoti va matematik mantiqka asoslangan.
Himoya qilinadigan tamoyillar
1. Norasmiy spetsifikatsiyalar asosida mikroprotsessorlar uchun sinov dasturlari generatorlarini loyihalashni avtomatlashtirish usuli.
2. Test dasturi shablonlarini tavsiflash tili, bu ularning strukturaviy va xulq-atvor xususiyatlarini tavsiflash imkonini beradi.
3. Mikroprotsessorlar uchun sinov dasturi generatorlarini arxitekturasi, bu turli xil avlod texnikasini birlashtirishga imkon beradi va ko'plab qo'llab-quvvatlanadigan texnikalarni kengaytirishga imkon beradi.
4. Taklif etilayotgan tilda shablonlar asosida hosil bo'ladigan, taklif etilayotgan arxitektura bilan sinov dasturlarining generatorlarini qurishda taklif etilgan usuldan foydalanadigan dasturiy vosita.
|
| |
