Как осуществляется процесс верификации на различных этапах проектирования?

Процесс верификации осуществляется на различных этапах проектирования следующим образом:

1. На начальном этапе модели отдельных блоков либо приобретаются, либо разрабатываются самостоятельно. kit-e.ru Практически во всех случаях осуществляется моделирование их работы. kit-e.ru Верификационные средства, привлекаемые на этом этапе, определяются видом задания блока, а метод и средства тестирования чаще всего зависят от возможностей САПР, на которой разработчик собирается компоновать проект. kit-e.ru
2. На этапе сборки модели проекта создаётся набор тестовых последовательностей. kit-e.ru Учитывая длины таких последовательностей и итерационность процедуры сборки, чаще всего применяют Test-Bench. kit-e.ru
3. На этапе отладки опытных образцов используются средства тестирования, специфика которых определяется свойствами проектируемой системы, тестовым инструментарием и опытом разработчика. kit-e.ru

Общая схема верификации состоит из нескольких этапов: books.ifmo.ru

1. На первом этапе требования извлекаются из нормативных документов и систематизируются. books.ifmo.ru В результате получается каталог требований, в котором требования сформулированы максимально однозначно, требования классифицированы, и, возможно, установлены связи между отдельными требованиями. books.ifmo.ru Каталог требований используется на последующих этапах. books.ifmo.ru
2. Второй этап нацелен на представление требований в формальном виде. books.ifmo.ru Требования из каталога записываются с использованием того или иного математического формализма. books.ifmo.ru Такая запись требований называется формальной спецификацией или формальной моделью. books.ifmo.ru
3. На третьем этапе, на основе построенной модели, автоматизированным образом генерируются тесты. books.ifmo.ru В зависимости от задачи, тесты могут либо быть просто тестовыми данными, либо дополнительно содержать оракул для автоматического вынесения вердикта о корректности наблюдаемого поведения объекта. books.ifmo.ru В результате исполнения тестов строятся отчёты о тестировании. books.ifmo.ru В них содержится информация о том, насколько наблюдаемое поведение объекта соответствует поведению формальной модели. books.ifmo.ru