Сортировать по:
| Выпуск | Название | |
| Том 27, № 3 (2015) | Метод автоматической конкретизации символических тестовых сценариев | Аннотация PDF (Rus) похожие документы |
| Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин | ||
| "... of automated software verification and testing technology. Tools for automated concretization process based ..." | ||
| Том 18 (2010) | Тестирование конформности на основе соответствия состояний | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... The paper is concerned with conformance testing, which checks conformance relation between behavior ..." | ||
| Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
| "... systems are so important. A variety of circumstances make verification and testing of operating systems ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... . The test suite was constructed by means of the UniTESK automated testing technology and its implementation ..." | ||
| Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
| И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
| "... This article describes an attempt to modify and use Avalanche tool for dynamic analysis and testing ..." | ||
| Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... emulation in QEMU. ELF was based on the following aspects: performing software testing and analysis of real ..." | ||
| Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
| "... This article summarizes the experience gained while developing test suites for conformance testing ..." | ||
| Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... The paper presents a model-based approach to conformance testing of TLS implementations ..." | ||
| Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... The paper presents a model-based approach to conformance testing of Extensible Authentication ..." | ||
| Том 35, № 1 (2023) | Разработка и реализация средства тестирования на устойчивость хранимых данных для приложений, основанных на файловых системах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Кириллович РОДИОНОВ, Сергей Дмитриевич КУЗНЕЦОВ | ||
| "... to expand the available set of checks. The developed tool was integrated into the process of testing ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по тестированию программного обеспечения в контексте DevOps | Аннотация похожие документы |
| Брайан ПАНДО, Авраам ДАВИЛА | ||
| "... mapping study was performed to identify and classify papers on automated testing in DevOps based on 8 ..." | ||
| Том 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 ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... with tests from another implementation. The paper presents an approach to conformance testing of TLS/SSL ..." | ||
| Том 18 (2010) | Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин | ||
| "... The article presents a component-based approach to construction of a model based testing framework ..." | ||
| Том 32, № 1 (2020) | Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики | Аннотация PDF (Rus) похожие документы |
| Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина | ||
| "... The article describes the technology of automatic software testing in relation to industrial ..." | ||
| Том 33, № 6 (2021) | Обзор методов функционального онлайн-тестирования микропроцессоров | Аннотация PDF (Rus) похожие документы |
| Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО | ||
| "... Online testing is a process of functional verification of microprocessors produced in silicon ..." | ||
| Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... The paper describes a tool for testing the security of cryptographic protocol implementations ..." | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... The problem of testing of aggregate systems is considered. The system is described with an oriented ..." | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
| В. В. Никифоров, С. Н. Баранов | ||
| "... with an appropriate automated test suite. Such test suite for testing of an embedded OS is usually organized as a set ..." | ||
| Том 35, № 2 (2023) | Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия | Аннотация похожие документы |
| Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ | ||
| "... The article is devoted to end-to-end testing of the application for managing the configuration ..." | ||
| Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
| Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
| "... Automated testing frameworks are widely used for assuring quality of modern software in secure ..." | ||
| Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
| "... This paper is dedicated to practical research in the field of automated testing and analysis ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... testing) methods to applications with graphical user interfaces. Such applications inherently feature ..." | ||
| Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. Д. Татарников | ||
| "... verification of microprocessors. This approach is also known as testing. Despite continuous progress in test ..." | ||
| Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, А. В. Хорошилов | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... Conformance testing in network engineering is a crucial phase in the development of complex ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... UniTESK (UNIfied TEsting and Specification toolKit) is a testing technology based on formal models ..." | ||
| Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, В. А. Мартиросян | ||
| "... The paper investigates issues of Linux file system driver testing. Linux file system drivers ..." | ||
| Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) похожие документы |
| Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
| "... . In regard of functional testing of such applications there is a specific is a number of combinations ..." | ||
| Том 30, № 6 (2018) | Компонентная верификация операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко, А. В. Хорошилов | ||
| Том 31, № 5 (2019) | Автоматизированное тестирование фронтенда транслятора TCG для Qemu | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян | ||
| "... TCG front-end for that architecture. Testing is necessary to verify correctness of that translator ..." | ||
| Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
| "... requirements prompts the creation of tools for their automated testing. Fuzzing within the security development ..." | ||
| Том 36, № 2 (2024) | Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring | Аннотация похожие документы |
| Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ | ||
| Том 36, № 3 (2024) | Платформа автоматизации фаззинг-тестирования компонентов операционной системы | Аннотация PDF (Rus) похожие документы |
| Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ | ||
| "... outcomes of an automated fuzz-testing platform, as well as its integration with a platform for processing ..." | ||
| 1 - 37 из 62 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
