Т.К. Кравченко - доктор экономических наук, профессор, заведующая кафедрой бизнес-аналитики, Национальный исследовательский университет «Высшая школа экономики»Адрес: 101000, г. Москва, ул. Мясницкая, д. 20E-mail: tkravchenko@hse.ruН.И. Голов - старший преподаватель кафедры бизнес-аналитики, Национальный исследовательский университет «Высшая школа экономики»Адрес: 101000, г. Москва, ул. Мясницкая, д. 20E-mail: ngolov@hse.ruА.В. Фомин - старший преподаватель кафедры бизнес-аналитики, Национальный исследовательский университет «Высшая школа экономики»Адрес: 101000, г. Москва, ул. Мясницкая, д. 20E-mail: afomin@hse.ruА.Ю. Липатников - выпускник магистратуры, Национальный исследовательский университет «Высшая школа экономики»Адрес: 101000, г. Москва, ул. Мясницкая, д. 20E-mail: lipatnikov94@gmail.com Подготовка вариантов сценариев достижения производственным предприятием предпочтительного финансового состояния с использованием систем имитационного моделирования требует разработки и верификации требований к имитационной модели. Наличие вариантов сценариев позволяет заинтересованным лицам выбрать наиболее эффективный вариант решения. Верификацию выполняют бизнес-аналитики и ключевые заинтересованные лица для того, чтобы констатировать готовность требований к утверждению и то, что они предоставляют необходимую информацию для выполнения дальнейшей работы. Верификация включает проверку требований на соответствие стандартам предприятия в части проведения бизнес-анализа, проверку полноты модели, применение единой терминологии при описании требований. Понимание того, как выглядит желаемое решение, покрывающее требования заказчиков, является главным при проверке требований. Для построения имитационной модели, необходимой для определения вариантов сценариев развития и охватывающей финансовые потоки типового производственного предприятия, определен перечень верифицируемых требований. В качестве критериев верификации требований предложены не только критерии приемки, но и фреймворк Graphical Requirements Analysis (GRA-фреймворк), используемый для верификации функциональных требований. В отличие от других нотаций, представление требований в нотации GRA позволяет понять их структуру и внутреннюю логику, а также выявить эмерджентные эффекты. Результатом выявления критериев верификации является построение матрицы верификации требований (Verification Cross Reference Matrix, VCRM), которая включает в себя все требования, методы и критерии. На заключительном этапе приведен пример диаграммы для одного из функциональных требований. Верифицированные требования должны быть использованы на различных этапах построения имитационной модели, ориентированной на разработку вариантов сценариев достижения производственным предприятием предпочтительного будущего финансового состояния. Моделирование сценариев будущего развития предприятия типа «Что будет, если?» и «Что делать, чтобы достичь цели?» с использованием систем имитационного моделирования позволит существенно повысить качество принимаемых решений.