Сортировать по:
Выпуск | Название | |
Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... тестовых воздействий порядка произведения чисел состояний автоматов компонентов, а с учётом гипотезы о ..." | ||
Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..." | ||
Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... Статья посвящена теоретическим и практическим работам по тестированию конформности (conformance ..." | ||
Том 18 (2010) | Тестирование конформности на основе соответствия состояний | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея ..." | ||
Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
"... хосты (hosts). В настоящей работе рассматривается топология, когда каждый хост соединен ровно с одним ..." | ||
Том 27, № 1 (2015) | Обход неизвестного графа коллективом автоматов. Недетерминированный случай | Аннотация PDF (Rus) похожие документы |
Игорь Бурдонов, Александр Косачев | ||
"... относятся верификация и тестирование программных и аппаратных систем, а также исследование сетей, в том ..." | ||
Том 23 (2012) | Зависимости между ошибками на классах тестируемых реализаций | Аннотация PDF (Rus) похожие документы |
Александр Косачев | ||
"... Статья посвящена проблеме зависимости между ошибками, определяемыми спецификацией, и связанной с ..." | ||
Том 26, № 2 (2014) | Обход неизвестного графа коллективом автоматов | Аннотация PDF (Rus) похожие документы |
Игорь Бурдонов, Александр Косачев | ||
"... относятся верификация и тестирование программных и аппаратных систем, а также исследование сетей, в том ..." | ||
Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
Игорь Бурдонов, Александр Косачев | ||
"... Работа посвящена исследованию формальных методов тестирования соответствия (конформности ..." | ||
Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
"... надёжности операционных систем предъявляются повышенные требования. Верификация и тестирование операционных ..." | ||
Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
"... особенности протоколов, затрудняющие тестирование реализаций с помощью технологии UniTESK, а также особенности ..." | ||
Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
"... динамического анализа и тестирования приложений, получающих входные данные через сокеты. Вводится концепция ..." | ||
Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... В данной статье описаны результаты работы по созданию тестового набора для тестирования ..." | ||
Том 29, № 1 (2017) | Обзор состояния области потоковой обработки данных | Аннотация PDF (Rus) похожие документы |
Р. С. Самарев | ||
"... потоковой обработки данных. Уделяется внимание архитектурным аспектам фреймворков, а также связанными с ними ..." | ||
Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... В данной статье представлены результаты проекта по созданию тестового набора для тестирования ..." | ||
Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
Д. А. Максименков | ||
"... метода является то, что он предназначен в первую очередь для отладки конкретных проблемных оптимизаций, а ..." | ||
Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, А. Н. Тугаенко | ||
"... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..." | ||
Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация 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 - технология тестирования, основанная на формальных моделях (или спецификациях) требований ..." | ||
Том 20 (2011) | Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции | Аннотация PDF (Rus) похожие документы |
А. C. Камкин, М. M. Чупилко | ||
Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... автоматического тестирования UniTESK и программный пакет JavaTESK, реализующий эту технологию. Работа выполнялась ..." | ||
Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) похожие документы |
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
"... загрузки данных (Extract, Transform and Load - ETL). Специфика функционального тестирования таких ..." | ||
1 - 30 из 36 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)