Глоссарий¶

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

А¶

Б¶

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

В¶

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

Г¶

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

Д¶

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

Е¶

Ж¶

З¶

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

И¶

инициализированная память - initialized memory
инкремент - increment
интерфейсная функция - interface function
исходные данные - source data
итерационная переменная - iteration variable

К¶

критерии покрытия - coverage criteria

Л¶

М¶

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

Н¶

нулевая ссылка - zero reference ???
недостоверный переход - аccidental transition
ненулевое значение - nonzero value
набор инструментов - toolkit

О¶

область памяти - memory space
область видимости - visibility scope
обходчик - test engine
ограничение доступа - access constraints
односвязный список - one-way list
оператора итерации - iteration statement
оператор итерации по покрытиям - Iteration statement by coverage
особенности реализации - implementation feature
остовный подавтомат - spanning submachine
отложенные реакции - deferred reactions

П¶

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

Р¶

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

С¶

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

Т¶

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

У¶

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

Ф¶

функциональные требования - functional requirements
функция восстановления модельного состояния - function of restoring specification model
функция инициализации – 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

Ш¶

Щ¶

Э¶

Ю¶

Я¶