Активация путей
(path sensitizing) составление набора входных значений для обеспечения выполнение определенного пути.
определенный набор задач, объединенных в контролируемую фазу проекта, например, выполняемые активности уровня тестирования. [Gerrard] фактический исход (actual outcome):
(path sensitizing) составление набора входных значений для обеспечения выполнение определенного пути.
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
цикл, в котором условие проверяется после выполнения тела цикла.