УДК: 004.41

Динамическое тестирование распределенных программных систем на основе автоматных моделей

Е. Н. Крючкова, канд. физ.-мат. наук, проф., С. М. Старолетов, ассистент, Алтайский государственный технический университет имени И.И. Ползунова, E-mail: kruchkova_elena@mail.ru

Представлен процесс тестирования на основе моделей, предложена формальная модель распределенной системы, представлена автоматизированная система для сопровождения процесса разработки, основанная на описании модели и дальнейшего тестирования по этой модели, рассмотрены задачи статического и динамического тестирования.

Ключевые слова: тестирование программ, моделирование, распределенные системы, автоматные модели

Стр. 22–26