График выхода изданий
  • №2 Июнь 2024
  • №3 Сентябрь 2024
  • №4 Декабрь 2024

Статьи по ключевому слову "верификация"

Критерии покрытия требований в тестовых сценариях, сгенерированных из поведенческих моделей приложений

Информационные системы и программное обеспечение
  • Год: 2011
  • Выпуск: 6
  • 0
  • 5071
  • Страницы: 202-207

Тестирование цифровых систем, заданных высокоуровневыми спецификациями

Аппаратные и программные средства систем управления
  • Год: 2011
  • Выпуск: 6
  • 1
  • 5036
  • Страницы: 62-70

Аксиоматический метод верификации на основе декомпозиции состояний в методе RGSEP

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2010
  • Выпуск: 6
  • 0
  • 5006
  • Страницы: 127-135

Автоматизация тестирования на основе покрытия пользовательских сценариев

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 5247
  • Страницы: 123-126

Построение системы автоматизации статической и динамической проверки требований к программному продукту

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 5051
  • Страницы: 119-123

Статический анализ требований реактивных систем

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 5103
  • Страницы: 109-114

Алгоритм обнаружения речевой активности на основе статистик основного тона в задаче распознавания диктора

Проблемы передачи и обработки информации
  • Год: 2010
  • Выпуск: 4
  • 0
  • 5320
  • Страницы: 18-23

Верификация и автоматизация тестирования UML-проектов

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5791
  • Страницы: 220-225

Масштабирование выполнения тестового набора при автоматизированном тестировании

Конференция Microsoft
  • Год: 2013
  • Выпуск: 3
  • 561
  • 5588
  • Страницы: 118-122

Автоматизация тестирования с использованием символических трасс

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 3
  • 0
  • 5167
  • Страницы: 175-180

Верификация алгоритма поддержки транзакционной памяти

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2010
  • Выпуск: 3
  • 0
  • 5013
  • Страницы: 107-111

Динамическая верификация гибридных систем

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 746
  • 5981
  • Страницы: 189-203

Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 353
  • 5533
  • Страницы: 180-188

Верификация программно-конфигурируемых сетей при помощи системы UPPAAL

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 465
  • 5891
  • Страницы: 169-179

Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 329
  • 5485
  • Страницы: 130-142

Обзор применения формальных методов в робототехнике

Конференция «Инструменты и методы анализа программ 2015»
  • Год: 2016
  • Выпуск: 1
  • 439
  • 5941
  • Страницы: 84-107

VERMONT – средство верификации программно-конфигурируемых сетей

Конференция «Инструменты и методы анализа программ – 2014»
  • Год: 2015
  • Выпуск: 1
  • 316
  • 5410
  • Страницы: 74-87

Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода

Конференция «Инструменты и методы анализа программ – 2014»
  • Год: 2015
  • Выпуск: 1
  • 260
  • 5818
  • Страницы: 60-73