Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Методологическое обеспечение автоматизированного обнаружения ошибок и недокументированных возможностей в программном обеспечении: специальность 2.3.6. Методы и системы защиты информации, информационная безопасность |
| Στοιχεία εκδότη: |
Санкт-Петербургский политехнический университет Петра Великого, 2025. |
| Έτος έκδοσης: |
2025 |
| Θεματικοί όροι: |
Вычислительные машины электронные, механизм общих симуляций, бинарное программное обеспечение, графовая модель, оценка достижимости, фаззинг-тестирование |
| Περιγραφή: |
Диссертационная работа посвящена созданию единой методологии автоматизированного поиска ошибок в программном коде бинарных образцов программного обеспечения (ПО), совокупно обеспечивающей: увеличение скорости анализа ПО; целенаправленное тестирование заданных участков программного кода; подтверждение достоверности найденных ошибок и недокументированных возможностей (НДВ) за счет применения техники фаззинг-тестирования в памяти в сочетании с разработанным механизмом общих симуляций. В основе методологии лежит разработанная графовая модель функционирования бинарного ПО, обеспечивающая представление любого бинарного файла в виде графа с учетом специфики работы программы на низком уровне, а именно, возможности оперировать не статическими значениями параметров вершин и ребер, а диапазонами значений. Результаты работы позволяют: описывать как исполнение любого бинарного ПО с учетом его низкоуровневых характеристик, так и процесс его динамического тестирования, в частности, фаззинг-тестирования; выполнять целенаправленный поиск ошибок и НДВ в заданных блоках бинарного ПО; оценивать достоверность выявленных дефектов ПО, исключая, тем самым, невоспроизводимые дефекты и повышая эффективность фаззинг-тестирования; имплементировать совокупность результатов в соответствии с разработанной архитектурой программно-аппаратного комплекса автоматизированного обнаружения ошибок и НДВ в ПО для последующей интеграции с крупномасштабными системами анализа и верификации ПО. |
| Τύπος εγγράφου: |
Other literature type |
| Γλώσσα: |
Russian |
| DOI: |
10.18720/spbpu/2/r25-46 |
| Αριθμός Καταχώρησης: |
edsair.doi...........4e15070809d34e295b64455e70af8eda |
| Βάση Δεδομένων: |
OpenAIRE |