CTESK

h1. Глоссарий

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

h2. _А_

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

h2. _Б_

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

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

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

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

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

h2. _В_

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

вложенные операторы итерации - nested iteration statements

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

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

h2. _Г_

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

h2. _Д_

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

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

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

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

h2. _Е_

h2. _Ж_

h2. _З_

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

h2. _И_

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

инициализатор - initializer

инкремент - increment

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

исходные данные  -  source data

итерационная переменная - iteration variable 

h2. _К_

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

h2. _Л_

h2. _М_

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

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

механизм построения теста - technique of test generation

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

h2. _Н_

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

недостоверный переход - аccidental transition

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

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

h2. _О_

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

область видимости - visibility scope

обходчик - test engine

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

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

оператора итерации - iteration statement

оператор итерации по покрытиям  -  Iteration statement by coverage 

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

остовный подавтомат - spanning submachine

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

h2. _П_

переходы автомата - transitions of the machine

переменные сценарного состояния - scenario state variables

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

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

подтип – subtype

полный подавтомат - сomplete submachine

последовательность тестовых воздействий  - sequence of test actions 

последовательные операторы  итерации  - successive iteration statements  

h2. _Р_

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

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

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

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

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

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

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

h2. _С_

+сборщики реакций - (reaction ???)+ catchers

сильная связность - strong connectivity

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

синтаксический узел - syntax node

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

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

способ перебора параметров - method of enumerating of parameters

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

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

сценарное состояние - scenario state

h2. _Т_

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

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

трассировка - tracing

h2. _У_

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

условие продолжения  - сontinuation condition

условие фильтрации - filtration condition

установка медиаторов - setting up mediators

h2. _Ф_

функциональные требования - 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 

h2. _Х_

h2. _Ц_

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

h2. _Ш_

h2. _Щ_

h2. _Э_

h2. _Ю_

h2. _Я_