Russian | English |
алгоритм эквивалентности | equivalence algorithm (ssn) |
алгоритмы эквивалентности и квазипорядка | equivalence and preorder algorithms (ssn) |
аналогичная эквивалентность | similar equivalence (ssn) |
Аналогичная эквивалентность имеет место для объявлений объектов интерфейса | A similar equivalence applies also for interface object declarations (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
бисимуляционная эквивалентность | bisimulation equivalence (ssn) |
верификация функциональной эквивалентности | functional equivalence verification (ssn) |
диапазон эквивалентности | equivalence partition (ssn) |
ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность | in the not-so-distant past, the term formal verification was considered synonymous with equivalency checking for the majority of design engineers (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004) |
законы эквивалентности | laws of equivalence (ssn) |
использование перегруженных операций эквивалентности | use of the overloaded equality operators (ssn) |
испытание класса эквивалентности | equivalence class test (системное испытание, предназначенное для определения, корректно ли выполняются декодирование и выполнение команд. Тестовые данные получают из спецификации команд ЦП (центрального процессора). Схожие команды группируют, и входной набор данных разбивают на отдельные интервалы данных (классы эквивалентности). Каждая команда в пределах группы обрабатывает, как минимум, одну выборку тестовых данных таким образом, чтобы вся группа обрабатывала весь набор тестовых данных. ГОСТ IEC 60730-1-2016 ssn) |
классы эквивалентности и граничные условия | equivalence classes and boundary values (ssn) |
критерий эквивалентности блоков | characterization of equivalences between blocks (ssn) |
обеспечить полную функциональную эквивалентность | ensure full functional equivalence (Alex_Odeychuk) |
обозримая эквивалентность | observational equivalence (ssn) |
объединение по эквивалентности | equi-join (отношений в реляционных базах данных ssn) |
оператор проверки эквивалентности | equality test operator (ssn) |
операции эквивалентности | equality operators (ssn) |
операция эквивалентности | equality operator (ssn) |
отношения эквивалентности | equivalence relations (ssn) |
перегруженная операция эквивалентности | overloaded equality operator (ssn) |
перегруженные операции эквивалентности | overloaded equality operators (ssn) |
перегрузка операций эквивалентности | overloading equality operators (ssn) |
поддиапазон эквивалентности | equivalence partition (ssn) |
подстановочность эквивалентности | substitutivity of equivalence (ssn) |
покрытие раздела эквивалентности | equivalence partition coverage (доля идентифицированных разделов эквивалентности элемента тестирования, которая покрывается набором тестов. Примечание – в большинстве случаев идентификация разделов эквивалентности субъективна (особенно в разбиении "недопустимых" разделов); таким образом, окончательный подсчёт числа разделов эквивалентности для элемента тестирования может быть невозможен ssn) |
правило подстановочности эквивалентности | rule of substitutivity of equivalence (ssn) |
проверка на эквивалентность | equivalency checking (ssn) |
проверка эквивалентности | equality test (ssn) |
разбиение эквивалентности | equivalence partitioning (метод проектирования тестирования, при котором контрольные примеры разработаны таким образом, чтобы проверить разделы эквивалентности с помощью одного или более представительных элементов каждого раздела ssn) |
раздел эквивалентности | equivalence partition (подмножество области значений переменной или совокупности переменных внутри элемента тестирования или на его интерфейсах такое, что можно обоснованно ожидать того, что все значения подмножества будут обработаны элементом тестирования подобным образом (т.е. они могут считаться "эквивалентными") ssn) |
рассматриваться как синоним проверки на эквивалентность | be considered synonymous with equivalency checking (ssn) |
сильная бисимуляционная эквивалентность | strong bisimulation equivalence (ssn) |
слабая бисимуляционная эквивалентность | weak bisimulation equivalence (ssn) |
сокращение списка неисправностей на основе отношения эквивалентности | equivalence fault collapsing (ssn) |
сравнение ссылочных типов на эквивалентность | comparing reference types for equality (ssn) |
тест на эквивалентность | equivalence test (ssn) |
тестирование областей определения c разбиением на классы эквивалентности | equivalence classes and input partition testing (корпорации AdaCore Alex_Odeychuk) |
тестирование с использованием диапазонов эквивалентности | partition testing (ssn) |
тестирование эквивалентности | testing equality (ssn) |
требование обеспечения эквивалентности типов | non-disjointness requirement (в языке параллельного программирования Х10; IBM Alex_Odeychuk) |
формальный тест на эквивалентность | formal equivalence test (ssn) |
функциональная эквивалентность | functional equivalence (ssn) |
эквивалентности и квазипорядки на моделях | equivalences and preorders between structures (ssn) |
эквивалентность автоматов | machine equivalence (ssn) |
эквивалентность детерминированных и недетерминированных конечных автоматов | equivalence of deterministic and nondeterministic finite automata (ssn) |
эквивалентность значений | value equality (ssn) |
эквивалентность и квазипорядок | equivalence and preorder (ssn) |
эквивалентность и минимизация автоматов | equivalence and machine minimization (ssn) |
эквивалентность множеств таблиц | equivalence of table sets (в теории синтаксического анализа, перевода и компиляции ssn) |
эквивалентность мощностей | cardinality equivalence (ssn) |
эквивалентность по первичным ключам | equality by primary keys (Alex_Odeychuk) |
эквивалентность по путям | branching equivalence (ssn) |
эквивалентность программ | program equivalence (ssn) |
эквивалентность программ | program equivalences (IBM Alex_Odeychuk) |
эквивалентность состояний | state equivalence (ssn) |
эквивалентность ссылок | reference equality (ssn) |
эквивалентность схем | circuit equivalence (ssn) |
эквивалентность типов | type equivalence (microsoft.com owant) |