Рассмотрен разработанный автором метод поиска программных ошибок в программном обеспечении при отсутствии исходных текстов. Метод основан на стрессовом тестировании совместно с автоматической трассировкой программного обеспечения. При этом наборы тестовых данных могут формироваться статически или динамически на основе результатов трассировки.
Скачать электронную версию публикации
Загружен, раз: 74
- Title МЕТОД АВТОМАТИЗИРОВАННОГО ПОИСКАПРОГРАММНЫХ ОШИБОК В АЛГОРИТМАХ ОБРАБОТКИСЛОЖНОСТРУКТУРИРОВАННЫХ ДАННЫХ
- Headline МЕТОД АВТОМАТИЗИРОВАННОГО ПОИСКАПРОГРАММНЫХ ОШИБОК В АЛГОРИТМАХ ОБРАБОТКИСЛОЖНОСТРУКТУРИРОВАННЫХ ДАННЫХ
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 3(5)
- Date:
- DOI
Ключевые слова
компьютерная безопасность , тестирование , программная ошибка Авторы
Ссылки
Козиол Д., Личфилд Д., Эйтэл Д. и др. Искусство взлома и защиты системы. СПб.: Питер, 2006. 416 с.
Ховард М., Лебланк Д. Защищенный код. 2-е изд. М.: Издательско-торговый дом «Русская Редакция», 2005. 704 с.
Хогланд Г., Мак-Гроу Г. Взлом программного обеспечения: анализ и использование кода. М.: Издательский дом «Вильяме», 2005. 400 с.
Eilam E. Reversing: Secrets of Reverse Engineering. Wiley Publishing, 2005. 589 p.
Miller C, Peterson Z. N. J. Analysis of Mutation and Generation-Based Fuzzing -securityevaluators.сom/files/papers/analysisfuzzing.pdf-2007.
Neystadt J. Automated Penetration Testing with White-Box Fuzzing - msdn.microsoft.com/en-us/library/cc162782.aspx - Microsoft Corporation, 2008.
Левитин А. В. Алгоритмы: введение в разработку и анализ. М.: Издательский дом «Вильямс», 2006. 576 с.
Калбертсон Р., Браун К., Кобб Г. Быстрое тестирование. М.: Издательский дом «Вильяме», 2002. 384 с.
Intel Architecture Software Developer's Manual. V. 3: System Programming. Intel, 1999.
МЕТОД АВТОМАТИЗИРОВАННОГО ПОИСКАПРОГРАММНЫХ ОШИБОК В АЛГОРИТМАХ ОБРАБОТКИСЛОЖНОСТРУКТУРИРОВАННЫХ ДАННЫХ | Прикладная дискретная математика. 2009. № 3(5).
Скачать полнотекстовую версию
Полнотекстовая версияЗагружен, раз: 205