Сортировать по:
| Выпуск | Название | |
| Том 29, № 4 (2017) | Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения | Аннотация похожие документы |
| О. Москалёва, А. Громова | ||
| "... Market surveillance systems, used for monitoring and analysis of all transactions in the financial ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... In this article, an approach of detailing verified test scenarios for developed software system ..." | ||
| Том 27, № 3 (2015) | Метод автоматической конкретизации символических тестовых сценариев | Аннотация PDF (Rus) похожие документы |
| Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин | ||
| "... Described in the paper is an approach to symbolic test scenarios concretization in the scope ..." | ||
| Том 37, № 3 (2025) | Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения | Аннотация PDF (Rus) похожие документы |
| Артем Бакытжанович МЕНИСОВ, Александр Григорьевич ЛОМАКО | ||
| "... обучения на основе SIR-прогнозирования масштаба угроз и рисков при различных сценариях развития ..." | ||
| Том 37, № 1 (2025) | Фреймворк автоматизации тестирования на гонки по данным | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН | ||
| "... , specifically data races. We design a test automation framework to develop data race revealing testing scenarios ..." | ||
| Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
| А. Д. Татарников | ||
| "... Test program generation and simulation is the most widely used approach to functional verification ..." | ||
| Том 36, № 2 (2024) | Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring | Аннотация похожие документы |
| Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ | ||
| "... This paper considers the automated unit tests generation for programs written in Java using ..." | ||
| Том 34, № 2 (2022) | Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации | Аннотация похожие документы |
| Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ | ||
| "... Automated test coverage is a widespread practice in long-live software development projects ..." | ||
| Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
| "... semi-automatic approaches that employ human experts to create and prepare test suites. The ever ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... application functionality. We present a hybrid approach that combines commonly used GUI test automation ..." | ||
| Том 35, № 2 (2023) | Объектно-ориентированный подход к поддержке сценариев в системах оптического моделирования | Аннотация PDF (Rus) похожие документы |
| Михаил Сергеевич КОПЫЛОВ, Николай Борисович ДЕРЯБИН, Евгений Юрьевич ДЕНИСОВ | ||
| "... В статье рассматриваются особенности поддержки сценариев на языке Python в активно развивающейся ..." | ||
| Том 29, № 4 (2017) | Верификация контроллеров 10 гигабитного Ethernet | Аннотация похожие документы |
| М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд | ||
| "... component. The structure of the test systems that we used to verify devices and their components ..." | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| "... . A pseudorandom test generator for verification of the direct memory access subsystem has been based ..." | ||
| Том 18 (2010) | Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин | ||
| "... . The article presents method of directed test cases generation. This generation supposes systematic ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... The paper presents the basic principles of UniTESK technology intended for test construction based ..." | ||
| Том 31, № 4 (2019) | Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич Тимохин, Михаил Васильевич Михайлюк, Евгений Михайлович Вожегов, Клим Денисович Пантелей | ||
| "... времени сценария процесса визуализации и офлайн-преобразование сценария в стереоролик. В работе ..." | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... of systematic testing a suitable test suite should provide an appropriate code coverage. A lot of code-based ..." | ||
| Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. Д. Татарников | ||
| "... This paper gives a survey of existing methods and tools for test program generation ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... of the l-equivalent are included into a test suite. The proposed approach is illustrated by protocol TCP ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... , there are no accepted public conformance test suite for those protocols. Implementers do have their own test suites ..." | ||
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
| Павел Викторович Фролов | ||
| "... (peripherals and commutators) and a system as a whole. An approach to test development for verification ..." | ||
| Том 34, № 1 (2022) | Алгоритмы обработки естественного языка для понимания семантики текста | Аннотация PDF (Rus) похожие документы |
| Дархан Оракбаевич ЖАКСЫБАЕВ, Гулбаршын Нурлановна МИЗАМОВА | ||
| Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин | ||
| "... to force the operating system under test to use the value of certain parameter. Usage conditions require ..." | ||
| Том 21 (2011) | Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов | Аннотация PDF (Rus) похожие документы |
| П. А. Клеменков | ||
| "... tasks and replacing these tasks with synthetic atomic tests. Performance evaluation of atomic tests ..." | ||
| Том 18 (2010) | Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин | ||
| "... In this work, some issues of automated construction of test programs intended for functional ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... Automated test generation is a promising direction in hardware verification research area ..." | ||
| Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
| А. С. Камкин, А. М. Коцыняк | ||
| "... In this paper, a tool for automatically generating test programs for MIPS64 memory management units ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... . To measure test quality, two main metrics are in use: fault detection abilities (fault coverage) and test ..." | ||
| Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
| Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
| "... functioning in accordance with the memory coherence protocol. This article presents an approach to test ..." | ||
| Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) похожие документы |
| Александр Камкин, Михаил Петроченков | ||
| "... The paper describes a method for constructing test oracles for memory subsystems of multicore ..." | ||
| Том 32, № 2 (2020) | Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации | Аннотация похожие документы |
| Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ | ||
| "... . Universal Verification Methodology was applied to construct test system. To simplify development of checking ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... The paper presents conformance test suite for new Internet Protocol Security Suite IPsec v2 ..." | ||
| Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
| Д. Н. Воробьев, А. С. Камкин | ||
| "... In this work, a method for the automated test programs generation aimed at the verification ..." | ||
| Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
| Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
| "... to be taken into account in the process of verification. General structure of test environment for stand-alone ..." | ||
| Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
| "... verification is generation of test programs, i.e. programs in the assembly language, which cause various ..." | ||
| Том 36, № 1 (2024) | Тест на удобство использования для учителей при обучении уходу за детьми с нарушениями слуха на основе информационно-коммуникационных технологий | Аннотация похожие документы |
| Этельвина АРЧУНДИЯ-СЬЕРРА | ||
| "... ) methodology and the System test Usability Scale (SUS) provided perception data to support teacher training ..." | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко | ||
| "... FSM (Finite State Machines) are widely used for deriving tests with guaranteed fault coverage ..." | ||
| Том 26, № 6 (2014) | Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции | Аннотация PDF (Rus) похожие документы |
| Антон Ермаков | ||
| "... Most FSM based methods for test derivation are developed for initialized Finite State Machines (FSM ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... . Automata models were also implemented to support generation of complicated test sequences. UniTESK ..." | ||
| 1 - 39 из 223 результатов | 1 2 3 4 5 6 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
