Активация путей
(path sensitizing) составление набора входных значений для обеспечения выполнение определенного пути.
тип, который задается путем явного перечисления всех его возможных значений, причем каждое такое значение будет определяться только именем.
;0 ТО ВЫДАТЬ_ДЕНЬГИ ();
В качестве условия P могут использоваться переменные специальных логических типов...
для ветвления применяется перечень допустимых значений определённой переменной, которая должна быть перечислимого...
, к примеру, целого типа.
(path sensitizing) составление набора входных значений для обеспечения выполнение определенного пути.
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
программные средства, выполняющие отладку и проверку готовых программ, поиск алгоритмических и семантических ошибок в программе и тестирование программ.