Сортировать по:
Выпуск | Название | |
Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... Protocol (EAP) implementations. Conformance testing is the basic tool to ensure interoperability between ..." | ||
Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... functionality of the EAP authentication protocol and evaluation of the robustness of its implementations against ..." | ||
Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
"... This article summarizes the experience gained while developing test suites for conformance testing ..." | ||
Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... The paper presents conformance test suite for new Internet Protocol Security Suite IPsec v2 ..." | ||
Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... The paper presents a model-based approach to conformance testing of TLS implementations ..." | ||
Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
Игорь Бурдонов, Александр Косачев | ||
"... The paper describes the research in formal methods of conformance testing of the target system ..." | ||
Том 18 (2010) | Тестирование конформности на основе соответствия состояний | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... The paper is concerned with conformance testing, which checks conformance relation between behavior ..." | ||
Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... The paper covers theoretical and practical works on conformance testing performed in ISP RAS since ..." | ||
Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... , but the primary objective of those tests are internals of the corresponding implementation rather than conformance ..." | ||
Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич ПРОКОПЬЕВ | ||
"... Use of the formal methods in the development of the protocol implementations improves the quality ..." | ||
Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич ПРОКОПЬЕВ | ||
"... The paper describes a tool for testing the security of cryptographic protocol implementations ..." | ||
Том 23 (2012) | Зависимости между ошибками на классах тестируемых реализаций | Аннотация PDF (Rus) похожие документы |
Александр Косачев | ||
"... exists such that any nonconforming implementation (i.e. an implementation containing an error) contains ..." | ||
Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
И. С. Шугуров, А. А. Мицюк | ||
"... and improvement, which are based on studying their execution history (event logs). Conformance checking is one ..." | ||
Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
С. Е. Прокопьев | ||
"... machine. The paper presents the syntax and semantics of CMN.1 and the principles of implementation ..." | ||
Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
Стефан Мааг | ||
"... Conformance testing in network engineering is a crucial phase in the development of complex ..." | ||
Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
"... , функционирующих с использованием закрытых протоколов. В ходе проводимых исследований было выявлено, что для ..." | ||
Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация похожие документы |
А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
"... though the published work claimed to have verified an Abstract State Machine implementation of that model ..." | ||
Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
"... as a part of conformance checking of a considered system. The method can be used in further research ..." | ||
Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, А. Н. Тугаенко | ||
"... -mail implementations. JavaTESK, an extension of Java programming language, was used to develop formal ..." | ||
Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
П. А. Путро | ||
"... implementation of this approach, you have to take a number of measures to ensure the compatibility of the high ..." | ||
Том 33, № 5 (2021) | Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа | Аннотация PDF (Rus) похожие документы |
Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ | ||
"... программные инструменты. Однако, адекватная спецификация криптографического протокола обычно представляется в ..." | ||
Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) похожие документы |
Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
"... of such models in conformance verification of modeled OS needs to establish rather complex relation between ..." | ||
Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
"... and implementation-level refinements, limitations that must be considered during testing and monitoring of real ..." | ||
Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
"... was first used in 2000 in the development of the test suite for IPv6 implementation. It was the first ..." | ||
Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
"... -known benchmark, the Tokeneer problem. The tool is used to verify parts of the implementation ..." | ||
Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков | ||
"... obey a specific coding style. Two implementations of the suggested approach were developed. The first ..." | ||
Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, А. К. Петренко | ||
"... разработке тестов для промышленных программных и аппаратных систем, включающих телекоммуникационные протоколы ..." | ||
Том 21 (2011) | Оценка Производительности Протокола Реализации Snapshot Isolation | Аннотация PDF (Rus) похожие документы |
Д. Н. Василик | ||
"... a simple SI implementation protocol for distributed DBMS and implemented it in the Apache HBase. This work ..." | ||
Том 28, № 2 (2016) | Подход к обнаружению анти-паттернов в сервис-ориентированных системах | Аннотация похожие документы |
А. С. Югов | ||
"... in industry of software engineering because it allows the implementation of distributed systems characterized ..." | ||
Том 31, № 4 (2019) | Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций | Аннотация похожие документы |
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
"... with timed guards and timeouts (TFSMs). We show that unlike classical FSM conformance relation, the check ..." | ||
1 - 30 из 315 результатов | 1 2 3 4 5 6 7 8 9 10 11 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)