Глоссарий¶

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

А¶

Б¶

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

В¶

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

Г¶

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

Д¶

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

Е¶

Ж¶

З¶

И¶

инициализированная память - initialized memory
интерфейсная функция - interface function

К¶

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

Л¶

М¶

метод оценки - estimation method
медиаторные функции - mediator functions
модельное представление - model presentation

Н¶

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

О¶

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

П¶

побочный эффект - side effect
подсчёт ссылок - reference counting
подтип – subtype

Р¶

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

С¶

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

Т¶

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

У¶

указатель - pointer to

Ф¶

функциональные требования - functional requirements
функция инициализации – initializing function
функция освобождения ресурсов - destroying function

Х¶

Ц¶

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

Ш¶

Щ¶

Э¶

Ю¶

Я¶