1. antecedent Левая часть (A) правила вида "A влечет B". 2. condition Логическое выражение, от истинности которого зависит выполнение или невыполнение некоторых действий. 3. test condition
Phrases with условии
блок проверки условия decision box Элемент блок-схемы, соответствующий вычислению условного выражения.
блок условия decision box Элемент блок-схемы, соответствующий вычислению условного выражения.
верификатор условий assertion checker Программа, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях
внешние условия environment
входное условие precondition
выходное условие postcondition В доказательстве правильности программ и аксиоматической семантике языков программирования
испытания в реальных условиях operational testing
начальные условия entry conditions Условия, которые выполняются или должны выполняться в момент начала выполнения программы.
проверка условия test
условия выполнения run
условия выполнения программы execution environment
условия выхода exit conditions 1. Условия выхода из цикла. 2. Постусловия. Условия, выполняющиеся после выхода из подпрограммы.
условия работы environment Аппаратура и программные средства, на которой выполняется и с которыми взаимодействует программа.
условия реального времени real
условия эксплуатации environment; external environment