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

This paper presents a model and a prototype of the partially automated hybrid testing system for programs written in C language and also shows its advantage in contrast with manual testing. Mutually interconnected test data generator and a translator from a declarative testing language form the given system. The generator relies on the SMT-solver in order to produce input test data in format of the declarative testing language. When the developer adds semantics to these data, the translator transforms it into the C language file containing the corresponding test suite. The widespread CUnit library is used as a back-end for the translator output. Experimental results shows that the system allows to reduce size of the test suite files and speed up testing process. However, the main limitation of the prototype of the proposed system is supporting only of integers by the generator. Thus, the given work shows advantages from using the proposed hybrid testing system in a controlled environment. Finally, the conclusion can be made that this system can be used in industry at further development.