Сортировать по:
Выпуск | Название | |
Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
"... В данной статье рассматривается модификация и применение инструмента Avalanche для проведения ..." | ||
Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
"... . В статье рассматриваются все эти особенности, описываются подходы и инструменты тестирования ..." | ||
Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
"... В данной статье обобщается опыт разработки тестовых наборов для тестирования соответствия ..." | ||
Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... В данной статье описаны результаты работы по созданию тестового набора для тестирования ..." | ||
Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
Д. А. Максименков | ||
"... В статье рассматривается проблемы отладки оптимизирующих компиляторов. В качестве эффективного ..." | ||
Том 34, № 4 (2022) | Автоматическое тестирование LLVM-программ со сложными входными структурами данных | Аннотация PDF (Rus) похожие документы |
Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ | ||
"... тестов и поиска ошибок/уязвимостей в программах. Данная работа посвящена созданию практичного метода к ..." | ||
Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... В данной статье представлены результаты проекта по созданию тестового набора для тестирования ..." | ||
Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин | ||
"... В статье представлен метод генерации тестов для конфигурационного тестирования на основе ..." | ||
Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, А. Н. Тугаенко | ||
"... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..." | ||
Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, А. К. Петренко | ||
"... В статье излагаются основные принципы, на которых основана технология UniTESK, предназначенная для ..." | ||
Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. Д. Татарников | ||
"... В работе дается обзор существующих методов и средств генерации тестовых программ для ..." | ||
Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
"... применения методов, полагающихся на участие эксперта в процессе тестирования. С учётом возрастания ..." | ||
Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
"... применения подходов автоматического обхода путей выполнения на основе символьного исполнения. В рамках статьи ..." | ||
Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
В. В. Никифоров, С. Н. Баранов | ||
"... тестировать с помощью соответствующего набора автоматических тестов. Такой набор тестов для тестирования ..." | ||
Том 18 (2010) | Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин | ||
"... В статье представлен подход к построению архитектуры инструментария для тестирования на основе ..." | ||
Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
А. В. Цыварев, А. В. Хорошилов | ||
"... В статье рассматриваются методы тестирования компонентов ядра ОС Linux с использованием симуляции ..." | ||
Том 30, № 6 (2018) | Компонентная верификация операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов | ||
"... В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации ..." | ||
Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
"... UniTESK - технология тестирования, основанная на формальных моделях (или спецификациях) требований ..." | ||
Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
А. В. Цыварев, В. А. Мартиросян | ||
"... В статье исследуется проблема тестирования драйверов файловых систем ОС Linux. По результатам ..." | ||
Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... тестирования существующих реализаций сервера TLS. Эти результаты показывают, что предложенный в данной работе ..." | ||
Том 18 (2010) | Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин | ||
"... вида. В конце приводятся результаты апробации реализации метода для тестирования модулей управления ..." | ||
Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
С. В. Козин | ||
"... варианта ОС в виде конфигурационного файла. Этот файл верифицируется, и проходит комплексное тестирование ..." | ||
Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
"... фундаментальной проблемой, для решения которой применяют разнообразные средства функциональной верификации. В ..." | ||
Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
"... В данной работе ставится задача разработки методов качественной верификации операционных систем ..." | ||
Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) похожие документы |
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
"... программного обеспечения. В частности, такие приложения решают задачи интеграции данных в области интеграции ..." | ||
Том 21 (2011) | WikifyMe: создание модели сравнения для викификаторов | Аннотация PDF (Rus) похожие документы |
С. О. Бартунов, А. А. Болдаков, Д. Ю. Турдаков | ||
"... Поиск взаимосвязей между словами в тестке и статьями “Википедии”- чрезвычайно популярная задача ..." | ||
Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
"... в зависимости от свойств графа физических связей. Исследуется задача тестирования настройки ..." | ||
1 - 27 из 27 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)