Cтраница 1
Вторичные ошибки являются определяющими для эффективности функционирования программ, и не каждая первичная ошибка заметно искажает выходные результаты. Вследствие этого ряд первичных ошибок может оставаться необнаруженным и, no - существу, не влияет на функциональные характеристики программ. В худшем случае вторичная ошибка проявляется как полный отказ - потеря работоспособности КП ( см. § 4.4) на длительное время. Значительное искажение программ, данных или вычислительного процесса может также вызвать отказовую ситуацию, которая или превращается в отказ, или может быть быстро исправлена, так что нормальное функционирование программ почти не нарушится. Кроме того, первичные ошибки могут вызывать обнаруживаемые искажения выходных данных, не влияющих на работоспособность КП. [1]
Одинаковые по величине вторичные ошибки в различных результирующих данных существенно различаются по своему воздействию на общую эффективность КП. Это влияние для вторичных ошибок в каждой / - и переменной может быть учтено коэффициентом х /, который позволяет взвешивать последствия ошибок. Формальная оценка значений X; и А / в настоящее время затруднительна, в лучшем случае их можно оценить методами экспертного опроса при предварительной четкой классификации т типов первичных ошибок в программах и q выходных величин. [2]
Вероятность искажения Рп комбинации из п символов. [3] |
Для защиты от вторичных ошибок, появляющихся при набивке данных на перфоленту и передаче их по каналам связи в настоящее время обычно используются контрольные суммы. Суть этого метода заключается в том, что в кодограмме суммируются числа по каждой строке, а полученная сумма проставляется в каждой строке в виде отдельного числа и передается со всеми другими числами кодограммы. [4]
В первом приближении величину вторичной ошибки ст / в / - х результатах решения задачи за счет пропущенных при отладке первичных ошибок можно оценить статистически следующим образом. [5]
Наиболее доступно для измерения количество вторичных ошибок в программе, выявляемых в единицу времени в процессе отладки. Возможна также непосредственная регистрация отказов и наиболее крупных искажений результатов, выявляемых средствами оперативного контроля в процессе функционирования программ. [6]
Изложим кратко сущность этого метода, причем первичные и вторичные ошибки будем считать малыми величинами первого порядка и предполагать, что звенья механизмов являются абсолютно жесткими, без зазоров. [7]
Описаны несколько математических моделей [4, 17, 18], основой которых являются различные гипотезы о характере проявления вторичных ошибок в программах. Эти гипотезы в той или иной степени апробированы при обработке данных реальных разработок, и их можно разделить на три группы. В первую группу входят очевидные допущения, статистическая проверка которых невозможна и нецелесообразна. Вторую группу составляют допущения, определяющие специфические характеристики модели и требующие статистической проверки и обоснования на базе экспериментальных исследований. В третью группу включены второстепенные допущения, расширяющие и уточняющие возможности применения модели и частично доступные экспериментальной проверке. [8]
Приведенный матричный метод заменяет исследование действительного механизма изучением движения соответствующего идеального механизма и определением вторичных ошибок в зависимости от параметров идеального механизма и от первичных ошибок. [9]
Заметим также, что содержательная защита, подобная описанной, как и контрольные суммы, обнаруживает и исправляет вторичные ошибки, появляющиеся при набивке данных на перфоленту и передаче по каналам связи. [10]
Достоинством метода защиты с помощью контрольных сумм является то, что он позволяет обнаружить подавляющее большинство практически встречаемых вторичных ошибок и во многих случаях восстановить истинное значение искаженного числа. В настоящее время этот метод получил широкое распространение и учитывается во многих стандартных программах ввода в ЭВМ для проверки правильности информации. [11]
Для проверки правильности внесенных изменений применяется контрольное тестирование, подтверждающее необходимость выполненной корректировки, отсутствие ранее обнаруженных ошибок и вторичных ошибок, внесенных при корректировке. [12]
Однако соотношения содержательной защиты, как правило, не совпадают с соотношениями контрольных сумм, и дополнительное введение содержательной защиты расширяет возможности исправления вторичных ошибок. [13]
Кривые обмена по Самуэльсону для реакции HR Na - NaR H. [14] |
Расхождение, при котором экспериментально достигаемый эффект очень сильно отличается от теоретически ожидаемого, Самуэльсон объяснил тем, что, очевидно, в слоях не достигается идеального статического равновесия и появляются вторичные ошибки, связанные с образованием каналов. [15]