Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 1 (2014) Развитие подхода к разработке тестов UniTESK Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко
"... создания тестов на основе формальных моделей. Суммируется опыт использования UniTESK в крупных проектах по ..."
 
Том 26, № 6 (2014) Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей Аннотация  PDF (Rus)  похожие документы
Стефан Мааг
"... , что тестирование на основе формальных моделей достаточно хорошо развито, использование этого подхода ..."
 
Том 26, № 1 (2014) Тестирование операционных систем Аннотация  PDF (Rus)  похожие документы
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев
"... Работа операционной системы лежит в основе функционирования любой компьютерной системы. Сбои и ..."
 
Том 26, № 1 (2014) Автоматизация тестирования соответствия для телекоммуникационных протоколов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин
"... В данной статье обобщается опыт разработки тестовых наборов для тестирования соответствия ..."
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
"... UniTESK - технология тестирования, основанная на формальных моделях (или спецификациях) требований ..."
 
Том 18 (2010) Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин
"... В статье представлен подход к построению архитектуры инструментария для тестирования на основе ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... , используя для этого более строгие и формальные подходы. На основе опыта ИСП РАН, полученного при выполнении ..."
 
Том 27, № 2 (2015) Тестирование реализаций клиента протокола TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... используются в формальной модели протокола. Этот подход доказал свою эффективность, поскольку обеспечил ..."
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
"... безопасности. Эта модель является дальнейшим развитием МРОСЛ-ДП-модели, она формализована на языке Event-B и ее ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... их формальных моделей и расширения JavaTesK, реализующего эту технологию на языке программирования ..."
 
Том 23 (2012) Разработка тестового набора для верификации реализаций протокола безопасности TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... автоматического тестирования UniTESK и программный пакет JavaTESK, реализующий эту технологию. Работа выполнялась ..."
 
Том 27, № 3 (2015) Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей Аннотация  PDF (Rus)  похожие документы
Александр Камкин, Михаил Петроченков
"... состоит в динамическом уточнении поведения модели на основе реакций, полученных от системы. При ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
"... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..."
 
Том 32, № 6 (2020) Верификация соответствия между разноуровневыми моделями функциональных требований Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович ХОРОШИЛОВ
"... В статье предлагаются методы доказательства соответствия между разноуровневыми моделями ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... когерентности используются для поддержания согласованности памяти. Реализация подсистемы памяти на языке ..."
 
Том 32, № 6 (2020) Мониторинг и тестирование на основе многоуровневых спецификаций программ Аннотация  PDF (Rus)  похожие документы
Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ
"... модели. При тестировании на основе формальных моделей и при мониторинге систем с целью проверки ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
"... вариабельность кода техники анализа с итеративным уточнением модели поведения системы на основе контрпримеров. ..."
 
Том 29, № 3 (2017) ADV_SPM - Формальные модели политики безопасности на практике Аннотация  PDF (Rus)  похожие документы
А. В. Хорошилов, И. В. Щепетков
"... , решаемые этим семейством, и вопросы, которые возникают при попытке интерпретировать его требования. На ..."
 
Том 29, № 3 (2017) О проблеме представления формальной модели политики безопасности операционных систем Аннотация  PDF (Rus)  похожие документы
П. Н. Девянин
"... «Формальная модель политики безопасности», в том числе по определению языка, глубины и детализации ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... между разработчиками в ходе совместной разработки. Мы используем формальные модели для описания ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... .п.) уровня исходного кода для верификации машинного кода. Инструмент основан на формальной спецификации ..."
 
Том 18 (2010) Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций Аннотация  PDF (Rus)  похожие документы
М. М. Чупилко
"... краткий анализ возможностей построения тестовой системы на основе использования формальных спецификаций, а ..."
 
Том 28, № 3 (2016) Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Аннотация  похожие документы
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков
"... устройства. Кроме того, приведен новый метод, основанный на динамическом уточнении поведенческой модели на ..."
 
Том 30, № 5 (2018) Проверка функциональных свойств смарт-контрактов методом символьной верификации модели Аннотация  PDF (Rus)  похожие документы
Е. С. Шишкин
"... Ethereum методом символьной верификации модели. Описанный подход позволяет верифицировать выполнение 3х ..."
 
