В обеспечении надежности ЭВМ ДО играет решающую роль. К примеру, каждое из свойств ЭВМ, определяющих ее надежность (безотказность, ремонтопригодность, достоверность результатов), достигается в основном за счет использования диагностического обеспечения ЭВМ.

Надежность ЭВМ всегда была важнейшей ее характеристикой. Но выпуск массовых ЭВМ, применение ЭВМ для управления процессами, не допускающими перерыва в управлении на некотором отрезке времени, применение ЭВМ в зонах, затрудняющих их техническое обслуживание, делают надежность одной из первых характеристик ЭВМ.

Необходимо отметить, что ДО используется на всех этапах жизни ЭВМ: при проектировании, изготовлении и эксплуатации.

Целесообразность применения результатов решения задач ДО на каждом из упомянутых этапов для последующих очевидна, хотя на практике часто не выполняется. Основной причиной такого положения является, повидимому, ведомственная разобщенность, отсутствие системного подхода.

Далее в статье рассмотрим основные проблемы диагностического обеспечения, возникающие на каждом из этапов жизни ЭВМ. Наметим направления исследований, контуры системы, которая могла бы служить средством решения задач диагностики на различных этапах жизни ЭВМ.

На этапе проектирования ДО должно обеспечить разработчику ЭВМ возможность проверить правильность функционирования проекта на модели. Для решения этой задачи в настоящее время используются программные, программноаппаратные и аппаратные системы имитационного моделирования. И хотя в литературе имеются ссылки на то, что моделирование позволило практически полностью исключить ошибки в разработке на этапе проекта, такая возможность доступна далеко не каждому разработчику.

Проблема состоит в том, что необходимо обеспечить возможность моделирования большой логической схемы при высокой адекватности модели. Эти требования противоречивы. Поэтому обычно прибегают к моделированию фрагментов схемы. Но моделирование отдельных фрагментов оставляет вне поля зрения взаимодействие фрагментов, а это как раз является областью, где требуется наиболее тщательная проверка. Кроме того, для полной проверки правильности функционирования необходимо выполнить моделирование на соответствующем тесте. Синтез такого теста - исключительно сложная проблема. Задача синтеза теста для логической схемы сводится к решению системы логических уравнений.