На вход система получает набор программных модулей и данные необходимые для интерпретации:

На основе входных данных создается начальное состояние - отправная точка для всего процесса анализа.

Конфигурация, с внешней по отношению к системе анализа точки зрения, является той сущностью, которой оперирует система анализа. Т.е. по входным данным создается конфигурация, результаты анализа хранятся в конфигурации, промежуточное состояние сохраняется в конфигурацию и восстанавливается из конфигурации.

После создания конфигурации начинается последовательность сессий анализа.

Сессия анализа может быть создана, как на основе начального состояния из конфигурации, так и на основе любого промежуточного состояния модели из истории изменений уже существующей сессии.

Промежуточное состояние любой сессии может быть экспортировано в набор програмнных модулей и модулей данных (это может быть необходимо, например, при упрощении/рефакторинге программной системы). Так же по результату сессии анализа может быть создан тест в тест-плане, отражающий проведенные изменения и полученные результаты.

Результатом работы системы в целом становится тест-план, и, возможно, экспорты некоторых промежуточных состояний сессии анализа.

Эта компонента отвечает за хранение, восстановление, создание и модификацию конфигураций.

Каждая проведенная сессия анализа хранится как часть конфигурации в системе. Эта компонента отвечает за управление множеством сессий анализа: создание, копирование, удаление, переименование, категоризация.

Сессии в конфигурации могут находиться в двух состояниях: открытом и заархивированном. Изначально сессия создается в открытом состоянии, проходит последовательность модификаций и переходит в заархивированное состояние.

Сессия не может перейти из заархивированного состояния в открытое, если необходима последующая модификация состояния сессии, то создается новая копированием истории заданной.

Эта компонента отвечает за непосредственное управление сессией анализа. Компонета дает доступ к возможностям получения интересующих свойств модели в заданной точке, предоставляет возможность исполнять запросы по текущему состоянию. Хранит историю преобразования модели с возможностью отката. Управляет преобразованием модели через добавление и удаление конструкций (инструкций выполнения, определений, точек преобразований контекста).

Эта компонента отвечает за преобразование результатов полученных за сессию анализа (история изменения состояний модели в течение сессии) и последовательности действий, для получения этих результатов, в другие документы, такие как тест-план и результаты экспорта состояния модели.

Если не существует конфигурации с заданным идентификатором, то создается новая пустая конфигурация с заданным идентификатором, иначе пользователь получает сообщение о невозможности проведения операции.

В случае невозможности создания конфигурации по иным причинам, система выводит сообщение описывающее ошибку.

Существует новая пустая конфигурация с заданным идентификатором или пользователь получил сообщение об ошибке.

Заданный проект интегрированной среды разработки или набор Makefile'ов, описывающие программную систему, могут быть импортированы в качестве конфигурации в системе, таким образом, что перечисленные во входном проекте программные модули и модули данных присутствуют в созданной конфигурации.

Создана новая конфигурация, соответствующая по набору модулей и модулей данных входной программной системе или пользователь получил сообщение об ошибке.

Состояние конфигурации на текущий момент может быть сохранено на носитель данных.

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

В любой момент, по записи на носителе данных может быть восстановлена конфигурация с состоянием на момент сохранения.

В системе появляется сохраненная конфигурация с состоянием на момент сохранения, либо пользователь получил сообщение об ошибке.

В существующую конфигурацию может быть внесен новый программный модуль, либо модуль данных.

В существующую конфигурацию внесен заданный модуль, либо пользователь получил сообщение об ошибке.

Любой модуль присутствующий в конфигурации может быть удален из нее.

В конфигурации отсутствует указанный для удаления модуль, либо пользователь получил сообщение об ошибке.

Создается новая сессия анализа с заданным идентификатором. Начальное состояние модели программной системы копируется из конфигурации.

Создана новая сессия анализа. Состояние модели соответствует состоянию модели в конфигурации. История сессии пустая. Либо пользователь получил сообщение об ошибке.

Завершается сессия анализа, по итогам сессии пользователь получает возможность создать новый тест в тест-плане. Сессия архивируется и закрывается для модификации.

Указанная сессия заархивирована. Создан новый тест в тест-плане. Либо пользователь получил сообщение об ошибке.

Указанная сессия анализа (открытая или заархивированная) удаляется из конфигурации. Если по результатам сессии был создан тес в тест-плане, то он так же удаляется.

Указанной сессии и полученных из нее тестов не существует в конфигурации, либо пользователь получил сообщение об ошибке.

Контекст любого из уровней: ОС, конфигурации, инструкции, может быть модифицирован добавлением точки модификации контекста.

Изменена модель программной системы текущей сессии анализа. Контекст всех конструкций модели, лежащих ниже в области видимости изменен в соответствии с добавленной точкой. В истории сессии анализа добавилась запись о добавлении заданной точки модификации.

Любая точка модификации контекста любого уровня может быть удалена.

Изменена модель программной системы текущей сессии анализа. Контекст всех конструкций модели, лежащих ниже в области видимости изменен в соответствии с удалением точки. В истории сессии анализа добавилась запись об удалении заданной точки модификации.

Для любой конструкции модели программной системы текущей сессии анализа может быть получен контекст ее вычисления.

Пользователь получил информацию о контексте заданной конструкции.

В случае если текущий контекст заданной инструкции достаточен для ее вычисления, конструкция может быть вычислена и заменена на результат своего вычисления.

Изменена модель программной системы текущей сессии анализа. Заданная конструкция заменена результатом вычисления. В истории сессии анализа добавилась запись о вычислении конструкции.

В случае если текущий контекст недостаточен для вычисления заданной конструкции, пользователь получает сообщение об ошибке.

Пользователь получил сообщение об ошибке. История текущей сессии анализа не модифицирована. Модель программной системы текущей сессии анализа не модифицирована.

Модель программной системы текущей сессии анализа может быть интерпретирована в пошаговом режиме начиная от точки входа до последней исполняемой конструкции, с соблюдением порядка перехода управления.

Модель программной системы не содержит ни одной исполняемой инструкции. История текущей сессии содержит все шаги интерпретации в порядке выполнения.

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

Пользователь получил информацию о зависимых от данного символа контекста в указанной точке модели.

Для любой заданной последовательности модификаций модели програмнной системы текущей сессии анализа может быть указан набор конструкций модели, которые затронуты/не затронуты этой последовательностью модификаций.

Пользователь получил информацию о затронутых/не затронутых конструкциях модели программной системы для указанной последовательности модификаций.

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

Сформированы исходные коды программной системы идентичные состоянию текущей сессии анализа на момент экспорта.

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

Пользователь получил информацию о необходимых для вычисления заданной конструкции символах, либо сообщение об ошибке.

По истории заданной сессии анализа может быть создан тест в тест-плане конфигурации. Пользователю предоставляется возможность выбора необходимых для теста результатов вычисления.

По выбранным пользователем результатам вычисления заданной сессии анализа сформирован тест. Полученный тест добавлен в тест-план конфигурации.