|
Подход UniTesK к разработке тестов [Текст] / В. В. Кулямин, А. К. Петренко, А. С. Косачев, И. Б. Бурдонов // Программирование. – 2003. – № 6. – С. 25-43.
Статья излагает основные принципы технологии разработки тестов UniTesK, основанной на использовании формальных моделей целевого программного обеспечения. |