Cтраница 4
Во-первых, обеспечивается возможность выявления определенных ошибок в программе, а именно ошибок, связанных с отступлением от официального описания используемого языка программирования. Незначительное уменьшение числа проводимых проверок ( например, на 2 %) не оказывает существенного влияния на выявление ошибок, поскольку ошибка, наличие которой должно было бы диагностироваться отсутствующей проверкой, скорее всего, будет дополнительно диагностирована одной из имеющихся проверок. [46]
Существуют технические системы, отказ которых невозможно обнаружить в момент его проявления. Состояние таких систем определяется лишь в моменты специально проводимых проверок. Причем в течение каждой из таких проверок система не работает, а вероятность наступления отказа возрастает. Если отказ системы устраняется, например, путем замены отказавшего элемента системы одним из запасных, то число возможных восстановлений системы может быть ограничено. Процесс эксплуатации таких систем представляет собой дискретный процесс восстановления с ограниченным числом восстановлений. Число проверок и их расположение на интервале времени эксплуатации системы, число возможных восстановлений влияют на критерий аффективноети использования системы. [47]
В то же время в зависимости от характера проводимой проверки ( прежде всего выездной) возможно проведение проверки без процессуального оформления истребования документов, когда они представляются по устному запросу проверяющих. [48]