Визначено, що існує ряд специфічних особливостей, пов'язаних з можливістю негативних маніпуляцій програмним продуктом. Розроблено графоаналітичну модель алгоритму тестування безпеки програмного забезпечення. Отримано співвідношення для розрахунку статистичних характеристик випадкового часу виконання даного алгоритму. Модель можна використовувати для дослідження етапів тестування безпеки програмного забезпечення. Застосування моделі дозволить знизити уразливість IT-проекту в цілому Ключові слова: тестування безпеки, графоаналітична модель, напівмарківський процес, перетворення Лапласа, виробляюча функція Определено, что существует ряд специфических особенностей, связанных с возможностью негативных манипуляций программным продуктом. Разработана графоаналитическая модель алгоритма тестирования безопасности программного обеспечения. Получены соотношения для расчета статистических характеристик случайного времени выполнения данного алгоритма. Модель можно использовать для исследования этапов тестирования безопасности программного обеспечения. Применение модели позволит снизить уязвимость IT-проекта в целом Ключевые слова: тестирование безопасности, графоаналитическая модель, полумарковский процесс, преобразование Лапласа, производящая функция