51062

МОДЕЛИРОВАНИЕ ОЦЕНКИ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Лабораторная работа

Информатика, кибернетика и программирование

Классическая теория надежности технических систем использовала метод расчленения сложных объектов на элементы расчета. При этом надежность элементов рассчитывалась, в основном, с помощью справочников, в которых приводились значения интенсивностей отказов элементов. Затем оценивалась надежность объекта и принимались меры по ее повышению.

Русский

2014-02-04

956.59 KB

5 чел.

Эмпирическое исследование ПО

ст. гр. ПЗАС-08-2

Швец Дмитрий

Лабораторная работа №4

МОДЕЛИРОВАНИЕ ОЦЕНКИ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Краткие теоретические сведения.

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

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

Классическая теория надежности технических систем использовала метод расчленения сложных объектов на элементы расчета. При этом надежность элементов рассчитывалась, в основном, с помощью справочников, в которых приводились значения интенсивностей отказов элементов. Затем оценивалась надежность объекта и принимались меры по ее повышению.

Для обеспечения надежности функционирования сложных программных комплексов необходимо идти по подобному пути:

1.Определять основные простейшие операторы, из которых составляются программы.

2.Более ответственно и скурпулезно изучать точность представления различных величин операторов.

3.Исследовать точностные характеристики операторов при полученных распределениях величин.

4.Интенсивнее развивать модели исследования точностных свойств элементарных операторов.

5.Составлять справочники по результатам исследования операторов, в которых приводить инженерные рекомендации по практическому оцениванию точности операторов.

6.Разрабатывать точностные модели сложных программ на основе интегрирования элементарных операторов. Для этого можно использовать разработанные графоаналитические методы и методы моделирования.

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

Содержание п.7 хорошо напоминает о том, как важно согласовывать в многокаскадном электронном усилителе один каскад по выходу со входом следующего каскада. Невыполнение этого требования в граничных областях каскадов приводит к неработоспособности усилителя в казалось бы заранее предусмотренной области изменения параметров усилителя. В программах этот эффект менее очевиден, поэтому не всегда учитывается при их отладке.

Осуществление предложенного подхода к оцениванию и повышению надежности функционирования программного обеспечения требует существенных затрат различного вида. Но его осуществление необходимо. Это обусловлено конечной точностью вычислений в современных и перспективных компьютерах и другими факторами, из которых наиболее весомым является лавинообразный рост сложности перспективных программ. Другого пути нет, пока не будут созданы компьютеры с избыточностью, позволяющей организовать оперативный контроль и принятие решений в условиях влияния помех различного вида, адаптирующиеся по точности в процессе вычислений. Возврат к классической теории ошибок и дальнейшее ее развитие весьма необходимы в интересах информатики и информатизации общества. Такой путь может стать источником новых конструктивных решений как в элементной базе, архитектуре вычислительных средств, так и в программном обеспечении. Он также может стимулировать развитие новых методов численной математики.

Листинг:

procedure TForm1.Button1Click(Sender: TObject);

var s:string;

   newmode:TTreenode;

begin

if Edit1.Text=''

then s:='******'

 else s:=Edit1.Text;

Newmode:=TreeView1.items.add(treeview1.Selected,s);

if CheckBox1.Checked

 then

  begin

    P[ii]:=StrToFloat(Edit2.Text);

    Memo1.Lines.Add('№ блока: '+IntToStr(ii)+'    '+'P= '+Edit2.Text+'   '+s);

  end

   else P[ii]:=1;

    inc(ii);

inc(addcounter);

end;

procedure TForm1.Button2Click(Sender: TObject);

var s:string;

   newmode:TTreenode;

begin

if Edit1.Text=''

then s:='******'

 else s:=Edit1.Text;

Newmode:=TreeView1.items.addchild(treeview1.Selected,s);

if CheckBox1.Checked

 then

  begin

    P[ii]:=StrToFloat(Edit2.Text);

    Memo1.Lines.Add('№ блока: '+IntToStr(ii)+'    '+'P= '+Edit2.Text+'   '+s);

  end

   else P[ii]:=1;

    inc(ii);

