Эксперт RuleBook проверяет систему на наличие логических ошибок. Чтобы проверить систему, необходимо щелкнуть кнопкой ПРОВЕРКА СИСТЕМЫ. Если эта кнопка имеет красную границу, правила не редактировались с момента последней проверки.
RuleBook сначала делает быстрый контроль системы. Если ошибки найдены при быстром контроле, RuleBook спрашивает, продолжать ли полную проверку. Полный контроль большой системы может занимать много времени, поэтому, обычно, если ошибки найдены при быстром контроле, лучше исправить их перед выполнением полного контроля. "Полное Испытание Системы" проверит все возможные комбинации входов.
RuleBook вычисляет максимальное количество запусков, которое потребуется. Поскольку некоторые качества и переменные зависят от других, фактическое количество проверок часто меньше максимального. Если число проверок для полного систематического контроля очень велико, RuleBook предложит вам вариант случайных испытаний. Случайное испытание не такое полное, как систематическое, однако и оно позволяет довольно полно проверить большую систему. Для больших систем полное систематическое испытание может занимать много времени.
Лучше запускать испытание накануне вечером или, в особых случаях, на выходные. Даже если испытание занимает длительное время, оно должно быть выполнено, по крайней мере, один раз, чтобы найти ошибки.
Любые найденные ошибки будут показаны в окне Эксперта. Чтобы получить более детальные сведения относительно ошибки, необходимо щелкнуть кнопкой Детали (Details).
На экране появится другое окно с дополнительными деталями относительно ошибки. Некоторые ошибки позволяют получить данные, которые могут использоваться, чтобы автоматически повторно перезапустить правила. Как только система была проверена, генерируется файл отчета. Этот файл носит название <системное имя>.err. Его можно просмотреть и отпечатать. Это можно сделать в RuleBook, щелкнув кнопкой Отчет (Report).
Файл Отчет содержит информацию относительно найденных ошибок, качеств, переменных, альтернатив и использования правил. Эта статистика может быть исследована относительно контекста системы, чтобы определить, имеют ли выданные сообщения смысл.