Cтраница 2
Одинаковые по величине вторичные ошибки в различных результирующих данных существенно различаются по своему воздействию на общую эффективность КП. Это влияние для вторичных ошибок в каждой / - и переменной может быть учтено коэффициентом х /, который позволяет взвешивать последствия ошибок. Формальная оценка значений X; и А / в настоящее время затруднительна, в лучшем случае их можно оценить методами экспертного опроса при предварительной четкой классификации т типов первичных ошибок в программах и q выходных величин. [16]
Структурирование программы должно обеспечить однозначную локализацию каждого изменения с точностью до программного модуля и простоту поиска места и изменения в установленном модуле. При этом необходима гарантия от вторичных ошибок, связанных со взаимным влиянием программных элементов друг на друга. Перечисленные требования могут быть удовлетворены, если в программе каждой процедуре семантического преобразования или переразмещения будет соответствовать отдельный программный модуль, вычислительные операции будут оформлены как обособленная составная часть каждого из таких модулей, связь между модулями будет осуществляться в отдельном ( одном или нескольких) модуле управления и описание данных, подвергаемых обработке, будет выполнено однократно и централизованно. [17]
Наличие в программах глубоких межмодульных связей по управлению и по информации вызывают необходимость тестирования и тех компонент, где по первому впечатлению корректировки не оказывают влияния. Такие связи зачастую приводят к появлению вторичных ошибок вследствие проведенных изменений и нарушения функциональной целостности группы взаимодействующих программ и данных. [18]
Настоящая статья посвящена изучению кинематическо-гео-метрической точности пространственных механизмов с низшими кинематическими парами, в смысле определения ошибок, возникающих главным образом при изготовлении звеньев механизма. Задача заключается в исследовании движения действительного механизма и в первую очередь в определении вторичных ошибок в кинематическо-геометрических величинах ведомых звеньев в зависимости от первичных ошибок и от характера движения ведущих звеньев. [19]
Статистические характеристики различных типов ошибок трудно описать математическими моделями, и более доступны для математического описания обобщенные характеристики ошибок в КП. Путем анализа и обобщения экспериментальных данных реальных разработок предложено несколько математических моделей, описывающих основные закономерности изменения суммарного количества вторичных ошибок в программах. Модели имеют вероятностный характер, и достоверность прогнозов в значительной степени зависит от точности исходных данных и глубины прогнозирования по времени. [20]
После локализации и устранения обнаруженных ошибок применяется контрольное тестирование, задача которого состоит в подтверждении правильности выполненной корректировки программы. В этом случае успешность тестирования определяется отсутствием проявления ранее обнаруженной, локализованной и устраненной ошибки, а также отсутствием вторичных ошибок, которые могут появиться при корректировке. [21]
Вторичные ошибки являются определяющими для эффективности функционирования программ, и не каждая первичная ошибка заметно искажает выходные результаты. Вследствие этого ряд первичных ошибок может оставаться необнаруженным и, no - существу, не влияет на функциональные характеристики программ. В худшем случае вторичная ошибка проявляется как полный отказ - потеря работоспособности КП ( см. § 4.4) на длительное время. Значительное искажение программ, данных или вычислительного процесса может также вызвать отказовую ситуацию, которая или превращается в отказ, или может быть быстро исправлена, так что нормальное функционирование программ почти не нарушится. Кроме того, первичные ошибки могут вызывать обнаруживаемые искажения выходных данных, не влияющих на работоспособность КП. [22]
Это объясняется тем, что через 2 - 3 месяца после завершения разработки алгоритма ( программы) ее автор на 80 - 90 % забывает его мелкие детали. А так как с точки зрения алгоритма ( программы) и вычислительной машины мелочей нет, то внесение изменений влечет за собой большое количество ошибок в согласовании старого и нового. Автор затрачивает много времени на восстановление в своей памяти особенностей алгоритма и на исправление вторичных ошибок, возникающих при его корректировании. Не всегда к этой работе может быть привлечен автор. [23]
Приведенный матричный метод заменяет исследование действительного механизма изучением движения соответствующего идеального механизма и определением вторичных ошибок в зависимости от параметров идеального механизма и от первичных ошибок. Если первичные ошибки не являются систематическими, следовательно, если их разложение случайно, то можно применить уравнения ( 19) для расчета ожидаемых значений вторичных ошибок и для определения соответствующих дисперсий, так как рассматриваемые уравнения являются линейными по отношению к ошибкам. [24]
Важной особенностью процесса выявления ошибок в сложных программах является отсутствие полностью определенной правильной программы-эталона, которой должен соответствовать проверяемый текст. Поэтому установить наличие и локализовать ошибку непосредственным сравнением с программой без ошибок в большинстве случаев невозможно. Искажения в тексте программ, которые ниже называются первичными ошибками, являются элементами, подлежащими корректировке. Однако непосредственно наличие ошибки обнаруживается по ее вторичным проявлениям. Искажение выходных результатов исполнения программ, или вторичная ошибка, вызывает необходимость выполнения ряда операций по локализации и устранению первичной ошибки. [25]