Автоматическая генерация исходных текстов для повышения качества программных продуктов

Виталий Минко

Системный архитектор в отделе проектирования и разработки программно-аппаратных комплексов компании ИнфоТеКС. Занимается проектированием шлюзов безопасности с функциями межсетевого экрана и VPN.


Доклад посвящен рассмотрению технологии автоматической генерации исходных текстов как способа борьбы с ошибками отклонения программ от их спецификаций. В докладе будут рассмотрены две задачи, которые мы решали в компании, и при решении которых было найдено применение технологии автоматической генерации исходных текстов.

Gold спонсоры

Информационные партнёры