if treeview1.Selected<>nil then

 begin

   inc(addchildcounter);

   inc(addcounter);

 end

 else

 begin

   inc(addcounter);

 end;

end;

procedure TForm1.Button3Click(Sender: TObject);

begin

if treeview1.Selected<>nil then

  Treeview1.Items.Delete(Treeview1.selected);

end;

procedure TForm1.Button4Click(Sender: TObject);

var s:string;

begin

s:='';

if not inputquery('Название','Переименовать на',s) then exit;

treeview1.Selected.Text:=s;

end;

procedure TForm1.FormCreate(Sender: TObject);

var i:byte;

begin

ii:=0;

addcounter:=1;

addchildcounter:=1;

treeview1.MultiSelect:=true;

for i:=0 to 2 do

P[i]:=0.9;

P[3]:=1;

P[4]:=0.9;

P[5]:=0.9;

P[6]:=1;

P[7]:=0.9;

end;

procedure TForm1.BitBtn1Click(Sender: TObject);

var i,j,k:byte;

   a:array[1..20] of real;

   b:array[1..20] of byte;

   kudalovo:boolean;

   s:real;

begin

kudalovo:=false;

for i:=1 to 20 do begin a[i]:=1; b[i]:=0; end;

for i:=0 to treeview1.SelectionCount-1 do

 begin

   if i=0 then a[i+1]:=a[i+1]*strtofloat(treeview1.Selections[0].Text);

   for j:=1 to treeview1.SelectionCount-1 do

     begin

       kudalovo:=false;

       if treeview1.Selections[i].Parent=treeview1.Selections[j].Parent then

         begin

           for k:=1 to 20 do

           if i<>0 then

           if j=b[k] then kudalovo:=true;

           if kudalovo=false then

           a[i+1]:=a[i+1]*strtofloat(treeview1.Selections[j].Text);

           b[j]:=j;

         end;

     end;

 end;

s:=1;

for i:=1 to 20 do

 begin

   if a[i]<>1 then

   s:=s*(1-a[i]);

 end;

s:=1-s;

treeview1.Selections[0].Text:=floattostr(s);

for i:=treeview1.SelectionCount-1 downto 1  do

treeview1.Selections[i].Delete;

end;

procedure TForm1.Edit3Change(Sender: TObject);

begin

Edit2.Text:=FloatToStr(StrToInt(Edit3.Text)/10);

end;

procedure TForm1.Edit2KeyPress(Sender: TObject; var Key: Char);

begin

