ГИБРИДНЫЙ ПОДХОД К АВТОМАТИЗАЦИИ МОДУЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММ НА ЯЗЫКЕ СИ

Перевод названия: THE HYBRID APPROACH TO UNIT TESTING AUTOMATION FOR PROGRAMS WRITTEN IN C LANGUAGE

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

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

Ключевые слова: test data generation, symbolic execution, declarative testing language, software testing automation, Unit Testing, генерация тестовых данных, символьные вычисления, язык описания тестов, автоматизация тестирования программ, модульное тестирование

Аннотация: В данной работе представлена модель и соответствующий прототип частично автоматизированной гибридной системы тестирования программ, написанных на языке Си, а также изучены преимущества ее использования по сравнению с тестированием вручную. Система состоит из двух связанных между собой частей – генератора тестовых данных и транслятора языка описания тестов. Генератор порождает входные тестовые данные в формате языка описания тестов, опираясь на SMT-решатель. После добавления разработчиком семантики к порожденным данным транслятор преобразует их в файл на языке C, содержащий соответствующий тестовый набор. При этом в качестве целевой библиотеки тестирования используется широко распространенный инструмент CUnit. Экспериментальные исследования показали, что данная система позволяет уменьшить размер файлов с тестовыми наборами и сократить время, затрачиваемое на разработку. Основным ограничением прототипа предложенной системы является поддержка генератором исключительно целочисленного типа данных. Таким образом, в данной работе показан выигрыш от использования предложенной гибридной системы в лабораторных условиях, несмотря на имеющиеся ограничения. Подводя итоги, можно сказать, что при дальнейшем развитии данная система может быть использована в индустрии.

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

Издание

Журнал: Современные наукоемкие технологии

Выпуск журнала: 2-1

Номера страниц: 50-54

ISSN журнала: 18127320

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

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

Авторы

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

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.