Ћекции.ќрг


ѕоиск:




 атегории:

јстрономи€
Ѕиологи€
√еографи€
ƒругие €зыки
»нтернет
»нформатика
»стори€
 ультура
Ћитература
Ћогика
ћатематика
ћедицина
ћеханика
ќхрана труда
ѕедагогика
ѕолитика
ѕраво
ѕсихологи€
–елиги€
–иторика
—оциологи€
—порт
—троительство
“ехнологи€
“ранспорт
‘изика
‘илософи€
‘инансы
’ими€
Ёкологи€
Ёкономика
Ёлектроника

 

 

 

 


ѕодход к обеспечению надежности є3 - ќбеспечение устойчивости программы к ошибкам




—амообнаружение ошибки в программе означает, что программа содержит средства обнаружени€ отказа в процессе ее выполнени€.

—амоисправление ошибки в программе означает не только обнаружение отказа в процессе ее выполнени€, но и исправление последствий этого отказа, дл€ чего в программе должны иметьс€ соответствующие средства.

ќбеспечение устойчивости программы к ошибкам означает, что в программе содержатс€ средства, позвол€ющие локализовать область вли€ни€ отказа программы, либо уменьшить его непри€тные последстви€, а иногда предотвратить катастрофические последстви€ отказа. ќднако эти подходы используютс€ весьма редко (может быть, относительно чаще используетс€ обеспечение устойчивости к ошибкам). —в€зано это, во-первых, с тем, что многие простые методы, используемые в технике в рамках этих подходов, неприменимы в программировании, например, дублирование отдельных блоков и устройств (выполнение двух копий одной и той же программы всегда будет приводить к одинаковому эффекту - правильному или неправильному). ј, во-вторых, добавление в программу дополнительных фрагментов приводит к ее усложнению (иногда - значительному), что в какой-то мере мешает методам предупреждени€ ошибок. ¬ некоторых частных случа€х возможны специальные методы, например - метод контрольных функций.

¬ данном методе нар€ду с вычисл€емой функцией по иной программе определ€етс€ друга€ функци€ в соотношени€х, называемых контрольными соотношени€ми. Ёти соотношени€ позвол€ют не только обнаружить отказ одной из программ, но также и восстановить искаженный результат отказавшей программы на основании результата, полученного по безошибочно работающей программе (программам). ѕростейшим примером применени€ метода контрольных соотношений €вл€етс€ вычисление функции sinx и cosx по отдельным программам.  онтрольное соотношение в данном случае будет соотношение sin2x+cos2x=1.

Ѕолее сложный вариант исправлени€ ошибок с использованием матрицы ’эмминга.

„аще всего в качестве методов обеспечени€ устойчивости используютс€ методы отступлени€.  огда ѕќ в случае возникновени€ ошибки (благопристойно) заканчивает работу, без потери предыдущих результатов (обеспечить безаварийное завершение всех управл€емых системой процессов).

ћетоды изол€ции ошибок, используютс€ при проектировании ѕќ и их суть - не дать последстви€м ошибки выйти за пределы как можно меньшей части системы программного обеспечени€ (то есть отключились бы только определенные функции программы).

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

 

¬опросы дл€ самоконтрол€.

1.  акими способами обеспечиваетс€ надежность ѕќ на этапе создани€?

2. ќпишите известные статистические модели надежности программ.

3.  акими методы защиты от сбоев примен€ютс€ в ѕќ?

4.  акие методы тестировани€ программ вам известны?

5.  акие методы повышени€ надежности программ вам известны?

6.  акими способами обеспечиваетс€ надежность ѕќ на этапе проектировани€?

7. ѕо€сните пон€тие устойчивость к отказам, применительно к ѕќ.





ѕоделитьс€ с друзь€ми:


ƒата добавлени€: 2015-05-08; ћы поможем в написании ваших работ!; просмотров: 716 | Ќарушение авторских прав


ѕоиск на сайте:

Ћучшие изречени€:

Ћогика может привести ¬ас от пункта ј к пункту Ѕ, а воображение Ч куда угодно © јльберт Ёйнштейн
==> читать все изречени€...

523 - | 535 -


© 2015-2023 lektsii.org -  онтакты - ѕоследнее добавление

√ен: 0.009 с.