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;

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

 

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


 

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

50722. Определение молярной массы и плотности газа 35 KB
  Вычисление молярной массы воздуха Вычисление плотности воздуха Вычисление границ неисключенных систематических погрешностей отдельных измерений: Вычисление границы относительной погрешности результата измерения молярной массы воздуха...
50723. Використання покажчиків для роботи з функціями 37 KB
  Тема: Використання покажчиків для роботи з функціями. Ціль роботи: виробити практичні навички в написанні програм з функціями й у використання покажчиків для роботи з функціями. Обладнання: ПК,ПО Borland C++
50724. Використання спадкування для створення ієрархії класів 37 KB
  Тема: використання спадкування для створення ієрархії класів. Ціль роботи: одержати навички у використанні спадкування для створення похідних класів при простому спадкуванні. Обладнання: ПК, ПО Borland C++
50725. Використання віртуальних і покажчиків для роботи з обєктами класів 38.5 KB
  Тема: Використання віртуальних і покажчиків для роботи з обєктами класів. Ціль роботи: вивчити і навчитися використовувати віртуальні функції в мові С++. Обладнання: ПК,ПО Borland C++
50727. Проверка законов сохранения импульса и закономерности времени упругого удара шаров с использованием теории погрешности 112 KB
  Цель работы: исследовать закономерности соударения шаров. Приборы и принадлежности: прибор для исследования столкновения шаров. Существует абсолютно неупругий удар выполняется закон сохранения импульса P=const и = и абсолютно упругий удар выполняется закон сохранения импульса = и закон механической энергии Проверка закона сохранения импульса при упругом ударе шаров.
50728. Определение моментов инерции твердых тел с помощью крутильного маятника 55 KB
  Решение задачи производим в два действия. В первом с помощью метода наименьших квадратов находим наилучшую прямую, соответствующую полученным точкам. Вычислим параметры прямой...
50729. Экспериментальное определение динамических характеристик системы двухпозиционного регулирования давления 219 KB
  Снять динамические характеристики системы двухпозиционного регулирования давления. Кривая двухпозиционного регулирования давления воздуха в ресивере представляет собой изменение величины давления воздуха в ресивере по времени в зависимости от продолжительности цикла пуск и остановка компрессора рис. По этим данным строим кривую двухпозиционного регулирования давления.
50730. Определение коэффициента вязкости газа 58.5 KB
  Цель работы: определение коэффициента вязкости воздуха по истечению его через капилляр. Приборы и принадлежности: установка для измерения вязкости газа