Сборники трудов ИСП РАН


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

И.А. Якимов (ИКИТ СФУ, Красноярск, Россия)
А.С. Кузнецов (ИКИТ СФУ, Красноярск, Россия)

Аннотация

Занимая около половины времени разработки, тестирование остается наиболее распространенным методом контроля качества ПО, и его недостаток может приводить к финансовым потерям. При систематическом подходе тестовый набор считается полным, если он обеспечивает определенное покрытие кода. На данный момент существует большое количество систематических генераторов тестов, направленных на поиск стандартных ошибок. Подобные инструменты порождают огромное количество трудночитаемых тестов, обладающих высокой ценой проверки человеком. Представленный в данной работе метод позволяет улучшить читаемость тестов, автоматически сгенерированных  при помощи символьных вычислений, обеспечивая качественное снижение данной цены. Экспериментальные исследования генератора тестов, включающего данный метод в качестве заключительной фазы работы, были проведены на 12-ти строковых функциях из репозитория Linux. Оценка степени читаемости строк, содержащихся в оптимизированных тестах, сопоставима со случаем использования слов натурального языка, что положительно сказывается на процессе верификации результатов тестирования человеком.

Ключевые слова

автоматическая генерация тестов, символьные вычисления, цена проверки тестов человеком, биграммная модель языка

Издание

Труды Института системного программирования РАН, том 28, вып. 5, 2016, стр. 227-238.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2016-28(5)-14

Полный текст статьи в формате pdf Вернуться к содержанию тома