Скачать 45.61 Kb.
|
ОТЗЫВ официального оппонента на диссертацию Корныхина Евгения Валерьевича «Построение тестовых программ для проверки подсистем управления памяти микропроцессоров», представленную к защите на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Рассматриваемая диссертационная работа посвящена исследованию и разработке методов построения тестовых программ, предназначенных для целенаправленного тестирования системы управления памятью в составе микропроцессора. Современные микропроцессоры являются сложнейшими устройствами, цикл проектирования и подготовки производства которых длителен и очень дорог. Исправление ошибки в логической схеме процессора после запуска микросхемы в производство практически невозможно. В то же время, наличие таких ошибок на ранних этапах проектирования более чем вероятно, именно в силу исключительной сложности изделия, крайней трудности проверки правильности его функционирования во всех возможных ситуациях. Единственный путь обнаружения и своевременного устранения таких ошибок – целенаправленное тестирование программной модели логики процессора до начала работы по его физическому проектированию. Наиболее сложной, и потому наиболее подверженной ошибкам при проектировании, частью многих процессоров является подсистема памяти. Перечисленные факты определяют теоретическую и практическую актуальность рассматриваемой работы. Рассматриваемая работа состоит из введения, трех глав, заключения, списка литературы и четырех приложений. Во введении дается общая характеристика работы, формулируются цели и задачи, а также результаты, обладающие научной новизной. Первая глава посвящена обзору существующих методов построения тестовых программ и подсистем управления памяти, их анализу и уточнению задач исследования. Определяются основные термины, приводится краткий обзор существующих подходов. Вторая глава посвящена решению сформулированных в конце первой главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава посвящена оценке применимости предлагаемых моделей и методов для существующих архитектур микропроцессоров. Проводится подробное систематическое сравнение с рядом существующих подходов. В Заключении представлены результаты диссертационной работы. К числу наиболее интересных результатов работы можно отнести следующие.
К сильным сторонам работы следует отнести логичное построение текста, его продуманную и ясную структуру, логичность изложения. Обращает на себя внимание изложенный в Главе 2 способ описания архитектуры процессора, форма которого позволяет значительно повысить, по сравнению с существующими подходами, допустимую длину генерируемых тестовых программ и, тем самым, достоверность тестирования. Исследования в этом направлении вообще гораздо актуальнее в настоящее время, чем кажется на первый взгляд. Обострившийся в последние годы по ряду причин интерес к нетрадиционным вычислительным архитектурам неизбежно вызовет значительное расширение круга разработчиков логики новых, оригинальных вычислителей, с новыми, сложными моделями управления памятью. Все эти изделия потребуется формально описывать и тестировать на соответствие описанию. Это, в свою очередь, вызовет потребность в продолжении и развитии работ, к первым шагам в области которых можно отнести рассматриваемую диссертационную работу. К сожалению, диссертация не лишена некоторых недостатков. В тексте встречаются опечатки, нарушающие грамматическое согласование предложений, что затрудняет восприятие текста. В разделе 2.3, на стр. 55 сказано: «Исполнение инструкций конвейеризовано, поэтому расположенные рядом инструкции в действительности будут выполняться с существенной долей параллелизма. Однако в алгоритме генерации ограничений считается, что инструкции выполняются последовательно, а тестовые шаблоны составлены таким образом, чтобы при работе соответствующих им тестовых программ проявились все нужные параллельные эффекты». Сама идея проверки частично параллельной реализации выполнения потока команд на соответствие последовательной семантике – весьма здравая. Более того, очевидно, что именно те параллельные эффекты, о которых идет речь, и являются основным источником ошибок, на поиск которых направлено тестирование. Учитывая это, следовало бы подробнее объяснить, каким именно образом составляются тестовые шаблоны, чтобы гарантировать учет всех необходимых параллельных эффектов. В разделе 3.5 рассказывается об экспериментах по оценке допустимой сложности тестовых шаблонов. В качестве максимального времени, отводимого на построение одного шаблона, выбирается одна минута. Следовало бы хоть как-то обосновать этот выбор: ведь работа по построению шаблонов идеально распараллеливается, и, при наличии современных суперкомпьютеров, такой ответственной работе, как построение необходимого набора тестов, можно и нужно уделять очень много процессорного времени. Отмеченные недостатки никак не меняют положительной оценки диссертационной работы, выполненной на весьма высоком научном уровне. Выводы, сделанные в диссертационной работе, соответствуют результатам, полученным автором. Основные результаты диссертационной работы отражены в опубликованных работах автора. Автореферат правильно отражает основное содержание диссертации. Основные результаты опубликованы в изданиях, содержащихся в списках ВАК, и докладывались на международных и российских конференциях. Работа удовлетворяет всем требованиям ВАК, предъявляемым к диссертациям на соискание ученой степени кандидата физико-математических наук, а ее автор Е. В. Корныхин, безусловно, заслуживает присуждения степени кандидата физико-математических наук по специальности “математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей” (05.13.11). Зав. сектором ИПМ им. М.В. Келдыша РАН д.ф.-м.н. А.О. Лацис 11 ноября 2010г. Подпись А.О. Лациса удостоверяю Ученый секретарь ИПМ им. М.В.Келдыша РАН д.ф.-м.н. Г.К.Боровин 11 ноября 2010г. |
Руководство практического Книга написана авторским коллективом в составе кандидата психологических наук Соснина В. А. (предисловие, введение, главы 1, 2, параграфы... |
Решение тестовых задач по математике Разработка методических рекомендаций обусловлена тем, что самым трудным для ученика является решение задач, а также оформление этого... |
||
Реферат к вступительному экзамену в аспирантуру по специальности... «Разработка численной модели распространения лазерного излучения в нелинейно-оптических средах» |
Транслятор тестовых заданий в xml – формат Актуальна разработка тестовых систем, предназначенных как для создания банка тестовых данных, так и для современных исследований... |
||
Темы: Линейные операторы. Матрица Линейного преобразования. Собственные... Основная часть делится на разделы или главы. Их должно быть 2—3, одна глава — около 2—3 страниц. Что касается оформления — неплохо,... |
Подтверждение диагноза После сбора анамнеза и завершения клинического... В этой главе обсуждаются доступные методы исследования, их практическая применимость, рекомендуется литература для дальнейшего обучения... |
||
После сбора анамнеза и завершения клинического и неврологического... В этой главе обсуждаются доступные методы исследования, их практическая применимость, рекомендуется литература для дальнейшего обучения... |
После сбора анамнеза и завершения клинического и неврологического... В этой главе обсуждаются доступные методы исследования, их практическая применимость, рекомендуется литература для дальнейшего обучения... |
||
После сбора анамнеза и завершения клинического и неврологического... В этой главе обсуждаются доступные методы исследования, их практическая применимость, рекомендуется литература для дальнейшего обучения... |
Точно большая часть распределяемых расходов для решаемых задач не... В третьей главе студенты узнают, что издержки должны распределяться на сотрудников (по центрам ответственности), а не по продуктам,... |
Поиск на сайте Главная страница Литература Доклады Рефераты Курсовая работа Лекции |