Оптимизация читаемости тестов порождаемых при символьных вычислениях : научное издание

Описание

Перевод названия: Test Readability Optimization in Context of Symbolic Execution

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

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

Идентификатор DOI: 10.15514/ISPRAS-2016-28(5)-14

Ключевые слова: автоматическая генерация тестов, символьные вычисления, цена проверки тестов человеком, биграммная модель языка, code-based test generation, symbolic execution, human oracle cost, bigram language model

Аннотация: Занимая около половины времени разработки, тестирование остается наиболее распространенным методом контроля качества ПО, и его недостаток может приводить к финансовым потерям. При систематическом подходе тестовый набор считается полным, если он обеспечивает определенное покрытие кода. На данный момент существует большое количество Показать полностьюсистематических генераторов тестов, направленных на поиск стандартных ошибок. Подобные инструменты порождают огромное количество трудночитаемых тестов, обладающих высокой ценой проверки человеком. Представленный в данной работе метод позволяет улучшить читаемость тестов, автоматически сгенерированных при помощи символьных вычислений, обеспечивая качественное снижение данной цены. Экспериментальные исследования генератора тестов, включающего данный метод в качестве заключительной фазы работы, были проведены на 12-ти строковых функциях из репозитория Linux. Оценка степени читаемости строк, содержащихся в оптимизированных тестах, сопоставима со случаем использования слов натурального языка, что положительно сказывается на процессе верификации результатов тестирования человеком. Software testing is a time consuming process. In general, software companies spend about 50% of development time on testing. On the other hand, lack of testing implies financial and other risks. In the case of systematic testing a suitable test suite should provide an appropriate code coverage. A lot of code-based test generators have been developed in order to provide systematic code coverage. Such tools tend to produce lots of almost unreadable test suites which hard to verify manually. This problem is formulated as a Human Oracle Cost Problem. This work introduces a method for readability optimization of automatically generated test suites in context of Symbolic Execution. It uses natural language model in order to optimze each test case. This conception has been applied first in the Search Based Testing paradyghm. In contrast of existing search based tool proposed DSE-based tool uses SMT-solver in order to incrementally improve readability of a single test for a single program path. To validate proposed method a tool on top of LLVM and CVC4 frameworks is created. Experimental evaluation on 12 string processing routins from the Linux repository shows that this method can improve test inputs gracefully.

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

Издание

Журнал: Труды Института системного программирования РАН

Выпуск журнала: Т. 28, 5

Номера страниц: 227-238

ISSN журнала: 20798156

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

Издатель: Учреждение Российской академии наук Институт системного программирования РАН

Авторы

  • Якимов И.А. (Институт Космических и Информационных Технологий, Сибирский Федеральный Университет)
  • Кузнецов А.С. (Институт Космических и Информационных Технологий, Сибирский Федеральный Университет)

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