Вводятся графические модели процессов построения тестов и моделирования с помощью D-алгоритмов: типичные и минимальные диагностические лабиринты. Определяется понытие величины диагностического перебора и понятие минимальной величины такого перебора. Для измерения величин перебора определена диагностическая единица перебора. Вводится понятие КПД для D-алгоритмов и формула его вычисления. Обосновывается механизм естественного паралелизма идеального генератора тестов, который является теоретическим прообразом реальных генераторов с масштабируемой, потенциально неограниченной производительностью.
