Введение 4
1 Анализ предметной области 5
1.1 Общие сведения и задачи предметной области 5
1.2 Методы верификации 7
1.2.1 Формальная верификация 7
1.2.2 Динамическая верификация 14
2 Описание аппаратуры потребителя и ее функциональных блоков 25
2.1 Принципы построения аппаратуры потребителей 25
2.2 Выбор инструментария 26
2.3 Структура программного обеспечения 29
2.3.1 Однобитный полусумматор и полный сумматор 29
2.3.2 Сумматор с сохранением переноса 32
2.3.3 Сумматор с предварительным расчетом переноса 34
2.3.4 Коррелятор 36
2.3.5 Генератор М-последовательности 38
3 Верификация устройства слежения за навигационным сигналом 39
3.1 Подмешивание ошибок 39
3.2 Методика автоматизированной верификации 40
3.3 Тестирование методики автоматизированной верификации схемы
слежения за задержкой навигационного сигнала 42
Заключение 50
Список используемых источников 51
Приложение А 53
В настоящее время наблюдается интенсивное развитие технологий, их структура становится более сложной и громоздкой. В связи с этим при проектировании вероятность возникновения разного рода ошибок возрастает. Для их нахождения необходимо использовать различные методы верификации. Абсолютное большинство методов верификации требуют непосредственного участия человека при их применении. На проведение верификации затрачивается большое количество времени. И не факт, что при проведении проверки не будет допущена ошибка за счет человеческого фактора.
Верификация необходима в любом процессе проектирования, в том числе и при проектировании устройства слежения за задержкой навигационного сигнала. Автоматизация верификации позволит упростить процесс проведения проверки, значительно сократить время ее проведения и риск допустить ошибку. Исходя из сказанного, вопрос автоматизации методики верификации можно назвать актуальным.
Целью работы является разработка методики автоматизированной верификации архитектурных блоков цифрового устройства слежения за задержкой навигационного сигнала.
Для достижения поставленной цели необходимо выполнить следующие задачи:
1) проанализировать архитектуру устройства слежения за задержкой навигационного сигнала в целом и отдельных его частей;
2) Провести анализ существующих методов верификации;
3) Разработать методику автоматизированной верификации данного устройства;
4) Провести тестирование разработанной методики.
В результате выполнения выпускной квалификационной работы была разработана методика автоматизированной верификации устройства слежения за задержкой навигационного сигнала. При этом были изучены основные методы верификации, проанализирована архитектура устройства слежения за задержкой навигационного сигнала в целом и отдельных его частей.
Методика верификации, разработанная в ходе выпускной квалификационной работы, является универсальной. Данная методика может быть использована для верификации различных систем на этапе проектирования. Затраты на реализацию данной методики минимальны, за счет чего она может быть приоритетней иных методик и средств верификации.
