Сайт фан клуба ИГХТУ

 

Методичка 706 ИГХТУ

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

Существует идея //-го (одновременного) или последовательного во времени выполнения различных версий программ непосредственно в процессе эксплуатации. Если таких версий 2, то принято говорить о дуальном программировании.

Если обнаружено расхождение в результатах, необходимо определить по к-л дополнительным критериям, какой из результатов правильный.

 при n-версионном программировании подготавливается n версий программ, и правильный результат определяется по мажоритарному признаку при помощи подходящих аппаратных или программных средств.

Дуальное и n-версионное программирование целесообразно использовать в том случае, если имеет место нагруженное резервирование вычислительной аппаратуры.

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

 средняя погрешность работы 2-ух программ несколько , но зато вероятность отказа .

Обозначим погрешность I программы d1, а IId2. Пусть вероятность отказа I программы – q1, II q2. При независимости этих программ возможны следующие несовместные события:

1)     обе программы работают безотказно

p = 1 q1 q2 +q1q2

2)     откажет основная программа, тогда:

q01 = q1(1 q2) = q1 q1q2

3)     отказ резервной программы

q10 = q2(1 q1) = q2 q1q2

4)     откажут основная и резервная программы

q11 = q22               (погрешность d3)

Следовательно, средняя погрешность не отказавшей системы из 2-х программ:

В случае, когда имеется только основная программа: погрешность d1

                                                                                       вероятность отказа q1

Метод контрольных функций

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

Простейшим примером применения контрольных соотношений является вычисление функций sinx и cosx по отдельным соотношениям.

 

 

 



страницы:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
 
 
 
 
 
 

Warning: in_array() expects parameter 2 to be array, null given in /home/p198609/www/bestlogistics.ru/2f41c03c6df35aa46f8d897a4eed7d02/sape.php on line 192