Сортировать по:
| Выпуск | Название | |
| Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
| "... особенности протоколов, затрудняющие тестирование реализаций с помощью технологии UniTESK, а также особенности ..." | ||
| Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... использование технологии UniTESK, позволяющей автоматизировать процесс верификации сетевых протоколов на основе ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... технология автоматического тестирования UniTESK [8] и программный пакет CTesK [9], реализующий эту технологию ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... автоматического тестирования UniTESK и программный пакет JavaTESK, реализующий эту технологию. Работа выполнялась ..." | ||
| Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... тестирования протокола были разработаны операторы мутации для некоторых основных типов данных, которые ..." | ||
| Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, А. Н. Тугаенко | ||
| "... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... В статье излагаются основные принципы, на которых основана технология UniTESK, предназначенная для ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... при тестировании протоколов маршрутизации в беспроводных самоорганизующихся сетях (ad-hoc) требует ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... UniTESK - технология тестирования, основанная на формальных моделях (или спецификациях) требований ..." | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| "... протокола FIX, предоставленном разработчиком решений для тестирования программного обеспечения одной ..." | ||
| Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
| "... и надежности подталкивает к созданию инструментов их автоматизированного тестирования. Фаззинг-тестирование ..." | ||
| Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... опорных тестовых наборов для использования в тестировании безопасности реализаций протоколов. Предложен ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... В статье предложен подход к тестированию программных реализаций телекоммуникационных протоколов ..." | ||
| Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) похожие документы |
| Александр Камкин, Михаил Петроченков | ||
| Том 28, № 3 (2016) | Генерация динамических ключей и подписей с зависимостью от времени | Аннотация похожие документы |
| А. С. Кирьянцев, И. А. Стефанова | ||
| "... показывает этапы работы протокола Диффи-Хеллмана и MD5. С помощью прототипа было проведено тестирование ..." | ||
| Том 36, № 1 (2024) | Фаззинг полиморфных систем в структурах микросервисов | Аннотация PDF (Rus) похожие документы |
| Артемий Сергеевич ЮРЬЕВ | ||
| "... Сегодня фаззинг, фаззинг-тестирование является основной техникой тестирования программного ..." | ||
| Том 33, № 3 (2021) | Высокопроизводительный распределенный веб-скрапер | Аннотация похожие документы |
| Денис Сергеевич ЭЙЗЕНАХ, Антон Сергеевич РАМЕЙКОВ, Игорь Валерьевич НИКИФОРОВ | ||
| "... по протоколу HTTP, либо парсинг исходного кода HTML. Статья посвящена подходу к высокопроизводительному ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... злонамеренных) внешних сервисов совместно снижают объёмы необходимого тестирования и увеличивают безопасность ..." | ||
| Том 33, № 6 (2021) | Система маркирования документов для проведения расследований при их утечке | Аннотация PDF (Rus) похожие документы |
| Дмитрий Олегович ОБЫДЕНКОВ, Алексей Юрьевич ЯКУШЕВ, Юрий Витальевич МАРКИН, Александр Евгеньевич ФРОЛОВ, Станислав Александрович ФОМИН, Сергей Викторович КОЗЛОВ, Дмитрий Дмитриевич ГРОМЕЙ, Александр Васильевич КОЗАЧОК, Борис Владимирович КОНДРАТЬЕВ | ||
| "... утечку – намеренно или в результате нарушения протокола безопасности. В статье описана архитектура ..." | ||
| 1 - 19 из 19 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
