?
Верификация требований к имитационной модели производственного предприятия
В статье предлагается подход к верификации требований к имитационной модели, необходимой для определения вариантов сценариев развития типового производственного предприятия и охватывающей его основные финансовые потоки. Моделирование сценариев будущего развития с использованием систем имитационного моделирования позволит существенно повысить качество принимаемых решений. В качестве критериев верификации требований предложены не только критерии приемки, но и фреймворк Graphical Requirements Analysis (GRA-фреймворк), используемый для верификации функциональных требований. Верификация включает проверку требований на соответствие стандартам предприятия в части проведения бизнес анализа, проверку полноты модели, применение единой терминологии при описании требований. Результатом выявления критериев верификации является построение матрицы верификации требований, которая включает в себя все требования, используемые методы и критерии. Для иллюстрации одного из аспектов предлагаемого подхода приведена GRA-диаграмма для одного из функциональных требований.