Методы верификации моделирующих компьютерных программ | MetodPro.ru

Реклама на сайте

Методы верификации моделирующих компьютерных программ


1. Модульное написание и отладка компьютерной программы.

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

3. Выполнение прогона модели с различными входными параметрами.

4. Трассировка — это вывод состояния моделируемой системы после возникновения каждого события и сравнения с вычислениями, полученными вручную.

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

6. Просмотр анимации выходных данных моделирования.

7. Вычисление выборочного среднего значения и дисперсии для каждого входного распределения вероятностей и сравнение их с известным (например, за прошлое время) средним значением и дисперсией.

8. Использование коммерческого пакета имитационного моделирования.



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем