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