Сортировать по:
| Выпуск | Название | |
| Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
| Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
| "... описывать используемые в тестовых программах области памяти и типы обращений к ним. Описан метод генерации ..." | ||
| Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин | ||
| "... В статье представлен метод генерации тестов для конфигурационного тестирования на основе ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... тестовый набор считается полным, если он обеспечивает определенное покрытие кода. На данный момент ..." | ||
| Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
| "... системы автоматизированного проектирования (САПР), инструменты генерации тестов и методы анализа схем ..." | ||
| Том 23 (2012) | Зависимости между ошибками на классах тестируемых реализаций | Аннотация PDF (Rus) похожие документы |
| Александр Косачев | ||
| "... ней проблеме оптимизации тестов. Между ошибками имеется зависимость, если существует такое строгое ..." | ||
| Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... безопасности и безопасная конформность, а также генерация полного набора тестов по спецификации. В работе ..." | ||
| Том 36, № 2 (2024) | Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring | Аннотация похожие документы |
| Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ | ||
| "... Данная работа посвящена автоматической генерации модульных тестов для приложений на языке Java ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... Разработка методов автоматической генерации тестов составляет перспективное направление в области ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... Генерация тестов по моделям широко используется для функциональной верификации аппаратуры ..." | ||
| Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация похожие документы |
| Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
| "... , приводящие к достижению конфликта) автоматически транслируются инструментом Retrascope в тесты, которые могут ..." | ||
| Том 30, № 1 (2018) | Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел | Аннотация PDF (Rus) похожие документы |
| М. С. Гуськова, Л. Ю. Бараш, Л. Н. Щур | ||
| "... параллелизации алгоритма генерации псевдослучайных чисел. Дан обзор расширений MMX, SSE, AVX2, AVX512 ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... и алгоритмами генерации тестов, в том числе on-fly. Мы рассматриваем основные вехи этого пути в ..." | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... GPU при помощи Vulkan. Предлагаемый подход использует технологию генерации кода путем трансляции ..." | ||
| Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
| Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| "... для генерации программного кода из естественного языка. Основной целью исследования является оценка ..." | ||
| Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
| "... изучена и реализована генерация синтаксических анализаторов с помощью LR(1)-автоматов, были спроектированы ..." | ||
| Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) похожие документы |
| Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
| "... обработке псевдослучайно сгенерированных входных данных. В ходе тестирования приложение запускается на ..." | ||
| Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов | ||
| "... различных задач анализа программ: генерация входных данных для увеличения тестового покрытия программы, для ..." | ||
| Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) похожие документы |
| П. А. Лозов, Д. Ю. Булычев | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... содержат достаточно информации для генерации исходного кода компонента на языке Си. Предоставляемые модели ..." | ||
| Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация похожие документы |
| Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
| Том 37, № 3 (2025) | BERTScore для русского языка | Аннотация PDF (Rus) похожие документы |
| Елена Павловна БРУЧЕС, Дари Тимуровна БАТУРОВА, Иван Юрьевич БОНДАРЕНКО | ||
| Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
| "... В данной работе предложен метод генерации тестовых программ для функциональной верификации блока ..." | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... ), тестовой (генерация случайных тестовых случаев) групп, а также группы журнализации (объединение и ..." | ||
| Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
| Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
| Том 35, № 2 (2023) | Генерация изображений рукописного текста на русском языке | Аннотация PDF (Rus) похожие документы |
| Анастасия Олеговна БОГАТЕНКОВА, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
| "... генерации дополнительных обучающих наборов данных на качество моделей распознавания: метод на основе ..." | ||
| Том 33, № 3 (2021) | Генерация сетей Петри с помощью структурных трансформаций, сохраняющих поведенческие свойства | Аннотация похожие документы |
| Роман Александрович НЕСТЕРОВ, Семен Юрьевич САВЕЛЬЕВ | ||
| "... В работе предложен подход к генерации сетей Петри, обладающих желаемыми структурными и ..." | ||
| Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. Д. Татарников | ||
| "... В работе дается обзор существующих методов и средств генерации тестовых программ для ..." | ||
| Том 27, № 3 (2015) | Двухшаговый генератор гармоничных мелодий | Аннотация PDF (Rus) похожие документы |
| Софья Латкина | ||
| "... непосредственного влияния пользователя в процесс генерации. Приведен обзор существующих решений, описание их ..." | ||
| Том 23 (2012) | Система интеграции данных на основе наборов RDF-связей пространства Linked Open Data | Аннотация PDF (Rus) похожие документы |
| Кузнецов Константин | ||
| Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
| Н. Ю. Фокина, М. А. Соловьев | ||
| "... В работе предложен метод автоматизированной генерации декодеров машинных команд широкого класса ..." | ||
| Том 36, № 4 (2024) | Генерация временных рядов с пространственными взаимосвязями | Аннотация похожие документы |
| Алена Михайловна КРОПАЧЕВА, Дмитрий Викторович ГИРДЮК, Илларион Лаврентьевич ИОВ, Антон Юрьевич ПЕРШИН | ||
| "... . Альтернативным решением для сбора данных является генерация синтетических данных, но существующие методы ..." | ||
| Том 26, № 6 (2014) | Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции | Аннотация PDF (Rus) похожие документы |
| Антон Ермаков | ||
| Том 21 (2011) | Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов | Аннотация PDF (Rus) похожие документы |
| П. А. Клеменков | ||
| "... виде комбинации простых задач и замены этих простых задач на синтетические атомарные тесты. Оценка ..." | ||
| Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
| А. Д. Татарников | ||
| "... Генерация тестовых программ на языке ассемблера и проверка корректности результатов их выполнения ..." | ||
| Том 29, № 4 (2017) | Narrabat - прототип сервиса для пересказа новостей в формате стихотворений | Аннотация похожие документы |
| И. И. Долгалева, И. А. Горшков, Р. Э. Яворский | ||
| "... новостных сюжетов. В качестве основы для генерации стихов используется большая коллекция русской классики ..." | ||
| Том 34, № 3 (2022) | Модельно-ориентированная разработка серьезных игр и серьезные игры с ориентированным на пользователя дизайном в последнее десятилетие: обзор | Аннотация похожие документы |
| Педро Омар СИЛЬВА-ВАСКЕС, Вивиана Ярель РОЗАЛЕС-МОРАЛЕС, Эдгар БЕНИТЕС-ГЕРРЕРО | ||
| "... В этой статье представлен обзор литературы по автоматической генерации кода для серьезных игр ..." | ||
| Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) похожие документы |
| Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
| "... инструментах генерации данных для функциональной проверки приложений над базами данных, в лучших случаях ..." | ||
| Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
| "... технической задачей. Неотъемлемой частью верификации микропроцессора является генерация тестовых программ ..." | ||
| 1 - 39 из 54 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
