Глоссарий¶

Русский - Английский

А¶

аналогично тому,как - much as
алгоритм вычисления элементов - algorithm for elements calculation

Б¶

базовый тип – base data type
библиотека поддержки тестовой системы - test system supporting library
библиотека спецификационных типов - specification data type library
блок воздействия - call-block
блок синхронизации - state-block

В¶

видимые снаружи данные - apparent data
вложенный - nested
вложенные операторы итерации - nested iteration statements
внутренние данные – internal data
выделенная память - allocated memory
вычислимое покрытие - computable coverage

Г¶

генератор тестовых отчетов - test reports generator

Д¶

дескриптор – descriptor
динамическая память - dynamic memory
дополнительный код - auxiliary code
допустимый тип - allowable data type

Е¶

Ж¶

З¶

заданный уровень покрытия - given level of coverage

И¶

идентификатор конструкци - construction identifier
изменение домена покрытия - change of coverage domain
инициализированная память - initialized memory
инициализатор - initializer
инкремент - increment
интерфейсная функция - interface function
исходные данные - source data
исходный файл - dependent file
итерационная переменная - iteration variable

К¶

критерии покрытия - coverage criteria
круглые скобки - parentheses

Л¶

М¶

метод оценки - estimation method
медиаторные функции - mediator functions
механизм построения теста - technique of test generation
модельное представление - model presentation
модуль компиляции - compilation module.

Н¶

на глобальном уровне - on a global basis
нулевая ссылка - zero reference ???
невычислимый - noncomputable
недостоверный переход - аccidental transition
ненулевое значение - nonzero value
неспецификационный - non-specification
набор инструментов - toolkit

О¶

область памяти - memory space
область видимости - visibility scope
обходчик - test engine
объемлющая спецификационная функция - embedding specification function
объявление - declaration
объявление первичного вычислимого покрытия - primary computable coverage declaration
обращение к покрытию - coverage access
ограничение доступа - access constraints
односвязный список - one-way list
оператора итерации - iteration statement
оператор итерации по покрытиям - Iteration statement by coverage
операция получения элемента покрытия - operation of coverage''s element derivation
определение - definition (specification)
опциональный строковый литерал - Optional string literal
особенности реализации - implementation feature
остовный подавтомат - spanning submachine
отложенные реакции - deferred reactions

П¶

первичное покрытие - primary coverage
переходы автомата - transitions of the machine
переменные сценарного состояния - scenario state variables
перечислимое покрытие - enumerable coverage
побочный эффект - side effect
подсчёт ссылок - reference counting
подтип – subtype
покрытие - coverage
покрытие-произведение - product-coverage
полное объявление - full declaration
полный подавтомат - сomplete submachine
порядок покрытия - сoverage order
последовательность тестовых воздействий - sequence of test actions
последовательные операторы итерации - successive iteration statements
предшествовать - precede
производное покрытие - derived coverage

Р¶

регистратор взаимодействий - interaction registrar
разыменование – dereferencing
реализационное представление - implementation presentation
реализационно-зависимые компоненты - implementation-dependent components
реалиация отработала - implementation completes
реализация тестируемой системы - implementation of the system under test
рекурсивная структура - recursive structure

С¶

сборщики реакций - reaction catchers
сильная связность - strong connectivity
синхронизация состояний - state synchronization
синтаксический узел - syntax node
спецификационные типы - specification data type
спецификационные ссылки - specification references
способ перебора параметров - method of enumerating of parameters
способ представления данных — representation method
сравнимые покрытия - comparable coverages
совокупность - collection
строковое представление – string representation
сценарное состояние - scenario state

Т¶

текстовое описание - textual description
текстовое представление - textual representation

тестируемая система - system under test
тестовое воздействие - testing interaction
трассировка - tracing

У¶

указатель - pointer to
укороченное объявление - shortcut declaration
условие продолжения - сontinuation condition
условие фильтрации - filtration condition
установка медиаторов - setting up mediators

Ф¶

функциональные требования - functional requirements
функция восстановления модельного состояния - function of restoring specification model
функция вычисления - computation function
функция инициализации – initializing function
функция завершения - function of finalization
функция освобождения ресурсов - destroying function
функция определения стационарности состояния - function of determining state stationarity
функция построения сценарного состояния - function of evaluating scenario state
функция сохранения модельного состояния - function of saving specification model state

Х¶

Ц¶

целевое ПО - target software

Ш¶

Щ¶

Э¶

элемент покрытия - coverage element

Ю¶

Я¶