Том 20 (2011) Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции Аннотация  PDF (Rus)  похожие документы
А. C. Камкин, М. M. Чупилко
"... оракулов на их основе, который упрощает повторное использование тестовых систем, тем самым снижая затраты ..."
 
Том 26, № 4 (2014) Автоматическое извлечение терминов из коллекции текстов предметной области с помощью Википедии Аннотация  PDF (Rus)  похожие документы
Н. А. Астраханце
"... кандидатов как положительных примеров для построения модели алгоритма обучения на основе положительных и ..."
 
Том 30, № 6 (2018) Конфигурационная сборка варианта ядра Linux для прикладных систем Аннотация  PDF (Rus)  похожие документы
С. В. Козин
"... прикладными функциями. На их основе создается модель вариабельности из базовых характеристик ОС и модель ..."
 
Том 29, № 5 (2017) Логика первого порядка для задания требований к безопасному программному коду Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... безопасности информации, обрабатываемой на объектах, при этом является создание изолированной программной среды ..."
 
Том 27, № 3 (2015) Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных Аннотация  PDF (Rus)  похожие документы
А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов
"... структуру классов объектов, на основе онтологического анализа эмпирических данных о целевой предметной ..."
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
"... моделей и формальных спецификаций. Эта возможность является основой предлагаемого в работе метода ..."
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
 
Том 28, № 3 (2016) Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов, В. Ю. Абрамов
"... оценивается неоднозначно. Особенность предлагаемого подхода - в том, что он ориентирован на работу в условиях ..."
 
Том 26, № 1 (2014) Статический анализатор Svace для поиска дефектов в исходном коде программ Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов
"... Svace. Инструмент позволяет находить ошибки и потенциальные уязвимости в исходном коде программ на ..."
 
Том 31, № 2 (2019) Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных Аннотация  PDF (Rus)  похожие документы
Инь Сан, Зиджун Жао, Сяобин Ма, Чжихуэй Ду
"... возможность поиска кратковременных событий микролинзирования (ML) в режиме реального времени на основе данных ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... При разработке систем-на-кристалле необходимо проводить верификацию как отдельных подмодулей ..."
 
Том 26, № 6 (2014) Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом Аннотация  PDF (Rus)  похожие документы
Д. Ривера, Н. Кушик, К. Фьюензалида, А. Кавалли, Н. Евтушенко
"... рассматривается новый подход к моделированию мультимедиа ОТТ сервисов, направленный на интегрирование в модели как ..."
 
Том 30, № 1 (2018) Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Аннотация  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... предварительно выбрать один из альтернативных подходов. В основе одного из двух подходов, рассматриваемых в этой ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... Тестирование аппаратуры - это процесс, нацеленный на обнаружение неисправностей, внесенных в ..."
 
Том 32, № 2 (2020) HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... . Визуальные языки обычно основаны на графовых моделях, однако используемые типы графов имеют определенные ..."
 
Том 30, № 4 (2018) К формальной верификации стандартов кибербезопасности Аннотация  похожие документы
Томаш Кулик, Питер Горм Ларсен
"... блоки, необходимые для формального описания системы; составляется формальная модель системы; модель ..."
 
Том 29, № 4 (2017) Обнаружение неточно повторяющегося текста в документации программного обеспечения Аннотация  похожие документы
Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов
"... неточных повторов в документации программного обеспечения. Алгоритм основан на модели N-грамм и реализован ..."
 
Том 30, № 3 (2018) О верификации конечных автоматов-преобразователей над полугруппами Аннотация  похожие документы
А. Р. Гнатенко, В. А. Захаров
"... . В статье исследуются задача верификации программ такого вида. В качестве формальных моделей для ..."
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... поддержке решений для второй очереди исследовательской системы ИСП РАН и созданной на ее основе системе ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... верификации машинного кода, построенной на основе предложенного подхода, с использованием тестовых примеров ..."
 
1 - 44 из 189 результатов 1 2 3 4 5 > >> 

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

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