Трудовая функция "Разработка тестовых программ или генераторов тестовых программ для модели ИС на языках программирования целевой системы"

Код
A/03.6
Уровень квалификации
6
Трудовые действия
  • Создание код тестов или генераторов тестов, исполняемых вычислительными ресурсами ИС, в соответствии с верификационным планом и учетом обнаруженных ранее ошибок
  • Уточнение особенностей поведения СФ-блоков и ИС у разработчиков ИС, сообщение им о недочетах документации и обнаруженных ошибках в моделях СФ-блоков и ИС
  • Отладка созданных тестов или генераторов тестов на моделях ИС всех уровней абстракции, предусмотренных маршрутом разработки ИС
  • Корректировка кода тестов или генераторов тестов по результатам анализа качества теста, выполненного ведущим специалистом
  • Анализ результатов прохождения тестов
  • Формирование верификационного отчета
  • Разработка документации на созданные тесты или генераторы тестов
Требования к образованию и обучению
  • Стандартные, полузаказные и заказные БИС/СБИС, СнК
  • Базовые примитивы цифровой схемотехники (сумматоры, триггеры, регистры и т.п.) и особенности их реализации
  • Маршрут разработки и верификации
  • Архитектура, особенности программирования и применение микропроцессоров общего назначения, специализированных микропроцессоров и микроконтроллеров
  • Типовые архитектуры и состав СнК
  • Шины и интерфейсы периферийных устройств
  • Контроллеры периферийных устройств (аппаратные и программные средства управления работой периферийных устройств)
  • Особенности взаимодействия блоков в составе СнК
  • Встраиваемые операционные системы (ОС) и ОС реального времени, общая информация
  • Разработка прикладных программ для встраиваемых ОС и ОС реального времени
  • Целевые САПР (моделирование и формальная верификация моделей схем, написанных на языках описания аппаратуры)
  • Методики верификации СФ-блоков и ИС
  • Верификация, тестирование и отладка программных систем
  • Английский язык на уровне чтения и перевода технической документации
  • Теория вероятности, теория автоматов, необходимые для грамотного создания случайных тестов и анализа их полноценности
  • Языки описания аппаратуры
  • Высокоуровневые языки программирования
  • Языки программирования для встраиваемых систем
  • Языки ассемблера процессорных ядер общего назначения, процессорных ядер ЦОС, специализированных процессорных ядер
  • Особенности разработки ПО для встраиваемых систем
  • Конструкторская документация
  • Верификационный план
  • КД на СФ-блоки и ИС
  • Верификационный отчет
Требования к опыту практической работы
  • Создавать программы для систем на кристалле
  • Использовать инструментальные средства для разработки и отладки программ для систем на кристалле
  • Использовать актуальные САПР
  • Отлаживать тестовые программы для систем на кристалле с использованием штатных средств отладки
  • Отлаживать программы для систем на кристалле с использованием САПР для моделирования аппаратуры
  • Определять источник ошибки, используя описание тестируемой системы на языке описания аппаратуры
  • Искать решения технических проблем в технической документации и с использованием современных информационных технологий
  • Пользоваться технической документацией
  • Разрабатывать документацию в соответствии со стандартом предприятия
  • Работать с системой отслеживания ошибок