Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 1 (2020) Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики Аннотация  PDF (Rus)  похожие документы
Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина
"... , and methods of testing the user interface. Scripting mechanism based on Python is used for regression testing ..."
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... testing) methods to applications with graphical user interfaces. Such applications inherently feature ..."
 
Том 31, № 5 (2019) Автоматизированное тестирование фронтенда транслятора TCG для Qemu Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян
"... ://github.com/ispras/qdt. The tool is implemented in Python programming language and supports testing ..."
 
Том 27, № 3 (2015) Метод автоматической конкретизации символических тестовых сценариев Аннотация  PDF (Rus)  похожие документы
Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин
"... of automated software verification and testing technology. Tools for automated concretization process based ..."
 
Том 29, № 1 (2017) Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
"... This paper is dedicated to practical research in the field of automated testing and analysis ..."
 
Том 26, № 1 (2014) Тестирование операционных систем Аннотация  PDF (Rus)  похожие документы
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев
"... systems are so important. A variety of circumstances make verification and testing of operating systems ..."
 
Том 27, № 2 (2015) Тестирование реализаций клиента протокола TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... The paper presents a model-based approach to conformance testing of TLS implementations ..."
 
Том 18 (2010) Тестирование конформности на основе соответствия состояний Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... The paper is concerned with conformance testing, which checks conformance relation between behavior ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... The problem of testing of aggregate systems is considered. The system is described with an oriented ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... This article describes an attempt to modify and use Avalanche tool for dynamic analysis and testing ..."
 
Том 26, № 1 (2014) Автоматизация тестирования соответствия для телекоммуникационных протоколов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин
"... This article summarizes the experience gained while developing test suites for conformance testing ..."
 
Том 28, № 1 (2016) Система автоматов: условия детерминизма и тестирование Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... The problem of testing of aggregate systems is considered. The system components are described ..."
 
Том 23 (2012) Тестирование драйверов файловых систем в ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, В. А. Мартиросян
"... The paper investigates issues of Linux file system driver testing. Linux file system drivers ..."
 
Том 26, № 6 (2014) Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей Аннотация  PDF (Rus)  похожие документы
Стефан Мааг
"... Conformance testing in network engineering is a crucial phase in the development of complex ..."
 
Том 29, № 1 (2017) Тестирование возможностей открытого кода BEM++ по решению задач акустики Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов
"... Testing of capabilities of open-source BEM++ code for simulation of acoustics problems at medium ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... The paper presents a model-based approach to conformance testing of Extensible Authentication ..."
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... but also the software being compiled as well as it shown its use in complex testing of the microprocessor ..."
 
Том 24 (2013) Автоматизация регрессионного тестирования при помощи анализа трасс событий Аннотация  PDF (Rus)  похожие документы
Владимир Федотов
"... of documents. In this paper we are discussing regression testing as one of the issues related to that trend ..."
 
Том 23 (2012) Комбинаторная генерация программных конфигураций ОС Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин
"... В статье представлен метод генерации тестов для конфигурационного тестирования на основе ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
"... The paper discusses model-based testing of the modern Internet e-mail protocols, including ..."
 
Том 27, № 5 (2015) Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone Аннотация  PDF (Rus)  похожие документы
И. В. Богомолов, А. В. Алексиянц, А. В. Шер, О. Д. Борисенко, А. И. Аветисян
"... тестирования системы: в целях локализации источника проблем работа сервиса тестируется в различных ..."
 
Том 28, № 3 (2016) Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Аннотация  похожие документы
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин
"... преобразования от абстрактных структур данных к детализированным, использующимся при тестировании целевого кода. ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... with an appropriate automated test suite. Such test suite for testing of an embedded OS is usually organized as a set ..."
 
Том 27, № 5 (2015) Использование симуляции сбоев при тестировании компонентов ядра ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, А. В. Хорошилов
"... В статье рассматриваются методы тестирования компонентов ядра ОС Linux с использованием симуляции ..."
 
Том 30, № 6 (2018) Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев
"... . Testing abilities depend on the accepted hypotheses about the switch operating. Two hypotheses ..."
 
Том 18 (2010) Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин
"... The article presents a component-based approach to construction of a model based testing framework ..."
 
Том 23 (2012) Разработка тестового набора для верификации реализаций протокола безопасности TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... with tests from another implementation. The paper presents an approach to conformance testing of TLS/SSL ..."
 
Том 20 (2011) Нацеленная генерация данных для тестирования приложений над базами данных Аннотация  PDF (Rus)  похожие документы
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов
"... . In regard of functional testing of such applications there is a specific is a number of combinations ..."
 
Том 27, № 3 (2015) Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Аннотация  PDF (Rus)  похожие документы
Павел Петрович Олейник
"... The paper presents a unified model for testing tools for object-oriented application development ..."
 
Том 20 (2011) Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции Аннотация  PDF (Rus)  похожие документы
А. C. Камкин, М. M. Чупилко
 
Том 18 (2010) Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций Аннотация  PDF (Rus)  похожие документы
М. М. Чупилко
"... This paper touches upon the problem of the system testing of interconnected hardware modules when ..."
 
Том 30, № 6 (2018) Тестирование различных методов моделирования внутренних течений несжимаемой жидкости Аннотация  PDF (Rus)  похожие документы
В. Г. Мельникова
"... accuracy and high computing efficiency. The aim of this study is an overview, testing and comparison ..."
 
Том 29, № 1 (2017) Обзор методов и средств генерации тестовых программ для микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. Д. Татарников
"... verification of microprocessors. This approach is also known as testing. Despite continuous progress in test ..."
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
"... UniTESK (UNIfied TEsting and Specification toolKit) is a testing technology based on formal models ..."
 
Том 30, № 6 (2018) Компонентная верификация операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов
 
Том 30, № 6 (2018) Конфигурационная сборка варианта ядра Linux для прикладных систем Аннотация  PDF (Rus)  похожие документы
С. В. Козин
"... version is configured as a configuration file. This file is verified and undergoes comprehensive testing ..."
 
Том 23 (2012) Зависимости между ошибками на классах тестируемых реализаций Аннотация  PDF (Rus)  похожие документы
Александр Косачев
"... as a class of implementations under testing. Particular interaction semantics and/or various hypotheses ..."
 
Том 31, № 5 (2019) Методы оценки надежности программных и технических систем Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... The paper covers theoretical and practical works on conformance testing performed in ISP RAS since ..."
 
Том 24 (2013) Вывод типов для языка Python Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... The article presents type inference for programs written in Python programming language. At first ..."
 
1 - 40 из 175 результатов 1 2 3 4 5 > >> 

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

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