Сортировать по:
| Выпуск | Название | |
| Том 37, № 3: май-июнь | Тестирование в жизненном цикле автоматизированных систем | Аннотация 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) похожие документы |
| Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
| "... и надежности подталкивает к созданию инструментов их автоматизированного тестирования. Фаззинг-тестирование ..." | ||
| Том 37, № 4: часть 2. июль-август | DIFFuzzer: обнаружение ошибок файловых систем с помощью дифференциального фаззинга серого ящика | Аннотация похожие документы |
| Вячеслав Максимович КОВАЛЕВСКИЙ, Валерий Владимирович КЕЧИН, Владимир Михайлович ИЦЫКСОН | ||
| Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация PDF (Rus) похожие документы |
| Наталья Сергеевна ЕРОХИНА | ||
| "... Фаззинг-тестирование JavaScript интерпретаторов является одним из наиболее сложных направлений ..." | ||
| Том 36, № 3 (2024) | Платформа автоматизации фаззинг-тестирования компонентов операционной системы | Аннотация PDF (Rus) похожие документы |
| Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ | ||
| "... Автоматизация процессов тестирования и анализа безопасности играет важную роль при разработке ..." | ||
| Том 36, № 2 (2024) | Набор методических тестовых программ для численного моделирования параметров высокопроизводительных вычислительных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Александр Викторович ЕРШОВ, Артем Владимирович КАРПЕЕВ, Рим Фанавиевич МУХАМАДИЕВ, Елена Михайловна РОМАНОВА, Денис Александрович УШАКОВ, Вадим Олегович АНИСОВ | ||
| Том 36, № 5 (2024) | Программная среда выполнения методических прикладных тестов для численного исследования параметров высокопроизводительных вычислительных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН | ||
| Том 37, № 3: май-июнь | Разработка системы оценки результатов тестирования когнитивной функции при введении эллипсисов в текстах планиметрических задач | Аннотация похожие документы |
| Ксения Aлександровна НАЙДЁНОВА, Елена Сергеевна БУЛЫКИНА, Татьяна Aлександровна МАРТИРОВА | ||
| "... в русском языке. Тестирование этой функции проводилось с помощью системы с открытым исходным кодом. Материал ..." | ||
| Том 38, № 1: январь-февраль | Легковесная проверка согласованности файловой системы после сбоев с помощью дифференциального фаззинга | Аннотация похожие документы |
| Вячеслав Максимович КОВАЛЕВСКИЙ, Валерий Владимирович КЕЧИН, Александр Сергеевич ЯНИН, Владимир Михайлович ИЦЫКСОН | ||
| "... , основанную на дифференциальном фаззинге. Экспериментальное тестирование обновленного инструмента ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... автоматического тестирования UniTESK и программный пакет JavaTESK, реализующий эту технологию. Работа выполнялась ..." | ||
| Том 18 (2010) | Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин | ||
| "... Статья относится к области системного функционального (core-level) тестирования микропроцессоров ..." | ||
| Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
| С. В. Козин | ||
| "... варианта ОС в виде конфигурационного файла. Этот файл верифицируется, и проходит комплексное тестирование ..." | ||
| Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... Работа посвящена описанию инструмента тестирования безопасности реализаций криптографических ..." | ||
| Том 38, № 3: часть 4. май-июнь | Обзор языковых виртуальных машин и подходов к их тестированию | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич ПРОЦЕНКО | ||
| "... реализации ВМ процесс разработки обязательно включает в себя этап тестирования. В обзоре рассматриваются ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... Статья посвящена теоретическим и практическим работам по тестированию конформности (conformance ..." | ||
| Том 37, № 1: январь-февраль | Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич ПРОЦЕНКО | ||
| "... реализации ВМ процесс разработки включает в себя этап тестирования. При тестировании необходимо ответить ..." | ||
| Том 37, № 1: январь-февраль | Фреймворк автоматизации тестирования на гонки по данным | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН | ||
| "... сценариев тестирования на гонки по данным по аналогии с широко применяемыми тестовыми фреймворками для ..." | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными ..." | ||
| Том 27, № 1 (2015) | Обход неизвестного графа коллективом автоматов. Недетерминированный случай | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... относятся верификация и тестирование программных и аппаратных систем, а также исследование сетей, в том ..." | ||
| 1 - 53 из 82 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
