RUS  ENG
Полная версия
ЖУРНАЛЫ // Прикладная дискретная математика // Архив

ПДМ, 2009, номер 3(5), страницы 117–127 (Mi pdm140)

Эта публикация цитируется в 1 статье

Математические основы информатики и программирования

Метод автоматизированного поиска программных ошибок в алгоритмах обработки сложноструктурированных данных

А. Н. Макаров

ФГНУ "ГНТЦ Наука", г. Москва, Россия

Аннотация: Рассмотрен разработанный автором метод поиска программных ошибок в программном обеспечении при отсутствии исходных текстов. Метод основан на стрессовом тестировании совместно с автоматической трассировкой программного обеспечения. При этом наборы тестовых данных могут формироваться статически или динамически на основе результатов трассировки.

Ключевые слова: компьютерная безопасность, тестирование, программная ошибка.

УДК: 004.94



© МИАН, 2024