РУАЭСТ (RUAEST)
Сворачивание циклов в сетях Петри
Существенным недостатком способов анализа программного обеспечения (ПО), основанных на переборе всех возможных начальных вариантов, является «взрывной» рост числа вариантов анализа (в различных методах этот термин называется по-разному: в проверке моделей – размер тотального множества переходов, в сетях Петри – пространство состояний и т. д.), который приводит к невозможности анализа ПО. Одним из основных источников значительного увеличения числа вариантов для анализа являются конструкции с программными циклами, особенно содержащие условные операторы внутри цикла. Потенциально такие циклы могут приводить к фактически бесконечному числу вариантов для анализа. В работе предлагается метод упрощения анализа ПО, который предполагает преобразование выражений в циклах с целью уменьшения количества вариантов анализа (сокращение размера тотального множества переходов или поиск идентичных участков пространства состояний).