ПРОБЛЕМА ЦЕНЫ ПРОВЕРКИ ТЕСТОВ ЧЕЛОВЕКОМ В КОНТЕКСТЕ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ (ОБЗОР ИНОСТРАННОЙ ЛИТЕРАТУРЫ) : научное издание

Описание

Перевод названия: HUMAN ORACLE COST PROBLEM IN CONTEXT OF SYMBOLIC EXECUTION (A SURVEY)

Тип публикации: статья из журнала

Год издания: 2016

Ключевые слова: генерация тестовых случаев, динамические символьные вычисления, test suites generation, dynamic symbolic execution

Аннотация: Тестирование является важной составляющей жизненного цикла разработки ПО. Исследования в данной области сосредоточены на поиске новых способов улучшения данного процесса. В течение последнего десятилетия в научном сообществе наблюдается усиленный интерес к динамическим символьным вычислениям. Символьные вычисления представляют собоПоказать полностьюй технику автоматизированной генерации тестов по исходному коду, обеспечивающей высокое покрытие кода. В данной области получены значительные результаты в применении к тестированию реальных программ, таких как открытое ПО и индустриальные системы. Однако исследователи уделяют недостаточно внимания проблеме проверки тестов вручную. Имеющиеся инструменты в основном предназначены для целенаправленного фаззинга. Данный обзор сосредоточен на поиске методов снижения цены проверки тестов человеком в контексте динамических символьных вычислений. Его целью является выработка стратегии по созданию новых инструментов, ориентированных на проверку тестов человеком. Software testing plays an important role in the software development life cycle. Works in this field are focused on finding new ways to improve this process. Particularly, the research community demonstrates increasing interest on dynamic symbolic execution during the recent decade. Dynamic symbolic execution is a method for automatic code-based generation of tests with high code coverage. This method shows reliable results in different applications including testing of real open source and industry systems. However, researchers do not pay much attention to the problem of the manual checking of such tests. Most tools are implemented for directed automated fuzzing. This survey is focused on finding ways of reducing human oracle cost in context of dynamic symbolic execution. The goal is to propose a strategy for creating new tools oriented on solving of the human oracle cost problem.

Ссылки на полный текст

Издание

Журнал: Международный журнал прикладных и фундаментальных исследований

Выпуск журнала: 12-8

Номера страниц: 1391-1396

ISSN журнала: 19963955

Место издания: Пенза

Издатель: Общество с ограниченной ответственностью "Издательский Дом "Академия Естествознания"

Авторы

  • Якимов И.А. (ФГАОУ ВПО «Сибирский федеральный университет»)
  • Кузнецов А.С. (ФГАОУ ВПО «Сибирский федеральный университет»)

Вхождение в базы данных