Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава




Скачать 45.61 Kb.
НазваниеГлавы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава
Дата публикации11.06.2014
Размер45.61 Kb.
ТипДокументы
literature-edu.ru > Математика > Документы
ОТЗЫВ

официального оппонента на диссертацию

Корныхина Евгения Валерьевича
«Построение тестовых программ для проверки подсистем управления памяти микропроцессоров»,
представленную к защите на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.


Рассматриваемая диссертационная работа посвящена исследованию и разработке методов построения тестовых программ, предназначенных для целенаправленного тестирования системы управления памятью в составе микропроцессора. Современные микропроцессоры являются сложнейшими устройствами, цикл проектирования и подготовки производства которых длителен и очень дорог. Исправление ошибки в логической схеме процессора после запуска микросхемы в производство практически невозможно. В то же время, наличие таких ошибок на ранних этапах проектирования более чем вероятно, именно в силу исключительной сложности изделия, крайней трудности проверки правильности его функционирования во всех возможных ситуациях. Единственный путь обнаружения и своевременного устранения таких ошибок – целенаправленное тестирование программной модели логики процессора до начала работы по его физическому проектированию. Наиболее сложной, и потому наиболее подверженной ошибкам при проектировании, частью многих процессоров является подсистема памяти. Перечисленные факты определяют теоретическую и практическую актуальность рассматриваемой работы.

Рассматриваемая работа состоит из введения, трех глав, заключения, списка литературы и четырех приложений.

Во введении дается общая характеристика работы, формулируются цели и задачи, а также результаты, обладающие научной новизной.

Первая глава посвящена обзору существующих методов построения тестовых программ и подсистем управления памяти, их анализу и уточнению задач исследования. Определяются основные термины, приводится краткий обзор существующих подходов.

Вторая глава посвящена решению сформулированных в конце первой главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ.

Третья глава посвящена оценке применимости предлагаемых моделей и методов для существующих архитектур микропроцессоров. Проводится подробное систематическое сравнение с рядом существующих подходов.

В Заключении представлены результаты диссертационной работы.

К числу наиболее интересных результатов работы можно отнести следующие.

  • Предложен подход к построению тестовых программ для проверки подсистем управления памяти микропроцессоров, сочетающий формализацию документации и технику ограничений.

  • Предложен метод моделирования устройств подсистемы управления памяти, использующий расширенные конечные автоматы с заданным набором операций.

  • Предложена формальная модель инструкций, описывающая отдельные пути их выполнения в виде утверждений о свойствах параметров инструкций и модельном состоянии устройств.

К сильным сторонам работы следует отнести логичное построение текста, его продуманную и ясную структуру, логичность изложения. Обращает на себя внимание изложенный в Главе 2 способ описания архитектуры процессора, форма которого позволяет значительно повысить, по сравнению с существующими подходами, допустимую длину генерируемых тестовых программ и, тем самым, достоверность тестирования. Исследования в этом направлении вообще гораздо актуальнее в настоящее время, чем кажется на первый взгляд. Обострившийся в последние годы по ряду причин интерес к нетрадиционным вычислительным архитектурам неизбежно вызовет значительное расширение круга разработчиков логики новых, оригинальных вычислителей, с новыми, сложными моделями управления памятью. Все эти изделия потребуется формально описывать и тестировать на соответствие описанию. Это, в свою очередь, вызовет потребность в продолжении и развитии работ, к первым шагам в области которых можно отнести рассматриваемую диссертационную работу.

К сожалению, диссертация не лишена некоторых недостатков.

В тексте встречаются опечатки, нарушающие грамматическое согласование предложений, что затрудняет восприятие текста.

В разделе 2.3, на стр. 55 сказано: «Исполнение инструкций конвейеризовано, поэтому расположенные рядом инструкции в действительности будут выполняться с существенной долей параллелизма. Однако в алгоритме генерации ограничений считается, что инструкции выполняются последовательно, а тестовые шаблоны составлены таким образом, чтобы при работе соответствующих им тестовых программ проявились все нужные параллельные эффекты».

