51377

Моделирование оценки надежности программного обеспечения

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

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

Теоретические сведения Теория надёжности научная дисциплина в которой разрабатываются и изучаются методы обеспечения эффективности работы объектов изделий устройств систем и т. В теорию надёжности вводятся показатели надёжности объектов обосновываются требования к надёжности с учётом экономических и др. факторов разрабатываются рекомендации по обеспечению заданных требований к надёжности на этапах проектирования производства хранения и эксплуатации. Количественные показатели надёжности вводят в теорию надёжности на основе...

Русский

2014-02-10

70.96 KB

23 чел.

Эмпирические методы

программной инженерии

ПЗАС-08-2

Костякова  Инна

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

Тема:  Моделирование оценки надежности программного обеспечения

Задание

  1.  Ознакомиться с основными положениями теории надежности
  2.  Разработать приложение для расчета надежности программных модулей на основе анализа блок-схем их алгоритмов
  3.  Принять следующие формулы для расчета интегральной (общей) надежности (P) алгоритма:
  4.  Для последовательной цепи программных модулей

  1.  Для параллельной цепи программных модулей


где n–количество последовательных или параллельных секций программных модулей

  1.  Разработать блок-схему алгоритма решения квадратного уравнения
  2.  Задать уровни надежности для каждого отдельного модуля алгоритма (для простоты задать одинаковые уровни надежности, например, - 0,9)
  3.  Ввести данные в программу и определить интегральную надежность программы
  4.  Привести еще два алгоритма решения каких-либо задач с последовательными и параллельными секциями. Для них также вычислить интегральную надежность
  5.  На основе полученных данных сделать выводы о том, каким образом распараллеливание алгоритма программы влияет на ее интегральную надежность

Отчет должен содержать:

  1.  Краткие теоретические сведенияо теории надежности и основных показателях надежности
  2.  Блок-схемы алгоритмов программных модулей
  3.  Блок-схемы исследуемых программных модулей
  4.  Исходный текст программы
  5.  Результирующие данные исследования
  6.  Краткие выводы.

Теоретические сведения

Теория надёжности – научная дисциплина, в которой разрабатываются и изучаются методы обеспечения эффективности работы объектов (изделий, устройств, систем и т.п.) в процессе эксплуатации. В теорию надёжности вводятся показатели надёжности объектов, обосновываются требования к надёжности с учётом экономических и др. факторов, разрабатываются рекомендации по обеспечению заданных требований к надёжности на этапах проектирования, производства, хранения и эксплуатации.

 Количественные показатели надёжности вводят в теорию надёжности на основе построения математических моделей рассматриваемых объектов. В теории надёжности используются разнообразные математические методы; особое место занимают методы теории вероятностей и математической статистики. Это связано с тем, что события, описывающие показатели надёжности (моменты появления отказов, длительность ремонта и т.д.), часто являются случайными. Для расчёта вероятности безотказной работы объекта в течение некоторого времени используются аналитические методы теории случайных процессов. Расчёт количественных показателей надёжности объектов с учётом возможности восстановления отказавших устройств во многом аналогичен расчёту систем массового обслуживания теории. Аналитические методы расчёта надёжности сочетаются с методами моделирования на ЭВМ.

Исходный текст программы

unit Unit1;

var   Pposl,Pparal,Nadej:real;

procedure TForm1.FormCreate(Sender: TObject);

begin

TreeView1.FullExpand;

end;

procedure TForm1.Button1Click(Sender: TObject);

var s:string; i:byte;

begin

Nadej:=strtofloat(Edit3.Text);

Pposl:=1; Pparal:=1;

for i:=0 to TreeView1.Items.Count-1 do begin

 s:=TreeView1.Items.Item[i].Text;

if (s<>'Ï1') and (s<>'Ï2') and (Pos('P',s)=0) then Pposl:=Pposl*Nadej;

if Pos('P',s)<>0 then Pparal:=Pparal*(1-Nadej);

end;

Edit1.Text:=floattostr(Pposl);

Edit2.Text:=floattostr(1-Pparal);

end;

procedure TForm1.Button2Click(Sender: TObject);

begin

Image1.Visible:=true;

if OpenPictureDialog1.Execute then Image1.Picture.LoadFromFile(OpenPictureDialog1.FileName);

end;

procedure TForm1.N3Click(Sender: TObject);

begin

TreeView1.items.add(treeview1.Selected,'Ïîñëåäîâàòåëüíàÿ ñåêöèÿ');

end;

procedure TForm1.N2Click(Sender: TObject);

begin

Image1.Visible:=false;

TreeView1.Items.Clear;

end;

procedure TForm1.N4Click(Sender: TObject);

begin

TreeView1.items.AddChild(treeview1.Selected,'Ïîñëåäîâàòåëüíàÿ ñåêöèÿ');

end;

Блок-схема исследуемого программного модуля

 

Результат  работы  программы


 

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

67994. РОЗВИТОК ШКОЛИ Й ПЕДАГОГІЧНОЇ ДУМКИ НА БУКОВИНІ 129.5 KB
  Еволюція українського шкільництва й педагогічної думки Буковини протікала в загальнонаціональному руслі історії України й належить до цінних надбань виховної культури українського народу. Тим більше, що на цій предковічній території з давніх часів жили українські племена, переважно тиверці та уличі.
67995. Основные физические и логические параметры жестких дисков 23.33 KB
  Все накопители так или иначе соответствуют стандартам, определяемым либо независимыми комитетами и группами стандартизации, либо самими производителями. Среди множества технических характеристик отличающих одну модель от другой можно выделить некоторые, наиболее важные с точки зрения...
67998. Захаров Сергей Александрович 1.4 MB
  Сергей Александрович Захаров, доктор почвенных и сельскохозяйственных наук, прожил 71 год (1878–1949). Во время жизни ученого в России проводились буржуазные реформы. Освобождение крепостных крестьян 1861г. способствовало не только развитию капитализма в России...
67999. Парламентська реформа 1832 р. в Англії на початок чартистського руху 33 KB
  Безпосередньою причиною, яка дала поштовх зародженню чартизму, стали кризи 1825 та 1836 років і утворене ними безробіття 1825—1830 та 1836—1840 років, яке поширювалося переважно в на Ланкаширі. Криза викинула на ринок десятки тисяч робочих рук і значно знизила заробітню плату інших.
68000. Розвиток університетів в Західній Європі в 16 – 17 столітті 59 KB
  Перші ж університети зявилися в Західній Європі в 12 столітті як обєднання учнів і вчителів. Університети користувалися автономією по відношенню до церкви і феодалів. Університети як правило мали чотири факультети: підготовчий артистичний або мистецтв богословський юридичний медичний.
68001. Педагогічні погляди Томазо Кампанели 61.5 KB
  Знайомлячись з педагогічними ідеями Кампанелли особливе місце варто віддати Місту Сонця його найбільшому досягненню. Популярність і слава нагорода якою наділив час автора всесвітньо відомого Міста Сонця вже після його смерті. Місто Сонця і реальність.