Синтез тестовых последовательностей с заданной переключательной активностью

Обсуждается актуальность применения тестовых последовательностей с заданной переключательной активностью. В качестве математической модели для генерирования тестов используется модификация метода Антонова и Салеева для формирования последовательностей Соболя, основанная на применении порождающих матриц максимального ранга, вид которых определяет основные свойства последовательностей. Показывается, что построение порождающей матрицы сводится к задаче разбиения целого числа на слагаемые, и предлагается алгоритм разбиения на слагаемые заданного вида. Вводятся процедуры модификации разбиения целого числа на слагаемые и коррекции значения переключательной активности. Формулируются три задачи синтеза генераторов тестовых последовательностей с заданной переключательной активностью. Рассматриваются примеры использования предлагаемых методик и результаты экспериментов.