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