Програмна система для автоматичної генерації модульних тестів з метою тестування роботи транспортних систем

Abstract

Реалізований інструмент для автоматичної генерації модульних тестів мовою Python з використанням як існуючих інструментів, так і розроблених самостійно, за рахунок чого досягається підтримка останніх версій мови Python та підтримка великої кількості типів. Був розроблений алгоритм уточнення типів, що дозволяє за неповними наборами анотацій знаходити більш точні типи для подальшої генерації та за зазначеними протоколами знаходити знаходити представників даних протоколів, при цьому використовуючи дані про проект та встановлені зовнішні модулі.Також був реалізований алгоритм генерації вхідних значень для функцій, що тестуються, заснований на механізмі фаззинга, і архітектура управління процесом виконання коду, що дозволяє обчислювати значення функції із заданими аргументами і обробляти, як виникаючі винятки, так і отримувати інформацію про виконання функції у разі перевищення доступного часу.