В данной работе представлен анализ существующих методов и средств верификации, оценена их применимость для верификации встроенного программного обеспечения (ВПО) UEFI BIOS. Приведено исследование архитектуры UEFI. Изложен метод частичной автоматизации верификации ВПО UEFI BIOS на основе использования адаптивного сравнения бинарных файлов, дополненного механизмами учета модульной архитектуры UEFI. Разработана программная реализация предложенного метода.

In the given work an analysis of existing methods and tools of verification is stated, the investigation of the UEFI architecture is given. The method of partial automation of UEFI BIOS verification process based on the use of adaptive binary comparison, supplemented by mechanisms for accounting the modular architecture of UEFI, is presented. A specific software implementation of the proposed method is developed.