Перевод названия: PROBABILISTIC CHARACTER EXECUTION
Тип публикации: статья из журнала
Год издания: 2015
Ключевые слова: symbolic execution, vulnerability, memory leaks, accuracy, correctness, reliability, software development, probabilistic methods, символьное исполнение, уязвимости, утечки памяти, точность, корректность, надежность, разработка ПО, вероятностные методы
Аннотация: Символьное исполнение, являясь экспериментальной техникой тестирования кода, в данный момент не находит повсеместного применения в реальной разработке ПО. Проблема заключается в низкой производительности. Дерево выполнения программы растет экспоненциально, делая тем самым точное символьное исполнение всей программы невычислимой илиПоказать полностьютрудно вычислимой задачей. В данной статье предлагается использовать вероятностные методы для поиска и анализа ошибок в программах 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.
Журнал: Информационное противодействие угрозам терроризма
Выпуск журнала: № 24
Номера страниц: 328-333
ISSN журнала: 22198792
Место издания: Таганрог
Издатель: Технологический институт Федерального государственного образовательного учреждения высшего профессионального образования Южный федеральный университет в г. Таганроге