• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Комбинаторная генерация тестовых программ для микропроцессоров на основе формальных спецификаций системы команд

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