| |
Бурдонов, И.
Формализация тестового эксперимента [Текст] / И. Бурдонов, А. Косачев, В. Кулямин
// Программирование. – 2007. – № 5. – 3-32.
Статья посвящена формальным методам тестирования соответствия исследуемой системы заданным требованиям. Операционная семантика взаимодействия задается с помощью специальной машины тестирования, формально определяющей те или иные тестовые возможности |
