OPTIMIZING THE READABILITY OF TESTS GENERATED BY SYMBOLIC EXECUTION : научное издание

Описание

Перевод названия: ОПТИМИЗАЦИЯ ЧИТАЕМОСТИ ПОРОЖДАЕМЫХ ПРИ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЯХ ТЕСТОВ

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

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

Идентификатор DOI: 10.31772/2587-6066-2019-20-1-35-39

Ключевые слова: динамические символьные вычисления, модель естественного языка, проблема проверки тестов человеком, dynamic symbolic execution, natural language model, the problem of tests verification by humans

Аннотация: Taking up about half of the development time, testing remains the most common method of software quality control and its disadvantage can lead to financial losses. With a systematic approach, the test suite is considered to be complete if it provides a certain amount of code coverage. At the moment there are a large number of systeПоказать полностьюmatic test generators aimed at finding standard errors. Such tools generate a huge number of difficult-to-read tests that require human veri- fication which is very expensive. The method presented in this paper allows improving the readability of tests that are automatically generated using symbolic execution, providing a qualitative reduction in the cost of verification. Experi- mental studies of the test generator, including this method as the final phase of the work, were conducted on 12 string functions from the Linux repository. The assessment of the readability of the lines contained in the optimized tests is comparable to the case of using words of a natural language, which has a positive effect on the process of verification of test results by humans. Занимая около половины времени разработки, тестирование остается наиболее распространенным мето- дом контроля качества программного обеспечения (ПО). Его недостаток может приводить к финансовым потерям. При систематическом подходе тестовый набор считается полным, если он обеспечивает опреде- ленное покрытие кода. На данный момент существует большое количество систематических генераторов тестов, направленных на поиск стандартных ошибок. Подобные инструменты порождают огромное количе- ство трудночитаемых тестов, обладающих высокой ценой проверки человеком. Представленный в данной работе метод позволяет улучшить читаемость тестов, автоматически сгенерированных при помощи сим- вольных вычислений, и обеспечивает качественное снижение данной цены. Экспериментальные исследования генератора тестов, включающего данный метод в качестве заключительной фазы работы, были проведены на 12-строковых функциях из репозитория Linux. Оценка степени читаемости строк, содержащихся в опти- мизированных тестах, сопоставима со случаем использования слов натурального языка, что положительно сказывается на процессе верификации результатов тестирования человеком.

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

Издание

Журнал: Сибирский журнал науки и технологий

Выпуск журнала: Т. 20, 1

Номера страниц: 35-39

ISSN журнала: 25876066

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

Издатель: Федеральное государственное бюджетное образовательное учреждение высшего образования Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева

Авторы

  • Yakimov I.A. (Siberian Federal University)
  • Kuznetsov A.S. (Siberian Federal University)
  • Skripachev A.M. (Siberian Federal University)

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