Элементы диагностической теории толерантности и подобия

Излагаются элементы новой диагностической теории – диагностической теории толерантности и подобия (ДТТП), в которой сходство эвристических алгоритмов построения тестов для объектов диагностирования разных классов используется в целях формального синтеза сходных алгоритмов для объектов диагностирования новых классов. Показано, что для такого синтеза необходимо определенное сочетание из следующих компонент: 1) разработанного здесь языка $\Im$-тран, используемого для соответствующей записи текстов эвристических алгоритмов построения тестов; 2) математического аппарата экспликации сходства (отношения толерантности); 3) принципа сохранения (непрерывности) предиката. Сформулированы в качестве логического основания предлагаемой теории законы выбора тестов, в которых концентрируются принципиальные отличия структуры этой теории от структуры существующих абстрактно-математических теорий диагностирования, основанных, главным образом, на законах математической логики и удовлетворяющих математическому идеалу знания. В рамках новой теории толерантность (“ослабленное подобие”) алгоритмов построения тестов обогащается количественными характеристиками перебора, выполняемого этими алгоритмами – критериями диагностического подобия. Обосновывается создание универсальных программных и аппаратных средств построения тестов и тестирования, что уменьшает стоимость и время их разработки.