Библиографическое описание:ВЕРОЯТНОСТНОЕ СИМВОЛЬНОЕ ИСПОЛНЕНИЕ : научное издание / А. И. Прохоров, В. В. Золотарев. - Текст : непосредственный // Информационное противодействие угрозам терроризма. - 2015. - № 24. - С. 328-333. - Работа выполнена в рамках гранта Президента молодым российским ученым - кандидатам наук, договор №14.Z56.15.6012 от 16.02.2015 г. - ISSN 2219-8792. Перевод заглавия: PROBABILISTIC CHARACTER EXECUTION
Аннотация:Символьное исполнение, являясь экспериментальной техникой тестирования кода, в данный момент не находит повсеместного применения в реальной разработке ПО. Проблема заключается в низкой производительности. Дерево выполнения программы растет экспоненциально, делая тем самым точное символьное исполнение всей программы невычислимой или трудно вычислимой задачей. В данной статье предлагается использовать вероятностные методы для поиска и анализа ошибок в программах
Symbolic execution, as an experimental technique test code is not currently find widespread use in the actual software development. The problem is the low productivity. Tree of the program is growing exponentially, thereby making accurate symbolic execution of the entire program or noncomputable hard computable objective. In this paper we propose to use probabilistic methods to find and analyze errors in programs.
Издательство:Технологический институт Федерального государственного образовательного учреждения высшего профессионального образования Южный федеральный университет в г. Таганроге, Таганрог
