TEST GENERATION на Русском - Русский перевод

• генерации тестов
• генерация тестов

Примеры использования Test generation на Английском языке и их переводы на Русский язык

A Generic Knowledgebase for Test Generation.
Универсальная база знаний для генерации тестов.

Test Generation for Digital Hardware Based on High-Level Models.
Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей.

To achieve this goal, a knowledgebase holding information relevant to test generation would be of a great help.
Достижению этой цели сильно поспособствовала бы база данных знаний, содержащая информацию, относящуюся к генерации тестов.

Automatic test generation for semantic analyzers of translators.
Автоматическая генерация тестов для семантических анализаторов трансляторов.

Smolov An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs pp.
Смолов Подход к генерации тестов, нацеленных на покрытие кода НDL- описаний аппаратуры, на основе расширенных конечных автоматов Стр.

Model-based test generation is widely spread in functional verification of hardware designs.
Генерация тестов по моделям широко используется для функциональной верификации аппаратуры.

Unfortunately, no solution for the integration of various test generation methods into a unified environment is currently available.
К сожалению, в настоящее время нет решения, позволяющего интегрировать имеющиеся методы генерации тестовых программ в единую среду.

Automated test generation is a promising direction in hardware verification research area.
Разработка методов автоматической генерации тестов составляет перспективное направление в области верификации цифровой аппаратуры.

This provides verification engineers with a flexible way to describe a wide range of test generation tasks with minimum effort.
Такой подход предоставляет инженерам- верификаторам возможность описывать широкий спектр задач генерации, затрачивая минимальные усилия.

Functional test generation methods based on models are widespread at the moment.
На текущий момент большое распространение имеют методы генерации функциональных тестов на основе моделей.

Automated methods of hardware verification are often based on models that are suitable for test generation and formal property checking.
Автоматизированные методы верификации аппаратуры основаны на использовании моделей, удобных для генерации тестов и формальной проверки свойств.

In this paper, a new EFSM-based test generation approach is proposed and compared with the existing solutions.
В данной статье представлен метод генерации тестов по ЕFSМ- моделям и проведено его сравнение с другими подходами.

The key issue of the state-of the-art verification approaches is to obtain a"good" model for automated test generation or formal property checking.
Ключевой проблемой современных подходов к верификации является создание« хорошей» модели для автоматической генерации тестов или формальной проверки свойств.

The article describes a control test generation method for discrete devices based on the genetic algorithm.
В статье предложен метод построения контролирующих тестов для дискретных устройств, основанный на генетическом алгоритме.

It is a flexible Ruby-based domain-specific language that allows describing a wide range of test generation tasks in terms of hardware abstractions.
Это гибкий предметно-ориентированный язык, основанный на языке Ruby, который позволяет описывать широкий набор задач генерации в терминах абстракций цифровой аппаратуры.

In this paper, a functional test generation method based on model checking is proposed and compared to existing solutions.
В данной работе представлен метод генерации функциональных тестов на основе проверки моделей и результаты его сравнения с существующими решениями.

The test generator has been developed using library version of the functional machine simulator that allowed to use the simulator as a reference model during the test generation.
Генератор разработан с использованием библиотечной версии функциональной модели, используемой в качестве эталонной модели во время генерации теста.

The paper proposes a concept of a knowledgebase for test generation that can be used in a wide range of test generation tools.
В статье предлагается концепция базы данных знаний о генерации тестов, которая может быть использована в большом диапазоне инструментов генерации тестов.

An algorithm of test generation is proposed basing on test filtration generated for covering all transitions of the deterministic composition system.
Для детерминированной композиции предлагается алгоритм генерации тестов, основанный на фильтрации тестов, генерируемых для покрытия всех переходов композиции.

It was always focused on testing effectiveness defined both by optimization of tests suites and by test generation algorithms including on-the-fly.
При этом в центре внимания всегда находилась эффективность тестирования, определяемая как оптимизацией тестовых наборов, так и алгоритмами генерации тестов, в том числе on- fly.

Nowadays a lot of various test generation tools are developed and applied to create tests for both software applications and hardware designs.
В текущее время разрабатывается и используется множество инструментов генерации тестов как для программных приложений, так и для моделей аппаратуры.

The first one is to give researchers a platform, where they could conduct preliminary experiments with different methods of test generation for digital circuits, in order to check different ideas.
Первая- предложить исследователям платформу, где они могли бы проводить предварительные эксперименты с различными методами генерации тестов для цифровых схем, для проверки различных идей.

Most the know methods for semantics test generation produce test suites by filtering a pre-generated set of random texts in the target language.
Наиболее известные методы генерации семантических тестов работают путем фильтрации предварительно сгенерированных более или менее случайным образом синтаксических тестов..

The toolkit allows analyzing HDL descriptions, reconstructing the underlying models(extended finite state machines, EFSMs) and using the derived models for test generation, property checking and other tasks.
Инструмент позволяет анализировать НDL- описания, реконструировать, лежащие в их основе модели( расширенные конечные автоматы), и использовать полученные модели для генерации тестов, проверки свойств и других задач.

The paper presents an operating system configuration test generation method based on construction of covering arrays, that is ensuring coverage of all pairs, triple, etc.
В статье представлен метод генерации тестов для конфигурационного тестирования на основе покрывающих наборов, т. е., обеспечивающая покрытие всех возможных комбинаций пар, троек и т. д..

Smolov An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs Proceedings of the Institute for System Programming.
Смолов Подход к генерации тестов, нацеленных на покрытие кода НDL- описаний аппаратуры, на основе расширенных конечных автоматов Труды Института системного программирования РАН.

If the hypothesis of links is true, an algorithm of test generation for a deterministic system is proposed basing on filtration of tests generated for covering all transitions of the composition.
При условии выполнения гипотезы о связях для детерминированной системы предлагается алгоритм генерации тестов, основанный на фильтрации тестов, генерируемых для покрытия всех переходов композиции.

Problem of uUndamped aAccelerometer in Headform Impact Test- Generation of Abnormal Acceleration in Headform Impact Tests- Causes and Solutions.
Проблема акселерометра без демпфирующего устройства при испытании на удар модели головы- создание ненормального ускорения при испытании на удар модели головы: причины и способы решения проблемы.

Our instruments are used for automatic test generation, tests porting, development of test suites, code coverage measurement, optimization, static analysis, automatic test run.
Наши инструменты используются для- автоматической генерации теста, портирования тестов, создания набора тестовых сюит, измерения покрытия кода, оптимизации, статического анализа, автоматического прогона тестов..

In spite of continuous development of computer-aided design(CAD) systems, test generation tools and approaches to analysis of circuits, verification remains the bottleneck of the microprocessor design cycle.
Несмотря на то, что постоянно совершенствуются системы автоматизированного проектирования( САПР), инструменты генерации тестов и методы анализа схем, верификация остается самым узким местом процесса разработки.