Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 6 (2014) Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей Аннотация  PDF (Rus)  похожие документы
Стефан Мааг
"... при тестировании протоколов маршрутизации в беспроводных самоорганизующихся сетях (ad-hoc) требует ..."
 
Том 27, № 2 (2015) Тестирование реализаций клиента протокола TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... В данной статье описаны результаты работы по созданию тестового набора для тестирования ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
"... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..."
 
Том 26, № 1 (2014) Автоматизация тестирования соответствия для телекоммуникационных протоколов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин
"... В данной статье обобщается опыт разработки тестовых наборов для тестирования соответствия ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена теоретическим и практическим работам по тестированию конформности (conformance ..."
 
Том 32, № 6 (2020) Мониторинг и тестирование на основе многоуровневых спецификаций программ Аннотация  PDF (Rus)  похожие документы
Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ
"... модели. При тестировании на основе формальных моделей и при мониторинге систем с целью проверки ..."
 
Том 18 (2010) Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций Аннотация  PDF (Rus)  похожие документы
М. М. Чупилко
"... В данной статье поднята проблема системного тестирования взаимосвязанных модулей аппаратуры, когда ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... В данной статье представлены результаты проекта по созданию тестового набора для тестирования ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... , используя для этого более строгие и формальные подходы. На основе опыта ИСП РАН, полученного при выполнении ..."
 
Том 23 (2012) Разработка тестового набора для верификации реализаций протокола безопасности TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... автоматического тестирования UniTESK и программный пакет JavaTESK, реализующий эту технологию. Работа выполнялась ..."
 
Том 26, № 1 (2014) Развитие подхода к разработке тестов UniTESK Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко
"... создания тестов на основе формальных моделей. Суммируется опыт использования UniTESK в крупных проектах по ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... возможности переиспользования формальных спецификаций (пред- и постусловий, инвариантов циклов, лемм и т ..."
 
Том 31, № 6 (2019) Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Аннотация  PDF (Rus)  похожие документы
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков
"... исполнение, рандомизированное тестирование и статический анализ программ. Разработаны методы направленного ..."
 
Том 27, № 3 (2015) Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. С. Проценко, А. Д. Татарников
"... управления памятью микропроцессора. В основе метода лежат формальные спецификации инструкций доступа к памяти ..."
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
"... UniTESK - технология тестирования, основанная на формальных моделях (или спецификациях) требований ..."
 
Том 31, № 2 (2019) Безопасная и надежная передача данных в MANET на основе принципов вычислительно стойкого разделения секрета Аннотация  PDF (Rus)  похожие документы
Николай Иванович Червяков, Максим Анатольевич Дерябин, Антон Сергеевич Назаров, Михаил Григорьевич Бабенко, Николай Николаевич Кучеров, Андрей Владимирович Гладков, Глеб Игоревич Радченко
"... Mobile Ad-Hoc Networks (MANET) require special approaches to the design and selection of data ..."
 
Том 29, № 4 (2017) Инструмент для анализа поведения вполне структурированных систем переходов Аннотация  похожие документы
Л. В. Дворянский, В. Е. Михайлов
"... формализмы близко к их формальному определению. Таким образом упрощается создание и изменение новых ..."
 
Том 26, № 6 (2014) Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях Аннотация  PDF (Rus)  похожие документы
В. Х. Ла, А. Кавалли
"... Развитие технологий и снижение стоимости беспроводных сенсорных систем привело к открытию новых ..."
 
Том 32, № 6 (2020) Верификация соответствия между разноуровневыми моделями функциональных требований Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович ХОРОШИЛОВ
 
Том 30, № 4 (2018) К формальной верификации стандартов кибербезопасности Аннотация  похожие документы
Томаш Кулик, Питер Горм Ларсен
"... валидируется, а не верифицируется формально, что, как правило, не дает убедительных доказательств правильного ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... относятся верификация и тестирование программных и аппаратных систем, а также исследование сетей, в том ..."
 
Том 23 (2012) Зависимости между ошибками на классах тестируемых реализаций Аннотация  PDF (Rus)  похожие документы
Александр Косачев
"... из этого подмножества. Предлагается формальная модель тестового взаимодействия самого общего вида и ..."
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... относятся верификация и тестирование программных и аппаратных систем, а также исследование сетей, в том ..."
 
