Методы контроля состояния и исполнения программ

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

1. Профилактический контроль – это когда в нерабочем режиме проверяют отдельные операции. Здесь достаточно времени и можно проводить детальный анализ и устранять ошибки, вплоть до исправления части программы.

2. Предпусковой контроль – это перед непосредственным включением нормального рабочего режима. Здесь характерно следующее: за ограниченное время осуществляют заранее определенные в последовательности операции контроля. В случае выявления ошибок здесь принимают экстренные меры. Корректировки программ здесь не допускается. (Меры – перегрузить отдельную программу, применить упрощенный режим работы,..)

3. Оперативный контроль – выполняется в процессе работы. Здесь необходимо максимально быстрое автоматизированное восстановление процесса при любых искажениях. С тем, чтобы отказ превратился в сбой. Лишь в экстренных случаях допускается вмешательство человека.

Все перечисленные виды контроля имеют различные возможности и дополняют друг-друга. Наибольшую надежность имеют 2 последних вида.

Отметим количественные характеристики контроля и восстановления программ:

• Вероятность обнаружения искажения при одной процедуре контроля

• Затраты на проведение одной процедуры контроля

• Длительность одной процедуры контроля

• Интервал времени между двумя последовательными процедурами контроля

• Потери в эффективности выполнения на единицу времени

• Вероятность ложного обнаружения искажения.

Не нашли, что искали? Воспользуйтесь поиском: