Карла Маркса, 20, Новосибирский государственный технический университет, доктор технических наук, профессор. <...> Карла Маркса, 20, Новосибирский государственный технический университет, кандидат технических наук, доцент. <...> Карла Маркса, 20, Новосибирский государственный технический университет, кандидат технических наук, доцент. <...> Е-mail: rom2006@gmail.com Существенным недостатком способов анализа программного обеспечения (ПО), основанных на переборе всех возможных начальных вариантов, является «взрывной» рост числа вариантов анализа (в различных методах этот термин называется по-разному: в проверке моделей – размер тотального множества переходов, в сетях Петри – пространство состояний и т. д.), который приводит к невозможности анализа ПО. <...> Одним из основных источников значительного увеличения числа вариантов для анализа являются конструкции с программными циклами, особенно содержащие условные операторы внутри цикла. <...> В работе предлагается метод упрощения анализа ПО, который предполагает преобразование выражений в циклах с целью уменьшения количества вариантов анализа (сокращение размера тотального множества переходов или поиск идентичных участков пространства состояний). <...> Рассматриваемый способ основывается на представлении выражений в цикле в виде функции, зависящей от числа итераций. <...> Необходимо заметить, что анализ полученных функций также является достаточно сложной задачей, но ее решение авторам кажется более перспективным, чем решения, основанные на полном переборе. <...> В работе приводятся примеры применения данного метода для преобразования выражений в цикле к функциям от числа итераций, а также примеры анализа программ с помощью анализа полученных функций. <...> Ключевые слова: программное обеспечение, цепи рекуррентности, рекуррентные соотношения, проверка моделей, сети Петри, пространство состояний, программные циклы, символьный анализ, граф состояния, пространство переходов DOI: 10.17212/1814-1196-2015-4-152-158 <...>