Том 22 (2012) Финальные модели спецификации Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Работа посвящена исследованию формальных методов тестирования соответствия (конформности ..."
 
Том 26, № 1 (2014) Тестирование операционных систем Аннотация  PDF (Rus)  похожие документы
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев
"... надёжности операционных систем предъявляются повышенные требования. Верификация и тестирование операционных ..."
 
Том 29, № 6 (2017) Формальная верификация библиотечных функций ядра Linux Аннотация  PDF (Rus)  похожие документы
Д. В. Ефремов, М. У. Мандрыкин
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
"... неизбежным поступком в силу отсутствия полноценных систем формальной верификации машинного кода. Стоит также ..."
 
Том 29, № 3 (2017) ADV_SPM - Формальные модели политики безопасности на практике Аннотация  PDF (Rus)  похожие документы
А. В. Хорошилов, И. В. Щепетков
"... простом примере представляется подход к формализации политик безопасности при помощи языка формальных ..."
 
Том 29, № 3 (2017) О проблеме представления формальной модели политики безопасности операционных систем Аннотация  PDF (Rus)  похожие документы
П. Н. Девянин
"... «Формальная модель политики безопасности», в том числе по определению языка, глубины и детализации ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... между разработчиками в ходе совместной разработки. Мы используем формальные модели для описания ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... динамического анализа и тестирования приложений, получающих входные данные через сокеты. Вводится концепция ..."
 
Том 27, № 3 (2015) О реализации формального метода верификации масштабируемых систем с когерентной памятью Аннотация  PDF (Rus)  похожие документы
Владимир Буренков
"... масштабируемых систем. На основании литературы изложен формальный метод параметризованной проверки свойств ..."
 
Том 32, № 6 (2020) Формальная модель партицированной операционной системы реального времени на Promela Аннотация  похожие документы
Сергей Михайлович СТАРОЛЕТОВ
"... на основе модели – это метод формальной проверки программного обеспечения, при котором ..."
 
Том 32, № 6 (2020) Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич БУРЕНКОВ
 
Том 31, № 2 (2019) Интеграция беспроводной связи для оптимизации распознавания окружения и расчёта траектории движения группы роботов Аннотация  PDF (Rus)  похожие документы
Михаил Валерьевич Иванов, Олег Юрьевич Сергиенко, Вера Валентиновна Тырса, Ларс Линднер, Хулио Сезар Родригес-Киньонес, Венди Флорес-Фуэнтес, Мойзес Ривас-Лопес, Даниэль Эрнандес-Бальбуэна, Хуан Иван Ньето Иполито
 
Том 33, № 1 (2021) Последние тенденции в развитии подводной беспроводной сенсорной сети: систематический обзор литературы Аннотация  PDF (Rus)  похожие документы
Аиша ТАРИК, Фарук АЗАМ, Мухаммад Васим АНВАР, Тайиба ЗАХУР, Абдул Вахаб МУЗАФФАР
"... Подводная беспроводная сенсорная сеть (Underwater Wireless Sensor Network, UWSN) – это новая ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными ..."
 
Том 28, № 1 (2016) Система автоматов: условия детерминизма и тестирование Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными ..."
 
Том 23 (2012) Тестирование драйверов файловых систем в ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, В. А. Мартиросян
"... В статье исследуется проблема тестирования драйверов файловых систем ОС Linux. По результатам ..."
 
Том 18 (2010) Тестирование конформности на основе соответствия состояний Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея ..."
 
Том 31, № 5 (2019) Автоматизированное тестирование фронтенда транслятора TCG для Qemu Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян
"... системы тестирования фронтенда TCG используют подход на основе сравнения с эталоном той же процессорной ..."
 
Том 27, № 5 (2015) Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone Аннотация  PDF (Rus)  похожие документы
И. В. Богомолов, А. В. Алексиянц, А. В. Шер, О. Д. Борисенко, А. И. Аветисян
"... тестирования системы: в целях локализации источника проблем работа сервиса тестируется в различных ..."
 
Том 29, № 1 (2017) Обзор состояния области потоковой обработки данных Аннотация  PDF (Rus)  похожие документы
Р. С. Самарев
 
1 - 44 из 194 результатов 1 2 3 4 5 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)