Сама идея проверки частично параллельной реализации выполнения потока команд на соответствие последовательной семантике – весьма здравая. Более того, очевидно, что именно те параллельные эффекты, о которых идет речь, и являются основным источником ошибок, на поиск которых направлено тестирование. Учитывая это, следовало бы подробнее объяснить, каким именно образом составляются тестовые шаблоны, чтобы гарантировать учет всех необходимых параллельных эффектов.

В разделе 3.5 рассказывается об экспериментах по оценке допустимой сложности тестовых шаблонов. В качестве максимального времени, отводимого на построение одного шаблона, выбирается одна минута. Следовало бы хоть как-то обосновать этот выбор: ведь работа по построению шаблонов идеально распараллеливается, и, при наличии современных суперкомпьютеров, такой ответственной работе, как построение необходимого набора тестов, можно и нужно уделять очень много процессорного времени.

Отмеченные недостатки никак не меняют положительной оценки диссертационной работы, выполненной на весьма высоком научном уровне.

Выводы, сделанные в диссертационной работе, соответствуют результатам, полученным автором. Основные результаты диссертационной работы отражены в опубликованных работах автора. Автореферат правильно отражает основное содержание диссертации. Основные результаты опубликованы в изданиях, содержащихся в списках ВАК, и докладывались на международных и российских конференциях.

Работа удовлетворяет всем требованиям ВАК, предъявляемым к диссертациям на соискание ученой степени кандидата физико-математических наук, а ее автор Е. В. Корныхин, безусловно, заслуживает присуждения степени кандидата физико-математических наук по специальности “математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей” (05.13.11).
Зав. сектором ИПМ

им. М.В. Келдыша РАН

д.ф.-м.н. А.О. Лацис

11 ноября 2010г.

Подпись А.О. Лациса удостоверяю

Ученый секретарь

ИПМ им. М.В.Келдыша РАН
д.ф.-м.н. Г.К.Боровин

11 ноября 2010г.

Добавить документ в свой блог или на сайт

Похожие:

Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава iconРуководство практического
Книга написана авторским коллективом в составе кандидата психологических наук Соснина В. А. (предисловие, введение, главы 1, 2, параграфы...

Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава iconРешение тестовых задач по математике
Разработка методических рекомендаций обусловлена тем, что самым трудным для ученика является решение задач, а также оформление этого...

Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава iconРеферат к вступительному экзамену в аспирантуру по специальности...
«Разработка численной модели распространения лазерного излучения в нелинейно-оптических средах»

Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава iconТранслятор тестовых заданий в xml – формат
Актуальна разработка тестовых систем, предназначенных как для создания банка тестовых данных, так и для современных исследований...

Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава iconТемы: Линейные операторы. Матрица Линейного преобразования. Собственные...
Основная часть делится на разделы или главы. Их должно быть 2—3, одна глава — около 2—3 страниц. Что касается оформления — неплохо,...

Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава iconПодтверждение диагноза После сбора анамнеза и завершения клинического...
В этой главе обсуждаются доступные методы исследования, их практическая применимость, рекомендуется литература для дальнейшего обучения...

Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава iconПосле сбора анамнеза и завершения клинического и неврологического...
В этой главе обсуждаются доступные методы исследования, их практическая применимость, рекомендуется литература для дальнейшего обучения...

Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава iconПосле сбора анамнеза и завершения клинического и неврологического...
В этой главе обсуждаются доступные методы исследования, их практическая применимость, рекомендуется литература для дальнейшего обучения...

Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава iconПосле сбора анамнеза и завершения клинического и неврологического...
В этой главе обсуждаются доступные методы исследования, их практическая применимость, рекомендуется литература для дальнейшего обучения...

Главы задач. В этой главе описываются предлагаемые модели и методы построения тестовых программ. Третья глава iconТочно большая часть распределяемых расходов для решаемых задач не...
В третьей главе студенты узнают, что издержки должны распре­деляться на сотрудников (по центрам ответственности), а не по продуктам,...

Литература


При копировании материала укажите ссылку © 2015
контакты
literature-edu.ru
Поиск на сайте

Главная страница  Литература  Доклады  Рефераты  Курсовая работа  Лекции