Язык функциональной проверки e — это язык программирования, ориентированный на конкретные приложения и предназначенный для автоматизации задачи проверки электронного проекта на соответствие его спецификации. Среды проверки, написанные на языке e, предоставляют модель среды, в которой ожидается функционирование проекта, включая виды ошибочных условий, которым проект должен противостоять. Типичная среда проверки способна генерировать контролируемые пользователем тестовые входные данные со статистически интересными характеристиками. Такая среда может проверять достоверность ответов проекта. Метрики функционального покрытия используются для контроля усилий по проверке и оценки качества проекта. Среды проверки можно использовать на протяжении всего цикла проектирования, от архитектурной модели высокого уровня до полностью реализованной системы. Этот стандарт содержит определение синтаксиса и семантики электронного языка, а также то, как разработчики инструментов и инженеры по верификации должны их использовать.
IEEE 1647-2006 История
1970IEEE 1647-2019 Стандарт IEEE для языка функциональной проверки e
1970IEEE 1647-2016 Стандарт IEEE для языка функциональной проверки e