CTESK

h1. Глоссарий

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

h2. _А_

h2. _Б_

базовый тип – base data type

библиотека поддержки тестовой системы - test system supporting library

библиотека спецификационных типов - specification data type library

блок воздействия - call-block

блок синхронизации - state-block

h2. _В_

видимые снаружи данные - apparent data

внутренние данные – internal data

выделенная память - allocated memory

h2. _Г_

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

h2. _Д_

дескриптор – descriptor

динамическая память - dynamic memory

дополнительный код - auxiliary code 

допустимый тип - allowable data type

h2. _Е_

h2. _Ж_

h2. _З_

h2. _И_

инициализированная память - initialized memory

интерфейсная функция - interface function

h2. _К_

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

h2. _Л_

h2. _М_

метод оценки - estimation method 

медиаторные функции - mediator functions

модельное представление - model presentation

h2. _Н_

+нулевая ссылка - zero reference ???+

ненулевое значение - nonzero value

набор инструментов - toolkit

h2. _О_

область памяти - memory space

обходчик - test engine

ограничение доступа - access constraints

односвязный список - one-way list

особенности реализации - implementation feature

отложенные реакции - deferred reactions

h2. _П_

побочный эффект - side effect

подсчёт ссылок - reference counting

подтип – subtype

h2. _Р_

регистратор взаимодействий - interaction registrar

разыменование – dereferencing

реализационное представление - implementation presentation

реализационно-зависимые компоненты - implementation-dependent components

реалиация отработала - implementation completes

реализация тестируемой системы - implementation of the system under test

рекурсивная структура - recursive structure

h2. _С_

сборщики реакций - catchers

синхронизация состояний - state synchronization

спецификационные типы - specification data type

спецификационные ссылки - specification references

способ представления данных — representation method

строковое представление – string representation

h2. _Т_

тестируемая система - system under test

тестовое воздействие - testing interaction

h2. _У_

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

h2. _Ф_

функциональные требования - functional requirements

функция инициализации – initializing function

функция освобождения ресурсов - destroying function

h2. _Х_

h2. _Ш_

h2. _Щ_

h2. _Э_

h2. _Ю_

h2. _Я_