Сортировать по:
| Выпуск | Название | |
| Том 37, № 1 (2025) | Фреймворк автоматизации тестирования на гонки по данным | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН | ||
| "... , specifically data races. We design a test automation framework to develop data race revealing testing scenarios ..." | ||
| Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
| "... This article summarizes the experience gained while developing test suites for conformance testing ..." | ||
| Том 36, № 2 (2024) | Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring | Аннотация похожие документы |
| Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ | ||
| "... This paper considers the automated unit tests generation for programs written in Java using ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... . The test suite was constructed by means of the UniTESK automated testing technology and its implementation ..." | ||
| Том 18 (2010) | Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций | Аннотация PDF (Rus) похожие документы |
| М. М. Чупилко | ||
| "... This paper touches upon the problem of the system testing of interconnected hardware modules when ..." | ||
| Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) похожие документы |
| Александр Камкин, Михаил Петроченков | ||
| "... The paper describes a method for constructing test oracles for memory subsystems of multicore ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... with tests from another implementation. The paper presents an approach to conformance testing of TLS/SSL ..." | ||
| Том 37, № 3 (2025) | Тестирование в жизненном цикле автоматизированных систем | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН | ||
| "... of the test object and the resources necessary for a specific type of testing for its application change ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... application functionality. We present a hybrid approach that combines commonly used GUI test automation ..." | ||
| Том 27, № 3 (2015) | Метод автоматической конкретизации символических тестовых сценариев | Аннотация PDF (Rus) похожие документы |
| Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин | ||
| "... Described in the paper is an approach to symbolic test scenarios concretization in the scope ..." | ||
| Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
| "... This paper is dedicated to practical research in the field of automated testing and analysis ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... In this article, an approach of detailing verified test scenarios for developed software system ..." | ||
| Том 35, № 6 (2023) | Инструмент для поиска гонок по данным RaceHunter | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ | ||
| "... relatively short program executions, e.g. organized by system tests. The latter is the primary use case ..." | ||
| Том 27, № 6 (2015) | Облачный фреймворк для интеграции сетевых экспертных и аналитических средств | Аннотация PDF (Rus) похожие документы |
| А. Н. Ермаков, С. В. Клименко, А. А. Меркулов, С. А. Панфилов, А. Н. Райков | ||
| "... , cognitive modeling, visualization and analysis of Big Data. Examples of practical testing of the individual ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| "... гонки используется специальная модель памяти, которая позволяет разделять области памяти на ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по тестированию программного обеспечения в контексте DevOps | Аннотация похожие документы |
| Брайан ПАНДО, Авраам ДАВИЛА | ||
| "... , several studies have been published on software test automation, which is a cornerstone for the continuous ..." | ||
| Том 18 (2010) | Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин | ||
| "... In this work, some issues of automated construction of test programs intended for functional ..." | ||
| Том 32, № 1 (2020) | Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики | Аннотация PDF (Rus) похожие документы |
| Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина | ||
| "... systems of computer graphics and optical simulation. Test automation becomes vital in the face of limited ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... The paper presents the basic principles of UniTESK technology intended for test construction based ..." | ||
| Том 36, № 3 (2024) | Платформа автоматизации фаззинг-тестирования компонентов операционной системы | Аннотация PDF (Rus) похожие документы |
| Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ | ||
| "... Automation of security analysis processes plays an important role in software development, because ..." | ||
| Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин | ||
| "... to force the operating system under test to use the value of certain parameter. Usage conditions require ..." | ||
| Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. Д. Татарников | ||
| "... verification of microprocessors. This approach is also known as testing. Despite continuous progress in test ..." | ||
| Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... The paper presents a model-based approach to conformance testing of TLS implementations ..." | ||
| Том 23 (2012) | Зависимости между ошибками на классах тестируемых реализаций | Аннотация PDF (Rus) похожие документы |
| Александр Косачев | ||
| "... and the related problem of test optimization. There is a dependency between errors if a strict subset of errors ..." | ||
| Том 18 (2010) | Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин | ||
| "... The article presents a component-based approach to construction of a model based testing framework ..." | ||
| Том 33, № 6 (2021) | Обзор методов функционального онлайн-тестирования микропроцессоров | Аннотация PDF (Rus) похожие документы |
| Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО | ||
| "... testing systems (online test program generators), reviews existing solutions in this area ..." | ||
| Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... The paper describes a tool for testing the security of cryptographic protocol implementations ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... communicating systems. Model-based testing allows to automatize the testing process by generating test suites ..." | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... The problem of testing of aggregate systems is considered. The system is described with an oriented ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... of test coverage achieved by the generated tests, applicability of model based testing to critical systems ..." | ||
| Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) похожие документы |
| Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
| "... . In regard of functional testing of such applications there is a specific is a number of combinations ..." | ||
| Том 37, № 1 (2025) | Использование технологий искусственного интеллекта для проведения психологического тестирования | Аннотация PDF (Rus) похожие документы |
| Дарья Дмитриевна ГРИГОРЬЕВА, Даниил Валерьевич СЕРОВ, Дмитрий Сергеевич СОРОКИН, Алексей Иванович МАРТЫШКИН | ||
| "... testing techniques, on the example of the Rorschach test, opens new opportunities for self-diagnosis ..." | ||
| Том 37, № 1 (2025) | Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич ПРОЦЕНКО | ||
| "... of the VM implementation, the development process includes a testing stage. During testing, it is necessary ..." | ||
| Том 20 (2011) | Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени | Аннотация PDF (Rus) похожие документы |
| В. В. Липаев | ||
| "... , and implementation of adaptive cross systems for automating of programming and testing for various types ..." | ||
| Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, В. А. Мартиросян | ||
| "... of requirements for more throughout file system driver testing. According to the requirements a test system have ..." | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... The problem of testing of aggregate systems is considered. The system components are described ..." | ||
| Том 35, № 1 (2023) | Scrumility: фреймворк для оценки качества пользовательских историй | Аннотация похожие документы |
| Клаудия ТОНА, Саманта ХИМЕНЕС, Рейес ХУАРЕС-РАМИРЕС, Рафаэль ГОНСАЛЕС ПАЧЕКО ЛОПЕС, Анхелес КЕСАДА, Сезар Артуро ГЕРРА ГАРСИА | ||
| "... Scrum – один из многих гибких фреймворком, наиболее популярным и широко распространенным. Хотя ..." | ||
| Том 35, № 3 (2023) | Фреймворк для анализа использования машинных инструкций | Аннотация похожие документы |
| Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА | ||
| "... новый фреймворк, полезный для статистического анализа машинного кода, который разработан с учетом ..." | ||
| Том 36, № 2 (2024) | Набор методических тестовых программ для численного моделирования параметров высокопроизводительных вычислительных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Александр Викторович ЕРШОВ, Артем Владимирович КАРПЕЕВ, Рим Фанавиевич МУХАМАДИЕВ, Елена Михайловна РОМАНОВА, Денис Александрович УШАКОВ, Вадим Олегович АНИСОВ | ||
| "... of computing systems on synthetic tests, which are significantly primitive in mathematical complexity to real ..." | ||
| 1 - 39 из 312 результатов | 1 2 3 4 5 6 7 8 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
