|
Mavzuning dolzarbligi
|
bet | 5/7 | Sana | 16.05.2024 | Hajmi | 28,22 Kb. | | #238832 |
Bog'liq Mavzuning dolzarbligiShaxsiy hissa
Dissertatsiyada keltirilgan barcha natijalar muallif tomonidan shaxsan olingan.
Dissertatsiyaning tuzilishi va ko'lami
Ish kirish, to'rtta bob, xulosa, referatlar ro'yxati (122 sarlavha) va bitta ilovadan iborat. Dissertatsiyaning asosiy matni (referatlarsiz va appendikssiz) 148 betni egallaydi.
Tezisning qisqacha mazmuni
Kirish qismida ish mavzusining dolzarbligi tasdiqlanadi, uning maqsad va vazifalari belgilanadi, nazariy va amaliy ahamiyati ochib beriladi.
Birinchi bobda mikroprotsessorlarni funktsional tekshirish yo'nalishlari haqida umumiy ma'lumot keltirilgan. Asosiy e'tibor test dasturlari yordamida tekshirishga qaratilgan. Bobda umumiy sinov dasturini ishlab chiqish usullarining kuchli va zaif tomonlari, ularning dasturlari va ulardan birgalikda foydalanish variantlari haqida so'z boradi. Bu usullarni amalga oshiruvchi mavjud vositalarning imkoniyatlarini qiyosiy tahlil qilish ham amalga oshiriladi. Ushbu tahlil asosida keng ko'lamli mikroprotsessor arxitekturasi uchun qo'llaniladigan va 13 taga imkon beradigan sinov dasturlarining generatori yo'q degan xulosaga keladi
amaliyotda qo'llaniladigan asosiy avlod texnikasini o'zlashtirish va uni yaratish vazifasining dolzarbligi haqidagi tezis ilgari surilgan.
Во второй главе предлагается метод автоматизации конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций их архитектуры. Данный метод предполагает, что информация, извлеченная из формальных спецификаций, будет использоваться для обеспечения целенаправленности тестирования и контроля состояния микропроцессора в процессе генерации. Построение тестовых программ будет осуществляться на основе шаблонов, разработанных на специальном расширяемом языке, позволяющем описывать их структурные и поведенческие свойства. Расширяемая архитектура генераторов позволит интегрировать разные техники генерации. Глава состоит из трех разделов, в которых описывается предлагаемый метод автоматизации конструирования генераторов тестовых программ, язык описания шаблонов тестовых программ и архитектура конструируемых генераторов тестовых соответственно.
В третьей главе описывается реализация предложенного метода автоматизации конструирования генераторов тестовых программ. Метод нашел свое воплощение в инструменте с открытым исходным кодом MicroTESK (Microprocessor TEsting and Specification Kit) версии 2.0, разработанном на языке Java. Данный инструмент на основе формальных спецификаций конструирует генераторы тестовых программ, состоящие из модели микропроцессора и архитектурно-независимого ядра. Глава состоит из двух разделов, в которых описывается реализации инструмента MicroTESK и реализация архитектурно-независимого ядра генераторов тестовых программ соответственно.
В четвертой главе описываются результаты применения предложенного метода автоматизации конструирования генераторов тестовых программ для микропроцессоров MIPS64, ARMv8, PowerPC и RISC-V. В главе оценивается трудоемкость создания генераторов с применением предложенного метода и приводится сравнение с результатами применения других аналогичных 14
методов. Также в главе обосновывается применимость предложенного метода для конструирования генераторов тестовых программ для микропроцессорных архитектур промышленного масштаба.
В заключении перечисляются основные результаты работы.
|
| |