Методологическое обеспечение автоматизированного обнаружения ошибок и недокументированных возможностей в программном обеспечении: специальность 2.3.6. Методы и системы защиты информации, информационная безопасность
| Title: | Методологическое обеспечение автоматизированного обнаружения ошибок и недокументированных возможностей в программном обеспечении: специальность 2.3.6. Методы и системы защиты информации, информационная безопасность |
|---|---|
| Publisher Information: | Санкт-Петербургский политехнический университет Петра Великого, 2025. |
| Publication Year: | 2025 |
| Subject Terms: | Вычислительные машины электронные, механизм общих симуляций, бинарное программное обеспечение, графовая модель, оценка достижимости, фаззинг-тестирование |
| Description: | Диссертационная работа посвящена созданию единой методологии автоматизированного поиска ошибок в программном коде бинарных образцов программного обеспечения (ПО), совокупно обеспечивающей: увеличение скорости анализа ПО; целенаправленное тестирование заданных участков программного кода; подтверждение достоверности найденных ошибок и недокументированных возможностей (НДВ) за счет применения техники фаззинг-тестирования в памяти в сочетании с разработанным механизмом общих симуляций. В основе методологии лежит разработанная графовая модель функционирования бинарного ПО, обеспечивающая представление любого бинарного файла в виде графа с учетом специфики работы программы на низком уровне, а именно, возможности оперировать не статическими значениями параметров вершин и ребер, а диапазонами значений. Результаты работы позволяют: описывать как исполнение любого бинарного ПО с учетом его низкоуровневых характеристик, так и процесс его динамического тестирования, в частности, фаззинг-тестирования; выполнять целенаправленный поиск ошибок и НДВ в заданных блоках бинарного ПО; оценивать достоверность выявленных дефектов ПО, исключая, тем самым, невоспроизводимые дефекты и повышая эффективность фаззинг-тестирования; имплементировать совокупность результатов в соответствии с разработанной архитектурой программно-аппаратного комплекса автоматизированного обнаружения ошибок и НДВ в ПО для последующей интеграции с крупномасштабными системами анализа и верификации ПО. |
| Document Type: | Other literature type |
| Language: | Russian |
| DOI: | 10.18720/spbpu/2/r25-46 |
| Accession Number: | edsair.doi...........4e15070809d34e295b64455e70af8eda |
| Database: | OpenAIRE |
Be the first to leave a comment!