CTESK

h1. Глоссарий

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

h2. _А_

аналогично тому,как - much as 

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

h2. _Б_

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

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

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

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

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

h2. _В_

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

вложенный - nested

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

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

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

вычислимое покрытие - computable coverage

h2. _Г_

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

h2. _Д_

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

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

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

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

h2. _Е_

h2. _Ж_

h2. _З_

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

h2. _И_

идентификатор конструкци - construction identifier

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

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

инкремент - increment

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

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

исходный файл - dependent file

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

h2. _К_

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

круглые скобки - parentheses

h2. _Л_

h2. _М_

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

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

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

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

модуль компиляции - compilation module.

h2. _Н_

на глобальном уровне - on a global basis

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

невычислимый - noncomputable

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

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

неспецификационный - non-specification

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

h2. _О_

область памяти - 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

h2. _П_

первичное покрытие - 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

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

совокупность - collection

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

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

h2. _Т_

текстовое описание - textual description

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

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

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

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

h2. _У_

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

укороченное объявление - shortcut declaration

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

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

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

h2. _Ф_

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

h2. _Х_

h2. _Ц_

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

h2. _Ш_

h2. _Щ_

h2. _Э_

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

h2. _Ю_

h2. _Я_