График выхода изданий
-
№4 Декабрь 2024
-
№1 Март 2025
-
№2 Июнь 2025
-
№3 Сентябрь 2025
Статьи по ключевому слову "верификация"
Критерии покрытия требований в тестовых сценариях, сгенерированных из поведенческих моделей приложений
- Год: 2011
- Выпуск: 6
- 0
- 5955
- Страницы: 202-207
Тестирование цифровых систем, заданных высокоуровневыми спецификациями
- Год: 2011
- Выпуск: 6
- 1
- 5947
- Страницы: 62-70
Аксиоматический метод верификации на основе декомпозиции состояний в методе RGSEP
- Год: 2010
- Выпуск: 6
- 0
- 5869
- Страницы: 127-135
Автоматизация тестирования на основе покрытия пользовательских сценариев
- Год: 2012
- Выпуск: 4
- 0
- 6076
- Страницы: 123-126
Построение системы автоматизации статической и динамической проверки требований к программному продукту
- Год: 2012
- Выпуск: 4
- 0
- 5902
- Страницы: 119-123
Алгоритм обнаружения речевой активности на основе статистик основного тона в задаче распознавания диктора
- Год: 2010
- Выпуск: 4
- 0
- 6168
- Страницы: 18-23
Масштабирование выполнения тестового набора при автоматизированном тестировании
- Год: 2013
- Выпуск: 3
- 561
- 6429
- Страницы: 118-122
Автоматизация тестирования с использованием символических трасс
- Год: 2011
- Выпуск: 3
- 0
- 6030
- Страницы: 175-180
Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS
- Год: 2014
- Выпуск: 2
- 353
- 6397
- Страницы: 180-188
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Год: 2014
- Выпуск: 2
- 465
- 6729
- Страницы: 169-179
Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
- Год: 2014
- Выпуск: 2
- 330
- 6332
- Страницы: 130-142
VERMONT – средство верификации программно-конфигурируемых сетей
- Год: 2015
- Выпуск: 1
- 316
- 6308
- Страницы: 74-87
Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода
- Год: 2015
- Выпуск: 1
- 260
- 6707
- Страницы: 60-73