Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 3 (2025) Тестирование в жизненном цикле автоматизированных систем Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН
"... Тестирование ПО автоматизированных систем на разных стадиях их жизненного цикла отличается по ..."
 
Том 26, № 1 (2014) Тестирование операционных систем Аннотация  PDF (Rus)  похожие документы
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев
"... надёжности операционных систем предъявляются повышенные требования. Верификация и тестирование операционных ..."
 
Том 26, № 1 (2014) Автоматизация тестирования соответствия для телекоммуникационных протоколов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин
"... В данной статье обобщается опыт разработки тестовых наборов для тестирования соответствия ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... динамического анализа и тестирования приложений, получающих входные данные через сокеты. Вводится концепция ..."
 
Том 33, № 5 (2021) Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... тестирования и анализа ПО реальных устройств в среде, максимально приближенной к их «родной» среде выполнения ..."
 
Том 27, № 2 (2015) Тестирование реализаций клиента протокола TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... В данной статье описаны результаты работы по созданию тестового набора для тестирования ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... В данной статье представлены результаты проекта по созданию тестового набора для тестирования ..."
 
Том 35, № 1 (2023) Разработка и реализация средства тестирования на устойчивость хранимых данных для приложений, основанных на файловых системах Аннотация  PDF (Rus)  похожие документы
Дмитрий Кириллович РОДИОНОВ, Сергей Дмитриевич КУЗНЕЦОВ
"... процесс тестирования реализации долговечного журнала, подобного журналу упреждающей записи – компоненту ..."
 
Том 35, № 1 (2023) Систематический обзор литературы по тестированию программного обеспечения в контексте DevOps Аннотация  похожие документы
Брайан ПАНДО, Авраам ДАВИЛА
"... факторов. В частности, было опубликовано несколько результатов исследований по автоматизации тестирования ..."
 
Том 29, № 1 (2017) Обзор состояния области потоковой обработки данных Аннотация  PDF (Rus)  похожие документы
Р. С. Самарев
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
 
Том 24 (2013) Автоматизация регрессионного тестирования при помощи анализа трасс событий Аннотация  PDF (Rus)  похожие документы
Владимир Федотов
 
Том 23 (2012) Комбинаторная генерация программных конфигураций ОС Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин
"... В статье представлен метод генерации тестов для конфигурационного тестирования на основе ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
"... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..."
 
Том 26, № 1 (2014) Развитие подхода к разработке тестов UniTESK Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко
 
Том 18 (2010) Тестирование конформности на основе соответствия состояний Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея ..."
 
Том 32, № 1 (2020) Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики Аннотация  PDF (Rus)  похожие документы
Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина
"... В статье описаны технологии автоматического тестирования программного обеспечения применительно к ..."
 
Том 33, № 6 (2021) Обзор методов функционального онлайн-тестирования микропроцессоров Аннотация  PDF (Rus)  похожие документы
Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО
"... Функциональным онлайн-тестированием называется верификация опытных образцов микропроцессоров или ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... тестировать с помощью соответствующего набора автоматических тестов. Такой набор тестов для тестирования ..."
 
Том 34, № 4 (2022) Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС Аннотация  PDF (Rus)  похожие документы
Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН
"... Фаззинг-тестирование в рамках цикла непрерывной разработки является необходимым инструментом ..."
 
Том 35, № 2 (2023) Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия Аннотация  похожие документы
Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ
"... Статья посвящена сквозному тестированию приложения для управления конфигурацией виртуальной ..."
 
Том 33, № 3 (2021) Power Fx: Low-code язык для инструментов совместной работы Аннотация  похожие документы
Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ
 
Том 33, № 3 (2021) Автоматизированная система тестирования инструментов статического анализа кода Аннотация  похожие документы
Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА
"... Среды автоматизированного тестирования широко используются для обеспечения качества современного ..."
 
Том 29, № 1 (2017) Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
"... интерфейсом преобладают полуавтоматические подходы к тестированию, требующие участия эксперта для создания ..."
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... возможности анализа и тестирования программ, и выделены средства GUITAR и Coffee Machine, совмещение которых ..."
 
Том 29, № 1 (2017) Обзор методов и средств генерации тестовых программ для микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. Д. Татарников
"... функциональной верификации микропроцессоров. Этот подход также принято называть тестированием. Несмотря на то ..."
 
Том 27, № 5 (2015) Использование симуляции сбоев при тестировании компонентов ядра ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, А. В. Хорошилов
"... В статье рассматриваются методы тестирования компонентов ядра ОС Linux с использованием симуляции ..."
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
"... UniTESK - технология тестирования, основанная на формальных моделях (или спецификациях) требований ..."
 
Том 23 (2012) Тестирование драйверов файловых систем в ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, В. А. Мартиросян
"... В статье исследуется проблема тестирования драйверов файловых систем ОС Linux. По результатам ..."
 
Том 20 (2011) Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции Аннотация  PDF (Rus)  похожие документы
А. C. Камкин, М. M. Чупилко
 
Том 18 (2010) Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин
"... В статье представлен подход к построению архитектуры инструментария для тестирования на основе ..."
 
Том 30, № 6 (2018) Компонентная верификация операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов
 
Том 31, № 5 (2019) Методы оценки надежности программных и технических систем Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин
 
Том 31, № 5 (2019) Автоматизированное тестирование фронтенда транслятора TCG для Qemu Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян
"... системы тестирования фронтенда TCG используют подход на основе сравнения с эталоном той же процессорной ..."
 
Том 33, № 4 (2021) Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов Аннотация  PDF (Rus)  похожие документы
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН
"... надежности подталкивает к созданию инструментов их автоматизированного тестирования. Фаззинг-тестирование в ..."
 
Том 35, № 5 (2023) Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов Аннотация  PDF (Rus)  похожие документы
Наталья Сергеевна ЕРОХИНА
"... Фаззинг-тестирование JavaScript интерпретаторов является одним из наиболее сложных направлений в ..."
 
Том 36, № 3 (2024) Платформа автоматизации фаззинг-тестирования компонентов операционной системы Аннотация  PDF (Rus)  похожие документы
Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ
"... Автоматизация процессов тестирования и анализа безопасности играет важную роль при разработке ..."
 
Том 36, № 2 (2024) Набор методических тестовых программ для численного моделирования параметров высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Александр Викторович ЕРШОВ, Артем Владимирович КАРПЕЕВ, Рим Фанавиевич МУХАМАДИЕВ, Елена Михайловна РОМАНОВА, Денис Александрович УШАКОВ, Вадим Олегович АНИСОВ
 
1 - 39 из 75 результатов 1 2 > >> 

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

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