| |
Пакулин, Н.
Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов [Текст] / Н. Пакулин, А. Хорошилов
// Прогаммирование. – 2007. – № 6. – 26-55.
Для современных протоколов и асинхронных программных систем наблюдается разрыв между методами формального моделирования и методами тестирования. В данной работе предлагается подход к преодолению этого разрыва, основанный на формализации поведения |
