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

 

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

1)     программы, функции которых полностью определяются спецификацией

2)     программы, функции которых характеризуются сопоставлением вычислительных и измеренных результатов: моделирующие программы (реализуют математическую модель физического объекта)

3)     программы, действующие в постоянно изменяющейся среде (ОС-ы)

Теория надежности аппаратуры частично применима к проблеме надежности ПО. Учитывая следующие различия м/ надежностью аппаратуры и ПО:

– элементы ПО не стареют из-за износа или усталости

– для контроля ПО имеется намного больше способов, чем для аппаратуры

– в ПО имеется на много больше объектов для контроля

– в аппаратуре исполнение стандартных элементов распространено намного шире, чем в системе ПО

– количество документации на ПО >> количества документации на аппаратуру.

Классификация ошибок программирования

Ошибки программ м.б. разделены на ошибки, обусловленные ограниченными возможностями программы и на логические ошибки. Наиболее часто встречающиеся делятся на:

1)     ошибки в числовых значениях

2)     недостаточные требования к точности

3)     ошибочные символы (знаки)

4)     ошибки оформления

5)     основы разработки программ неполные или неточные

6)     двусмысленность требования

Способы обеспечения и  надежности программ

1.     усовершенствование технологии программирования

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

3.     резервирование программ:

- инверсионное программирование

- дуальное программирование

и другие методы введения структурной избыточности

4.     контроль и тестирование программ с последующей коррекцией

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

Результаты вычислений могут искажаться погрешностями:

- исходных данных

- округлением

- методическими программами

- обусловленными отказами, сбоями и ошибками в программе

Модели надежности ПО

Модель Шумана.

Основана на следующих допущениях:

·        общее число команд в программе на машинном языке постоянно

·        в начале компоновочных испытаний число ошибок = некоторой постоянной величине и по мере не исправления ошибок их становится меньше

 



страницы:
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