Для современных протоколов и асинхронных программ наблюдается разрыв между методами формального моделирования и методами тестирования. В работе предлагается подход к преодолению этого разрыва, основанный на формализации поведения систем с асинхронными интерфейсами посредством контактных спецификаций и использовании таких спецификаций для построения адаптивных тестов.
