METHOD FOR AUTOMATED PROGRAM ERRORS SEARCH IN COMPLEX DATA PROCESSING ALGORITHMS | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2009. № 3(5).

In the paper, an original method developed by the author is discussed. The method permits to search program errors in software without source code. The method is based on stress testing and automated software trace. In this case, the test data can be formed statically or dynamically on the base of tracing results.
Download file
Counter downloads: 76
  • Title METHOD FOR AUTOMATED PROGRAM ERRORS SEARCH IN COMPLEX DATA PROCESSING ALGORITHMS
  • Headline METHOD FOR AUTOMATED PROGRAM ERRORS SEARCH IN COMPLEX DATA PROCESSING ALGORITHMS
  • Publesher Tomask State UniversityTomsk State University
  • Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 3(5)
  • Date:
  • DOI
Keywords
компьютерная безопасность , тестирование , программная ошибка
Authors
References
Козиол Д., Личфилд Д., Эйтэл Д. и др. Искусство взлома и защиты системы. СПб.: Питер, 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.
 METHOD FOR AUTOMATED PROGRAM ERRORS SEARCH IN COMPLEX DATA PROCESSING ALGORITHMS             | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2009. № 3(5).
METHOD FOR AUTOMATED PROGRAM ERRORS SEARCH IN COMPLEX DATA PROCESSING ALGORITHMS | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2009. № 3(5).