генерирование условий верификации verification condition generation (при доказательстве правильности программ)
задание начальных условий initialization Установка программных переменных (адресов, счетчиков, переключателей, индикаторов, указателей) в нуль или задание им других начальных значений перед выполнением программы.
имитатор внешних условий environment simulator
исключительная ситуация при нарушении заданных условий specification exception Вид программного прерывания, вызванного неправильной адресацией операнда, неправильным указанием его длины или обращением к отсутствующим средствам и ресурсам.
матрица условий constraint matrix
моделирование условий работы environment simulation (программы)
обработка условий останова программы program termination processing
определение условий автоматического рестарта restart definition
определение условий рестарта restart definition
прерывание с автоматическим формированием вектора условий обработки autovectored interrupt
режим задания начальных условий initial condition mode (для аналоговой ЭВМ); reset mode (для аналоговой ЭВМ)
сочетание условий выполнения и действий premise action mix (в управлении базами данных)