if not (key in ['0'..'9',#8,#45,#13])

then key:=#0

 else

  if Edit2.Text<>''

   then Edit3.Text:=FloatToStr(StrToFloat(Edit2.Text)*10);

end;

procedure TForm1.CheckBox1Click(Sender: TObject);

begin

if CheckBox1.Checked = false

then

 begin

  Edit2.Enabled:=false;

  UpDown1.Enabled:=false;

 end

  else

   begin

    Edit2.Enabled:=true;

    UpDown1.Enabled:=true;

   end;

end;

procedure TForm1.Button7Click(Sender: TObject);

begin

TreeView1.Items.Clear;

end;

Скриншоты:

     


 

А также другие работы, которые могут Вас заинтересовать

36038. Строение и функции клеточного ядра. Деление клеток эукариот. Митоз и мейоз 33 KB
  ДНК спирализуется передделением клетки для более точного распределения генетического материала при делении. Хранение генетической информации и передача ее дочернимклеткам в процессе деления. Митоз тип клеточного деления в результате которого дочерние клетки получают генетический материал идентичный тому который содержался в материнской клетке. Хромосомы спирализуются центриоли у животных клеток расходятся к полюсам клетки распадается ядерная оболочка исчезают ядрышки и начинает формироваться веретено деления.
36039. Формы изменчивости живых организмов. Рекомбинации и мутации 33 KB
  Хромосомные мутации – возникают на основе хромосомных перестроек аберраций. Различают внутрихромосомные нехватки дупликации инверсии и межхромосомные транслокации – обмен участками негомологичных хромосом иди фрагментов; геномные – изменения чисел хромосомгаплоидия полиплоидия анеуплоидия; плазмовые – изменения цитоплазматических наследственных структур. Комбинативная; причинами служат все виды скрещивания и гибридизации а также кроссинговер обмен генетическим материалом между гомологичными хромосомами родителей во время...
36040. Необходимость международного сотрудничества в области ООС 33 KB
  Поэтому в настоящее время государства под эгидой ООН или на двухсторонней основе организуют взаимодействие с целью охраны среды обитания человека растительного и животного мира. является специализированным учреждением ООН и занимается вопросами продовольственных ресурсов и раз вития сельского хозяйства в целях улучшения условий жизни народов мира. В соответствии с своей компетенцией она обращает внимание на охрану и рациональное использование земель водных ресурсов лесов и иной растительности животного мира суши биологических ресурсов...
36041. Иван Александрович Гончаров 33 KB
  Роман интересен тем что образ Ильи Ильича Обломова мы можем отождествлять с определенным типом людей живших в России в то время. Любовь их продолжается до тех пор пока Илье не приходится столкнуться с реальной жизнью пока от него не требуется решительных действий пока Ольга не понимает что она любит будущего Обломова. Ни дружба ни даже такая чистая искренняя любовь не смогли заставить Обломова отказаться от своих идеалов: мирной покойной беззаботной жизни плотной еды и безмятежного сна. Родители Обломова понимали важность и...
36042. Дадаи́зм, или дада 32.84 KB
  Считается что дадаизм явился предшественником сюрреализма во многом определившим его идеологию и методы. Основателем и идеологом сюрреализма считается писатель и поэт Андре Бретон. Одними из величайших представителей сюрреализма в живописи стали Сальвадор Дали Макс Эрнст и Рене Магритт. Наиболее яркими представителями сюрреализма в кинематографе считаются Луис Бунюэль Жан Кокто Ян Шванкмайер и Дэвид Линч.
36043. Гидравлические потери напора по длинне 32.53 KB
  ГА в зависимости от назначения характеризуется различными техническими характеристиками: Условный проход Dу Номинальный расход Qн Номинальное давление Рн Условный проход указывается в виде диаметра в мм выбирается из стандартного ряда и примерно соответствует диаметру внутренних каналов в ГА. Номинальный расход и давление – расчет значения этих параметров при котором указываются другие технические характеристики и проводятся испытаний ГА. Давление на выходе задается при помощи регулировочного винта который создает нагрузку на...
36044. Экологические проблемы сельского хозяйства. Принципы безопасного применения пестицидов и агрохимикатов в сельском хозяйстве 32.5 KB
  Пестициды это химические или биологические препараты используемые для борьбы с вредителями и болезнями растений сорными растениями вредителями хранящиеся в сельскохозяйственной продукции бытовыми вредителями и внешними паразитами животных а также для регулирования роста предуборочного удаления листьев дефолианты предуборочного подсушивания растений десиканты. В зависимости от объекта воздействия сорная растительность вредные насекомые теплокровные животные и химической природы пестициды подразделяются на: акарициды для...
36045. Понятие о фонеме и звуке. Система гласных и согласных фонем в РЯ 32.5 KB
  В языке действует строгий закон: отождествляются звуки различия между которыми связаны с разными условиями их произнесения. Звуки это разные звуки но говорящий обычно этой разницы не замечают: для них и [з˙] – одна языковая еденица. В словах бар бор бур звуки [а] [о] [у]. Все звуки находящиеся в пределах этой зоны отождествляются говорящими и воспринимаются как один и тот же звук.
36046. Консервативная политическая мысль России 19 века, ее черты 30.5 KB
  Основа К: идея традиции и преемственности как основа всякой творческой жизни сохранение традиции но что считать традицией Пол традиции Др Руси утрачены благодаря П1 петровские преобразования нельзя было считать традицией тк они еще не были укоренены в народе только в верхах инновации как традиции еще не закрепились прошло 100 лет. Чаадаев Философическое письмо славянофилы Хомяков Киреевский Аксаков Самарин поздние славянофилы Данилевский Россия и Европа теория лок цций Леонтьев Россию нужно подморозить задержать...