ИСТИНА

В диссертации исследуются задачи проверяющего и диагностического тестирования булевых функций, бесповторных в различных базисах. Возникающие в этих задачах функционалы минимальной длины теста понимаются как характеристики тестовой сложности бесповторных функций. В качестве множества возможных альтернатив (состояний управляющей системы) рассматриваются множества всех булевых функций, зависящих (существенным либо произвольным образом) от заданных переменных и бесповторных в некотором фиксированном базисе. Для задач проверяющего тестирования в работе получаются оценки и точные значения минимальных длин тестов для индивидуальных функций, а также оценки соответствующих функций Шеннона — наибольшей сложности функции из множества зависящих от произвольного заданного количества переменных. Для задач диагностического тестирования получаются оценки минимальной длины теста, которая понимается как число вопросов, требуемых для тестирования в худшем случае.