Калинов А.Я., Косачёв А.С. и др. Автоматическая генерация тестов для графического пользовательского интерфейса по UML-диаграммам действий

Статья опубликована в издании: Труды Института системного программирования РАН. — 2004. — Том 8 . — Вып. 1 . — С. 99-116.
Авторы - А.Я. Калинов, А.С. Косачёв, М.А. Посыпкин, А.А. Соколов В статье излагается метод автоматической генерации набора тестов для графического интерфейса пользователя, моделируемого детерминированным конечным автоматом с помощью UML-диаграмм действий. Метод заключается в построении обхода графа состояний системы с применением неизбыточного алгоритма обхода и компиляции построенного обхода в тестовый набор.