По вашему запросу найдено документов: 19697
Страница 1 из 1970
Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукцииСинтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
Синтез тестов для протокола TFTP на основе автоматной модели с таймаутамиСинтез тестов для протокола TFTP на основе автоматной модели с таймаутами
Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениямиСинтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделейсинтез проверяющих тестов
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автоматаМетод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного
Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов построения проверяющих тестов с гарантированной полнотой для полностью определенного, возможно
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов
Использование свойств мутационных автоматов для минимизации проверяющих тестовИспользование свойств мутационных автоматов для минимизации проверяющих тестов
К построению проверяющих тестов для недетерминированных автоматов с тайм-аутамиК построению проверяющих тестов для недетерминированных автоматов с тайм-аутами
К построению проверяющих тестов относительно неразделимости для недетерминированных автоматовК построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
Страница 1 из 1970
Фасеты
Партнеры
Индексация
