Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... Тестирование аппаратуры - это процесс, нацеленный на обнаружение неисправностей, внесенных в ..."
 
Том 20 (2011) Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции Аннотация  PDF (Rus)  похожие документы
А. C. Камкин, М. M. Чупилко
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
 
Том 26, № 1 (2014) Тестирование операционных систем Аннотация  PDF (Rus)  похожие документы
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев
"... надёжности операционных систем предъявляются повышенные требования. Верификация и тестирование операционных ..."
 
Том 26, № 1 (2014) Автоматизация тестирования соответствия для телекоммуникационных протоколов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин
"... особенности протоколов, затрудняющие тестирование реализаций с помощью технологии UniTESK, а также особенности ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... динамического анализа и тестирования приложений, получающих входные данные через сокеты. Вводится концепция ..."
 
Том 27, № 2 (2015) Тестирование реализаций клиента протокола TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... В данной статье описаны результаты работы по созданию тестового набора для тестирования ..."
 
Том 27, № 3 (2015) Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей Аннотация  PDF (Rus)  похожие документы
Александр Камкин, Михаил Петроченков
"... кэш-памяти третьего уровня микропроцессора «Эльбрус-8C»; с его помощью было найдено три ошибки. ..."
 
Том 29, № 1 (2017) Обзор состояния области потоковой обработки данных Аннотация  PDF (Rus)  похожие документы
Р. С. Самарев
"... потоковой обработки данных. Уделяется внимание архитектурным аспектам фреймворков, а также связанными с ними ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... В данной статье представлены результаты проекта по созданию тестового набора для тестирования ..."
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... метода является то, что он предназначен в первую очередь для отладки конкретных проблемных оптимизаций, а ..."
 
Том 18 (2010) Тестирование конформности на основе соответствия состояний Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
"... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... , проверка корректности сгенерированного кода (хотя бы для компонентов с повышенными требованиями к ..."
 
Том 26, № 1 (2014) Развитие подхода к разработке тестов UniTESK Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... тестовых воздействий порядка произведения чисел состояний автоматов компонентов, а с учётом гипотезы о ..."
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... предлагается проводить анализ программ, предоставляющих графический интерфейс, с помощью гибридного метода ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... тестировать с помощью соответствующего набора автоматических тестов. Такой набор тестов для тестирования ..."
 
Том 30, № 6 (2018) Конфигурационная сборка варианта ядра Linux для прикладных систем Аннотация  PDF (Rus)  похожие документы
С. В. Козин
"... правильности их идентификации и связей с другими элементами. Затем по этим моделям проводится конфигурирование ..."
 
Том 29, № 1 (2017) Обзор методов и средств генерации тестовых программ для микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. Д. Татарников
"... функциональной верификации микропроцессоров. Этот подход также принято называть тестированием. Несмотря на то ..."
 
Том 27, № 5 (2015) Использование симуляции сбоев при тестировании компонентов ядра ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, А. В. Хорошилов
"... В статье рассматриваются методы тестирования компонентов ядра ОС Linux с использованием симуляции ..."
 
Том 29, № 1 (2017) Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
"... применения методов, полагающихся на участие эксперта в процессе тестирования. С учётом возрастания ..."
 
Том 23 (2012) Тестирование драйверов файловых систем в ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, В. А. Мартиросян
"... хранения, условия нехватки памяти, а также выявлять ошибки, связанные с утечкой ресурсов. ..."
 
Том 30, № 6 (2018) Компонентная верификация операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов
"... демонстрации определенной исследовательской идеи, а ОС, активно используемые в каких-то областях экономики и ..."
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
"... UniTESK - технология тестирования, основанная на формальных моделях (или спецификациях) требований ..."
 
Том 23 (2012) Разработка тестового набора для верификации реализаций протокола безопасности TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... автоматического тестирования UniTESK и программный пакет JavaTESK, реализующий эту технологию. Работа выполнялась ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена теоретическим и практическим работам по тестированию конформности (conformance ..."
 
Том 28, № 1 (2016) Система автоматов: условия детерминизма и тестирование Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..."
 
Том 20 (2011) Нацеленная генерация данных для тестирования приложений над базами данных Аннотация  PDF (Rus)  похожие документы
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов
"... загрузки данных (Extract, Transform and Load - ETL). Специфика функционального тестирования таких ..."
 
Том 18 (2010) Технология создания гетерогенных трасс, их анализа и генерации из них отчётов Аннотация  PDF (Rus)  похожие документы
С. Г. Грошев
"... содержанию и по времени, а также дальнейшего преобразования их в разнообразные отчёты. Описывается ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... многочисленных проектов по верификации операционных систем с помощью различных методов выявлены артефакты ..."
 
Том 21 (2011) WikifyMe: создание модели сравнения для викификаторов Аннотация  PDF (Rus)  похожие документы
С. О. Бартунов, А. А. Болдаков, Д. Ю. Турдаков
 
Том 30, № 6 (2018) Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев
"... хосты (hosts). В настоящей работе рассматривается топология, когда каждый хост соединен ровно с одним ..."
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... необходимости появления версий (релизов) систем. Кроме того, у большой системы всегда есть несколько, а иногда ..."
 
1 - 34 из 34 результатов

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

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