Верификация, валидация и тестирование компьютерных моделей линейных динамических систем

Аннотация

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