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;

Скриншоты:

     


 

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

39943. Войска связи Сухопутных войск, их назначение и состав 30 KB
  Соединения части и подразделения связи или в дальнейшем коротко войска связи являются специальными войсками и входят в состав всех видов Вооруженных сил РФ. Эти войска предназначены для развертвования и эксплуатации систем связи и обеспечения управления войсками силами во всех видах их боевой деятельности. На них также возлагаются задачи по развертвованнию и эксплуатации средств автоматизации управления проведению и организации технических мероприятиях по обеспечению связи и АСУ мероприятий по обеспечению безопасности связи Войска...
39944. Условия, влияющие на организацию и обеспечение связи в мотострелковом (танковом) батальоне в бою и специальной войсковой операции 24.5 KB
  Кроме этого на организацию связи в батальоне существенное влияние оказывает наличие сил и средств связи.
39945. Организация связи в мсб (тб) 25.5 KB
  Организация связи в бою в мсбтб зависит от многих факторов: условия перехода к обороне в наступление; роль и место батальона в боевом порядке полка боевой порядок и задачи батальона; принятая система управления; организация взаимодействия; наличие и состояние сил и средств связи; построение обороны средства усиления; характер местности и т. Основным способом организации проводной связи в мсб является направление проводной связи. Связь с командиром и штабом полка обеспечивается силами и средствами роты связи полка кабелем П274М согласно...
39946. Организация связи проводными средствами МСБ(ТБ) 16.08 KB
  При организации проводной связи необходимо рассчитывать потребное количество кабеля. По опыту войск на рельеф местности и эксплуатационное покрытие линий проводной связи необходимо выделять дополнительное количество кабеля: на среднепересеченной местности – до 20 в горнотаежной местности – до 200 Количество кабеля выделяемое на направление связи принято рассчитывать по формуле: Lпотр=LизмKLизм где: Lпотр – потребное количество кабеля для обеспечения связи на определенном направлении; Lизм – расстояние измеренное на рабочей карте...
39947. Роль и место военной связи в системе управления войсками 16.8 KB
  Простейшая система управления включает: орган управления ОУ каналы прямой и обратной связи управляемый объект УО. Процесс управления складывается из циклов управления. Каждый такой цикл включает: сбор органом управления информации от управляемых объектов; обработку информации и принятие решения выработку управляющего воздействия; постановку задач управляемым объектам командная информация воздействия.
39948. Задачи связи 14.7 KB
  В системе управления войсками на каждый пункт управления замыкается не одно а большое количество информационных направлений значительно отличающихся друг от друга по своим характеристикам поэтому общую задачу связи – реализовать процесс передачи сообщений на информационных направлениях – принято рассматривать как совокупность четырех задач: обеспечение связи командования; обеспечение связи оповещения; обеспечение связи взаимодействия; обеспечение связи тыла. Значение этой задачи связи заключается в том что победа в современном бою...
39949. Требования связи 17.94 KB
  Своевременность связи – способность связи обеспечить получение передачу и подтверждение донесений в определенные временные сроки. Своевременность связи достигается: готовностью связи к действию; высокой квалификацией личного состава и четкой организацией дежурства на узлах и линиях связи; правильным выбором средств и способов организации связи для передачи информации с учетом ее срочности формы представления и объема; контролем на узлах связи времени прохождения сообщений и предоставлением переговоров в установленные...
39950. Виды военной связи 15.66 KB
  При использовании соответствующей оконечной аппаратуры по каналам радио радиорелейных тропосферных спутниковых проводных кабельных линий связи обеспечиваются следующие виды связи: телефонная связь телеграфная связь факсимильная связь передача данных видеотелефонная связь телевизионная связь. Телефонная связь – это вид электросвязи обеспечивающий передачу прием речевой информации переговоры должностным лицам органов управления. Телефонная связь создает условия близкие к личному общению поэтому является наиболее удобной в...