Алгоритм синтеза тестов программного обеспечения

Гуляев C.C.

АО «Конструкторское бюро промышленной автоматики»; Федеральный исследовательский центр «Саратовский научный центр Российской академии наук», Саратов

Ключевые слова: алгоритм синтеза тестов, формальная верификация, мобильные роботы, конечные автоматы, программное обеспечение, UML, SysML.

Аннотация. В данной статье предлагается алгоритм синтеза тестов для формальной верификации программного обеспечения. Рассматриваются ключевые этапы алгоритма, включая преобразование UML- и SysML-диаграмм в конечный автомат, определение критериев покрытия теста, генерацию тестовых сценариев и оптимизацию тестового набора. Приведен практический пример использования алгоритма для верификации системы управления мобильным роботом. Результаты экспериментов подтвердили эффективность предложенного метода, обеспечив полное покрытие состояний и переходов, минимизировав набор тестов и выявив ошибки на ранних стадиях разработки.