Предложен метод структурного тестирования программных систем, основанный на
алгебраической модели программы и динамическом символьном выполнении на
уровне машинного кода и позволяющий автоматизировать модульное тестирование
программ, реализованных на компилируемых языках программирования.
Запропоновано метод структурного тестування програмних систем, заснований на
алгебраїчної моделі програми і динамічному символьному виконанні на рівні
машинного коду і дозволяє автоматизувати модульне тестування програм,
реалізованих на компільованих мовах програмування.
A method of software system structural testing based on the program algebraic model and
machine code-level dynamic symbolic execution is proposed. The method allows for unit
testing automation for programs written in compiled languages.
