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;

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

 

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


 

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

84467. Складання тексту з деформованих речень «Зима – Чарівниця» 122 KB
  Мета: вчити учнів фантазувати, бачити прекрасне у навколишньому, вчити дітей сприймати та передавати красу зимової природи через музику, художні образи, пісню, слово; удосконалювати навички грамотного письма, продовжити формування поняття тексту, добирати заголовок та складати текст...
84468. ЛАКИРОВАНИЕ В ПОЛИГРАФИЧЕСКОМ ПРОИЗВОДСТВЕ. ВОЗМОЖНОСТИ И ОБЛАСТЬ ПРИМЕНЕНИЯ 133.59 KB
  ВОЗМОЖНОСТИ И ОБЛАСТЬ ПРИМЕНЕНИЯ С появлением высокоскоростных офсетных машин развитием флексографской и трафаретной печати лакирование в полиграфическом производстве используют повсеместно чаще и чаще ведь при небольшом удорожании тиража расход лака в зависимости от способа нанесения и вида лака от 15г м2 влажного при цене от 2 до 15Е кг лакирование позволяет: Защитить печатный оттиск истирание агрессивные среды Придать оттиску новые декоративные свойства глянец матовый эффект металлический блеск перламутр флуоресценция ...
84469. ВОДНОДИСПЕРСИОННЫЕ ЛАКИ 46.83 KB
  Сразу после нанесения лака на печатный оттиск частицы полимера растворенные в водной суспензии при испарении воды выпадают на поверхности основы и абсорбируются бумагой. Поэтому перед нанесением на оттиски температуру лака необходимо довести до комнатной чтобы обеспечить его хорошую адгезию к основе. Температура воднодисперсионных лаков ниже указанной может отрицательно сказаться на смачиваемости поверхности и привести к снижению адгезии лака. При двустороннем лакировании печатных оттисков воднодисперсионными лаками рекомендуется соблюдать...
84470. УФ-ЛАКИРОВАНИЕ В ПОЛИГРАФИИ 121.57 KB
  Преимущества технологии УФлака состоят в следующем: ярко выраженный декоративный эффект; повышенная стойкость к истиранию; повышенная химическая стойкость; хорошая адгезия к большинству субстратов; мгновенное высыхание К недостаткам технологии УФлакирования можно отнести следующее: УФлаки агрессивны; при работе УФламп выделяется озон; технология требует специального оборудования; лаковая пленка сохраняет запах за исключением лаков катионной полимеризации. Их применяют для изготовления упаковки с использованием...
84471. УФ-ЛАКИРОВАНИЕ «В ЛИНИЮ» ПО ТРАДИЦИОННЫМ ОФСЕТНЫМ КРАСКАМ: ОСОБЕННОСТИ И ПЕРСПЕКТИВЫ 44.64 KB
  На первый взгляд вариант выглядит очень привлекательно: нет нужды использовать дорогие и сложные в работе УФотверждаемые краски отсутствует экономия лишний прогон для нанесения УФлака. Оборудование и принцип Для реализации технологии требуется листовая офсетная машина с двумя лакировальными модулями. Стандартная комплектация включает: необходимое количество красочных секций часто с промежуточным одним или двумя модулями ИК сушки; модуль ИКсушки после красочных секций; лакировальную секцию для нанесения грунтовочного...
84472. СПЕЦИАЛЬНЫЕ ЛАКИ В ПОЛИГРАФИИ 38.36 KB
  Наибольшее распространение получили лаки придающие оттиску особые физикохимические свойства в том числе повышенную стойкость к какимлибо разрушающим факторам: воздействию света высоких и низких температур влаги различных химических реагентов абразивных материалов и т. В рамках этой группы специальных лаков следует отдельно рассмотреть так называемые барьерные лаки. Барьерные лаки позволяют получить эти свойства при нанесении на оборотную сторону картона.
84473. ПОСЛЕПЕЧАТНЫЕ ОТДЕЛОЧНЫЕ ПРОЦЕССЫ 41.66 KB
  Бывает в этот момент выясняется что завершить исполнение заказа невозможно: заготовка не склеивается на ней появляются разрывы или краска смазывается с бумаги вариантов может быть много. Название технологии говорит само за себя: при скреплении корешка книжного блока и вставке в обложку используются только клеи и не происходит шитьё нитками или проволокой. В данном способе обычно используются клеирасплавы реже на водной основе. Необходимо отметить что эти клеи могут различаться жёсткостью плёнки открытым временем схватывания...
84474. КОНТРОЛЬ КАЧЕСТВА В ПОЛИГРАФИЧЕСКОМ ПРОИЗВОДСТВЕ 48.95 KB
  Наиболее популярный вискозиметр Brookfield ISO 2555 известен также Conne nd Plte ISO 2884 STM 4287 KrebsStormer STM D 562 Hoppler. Её аналоги: DIN 4 DIN 5321187 и UNE ISO DIN 2431. Для густых красок используется вискозиметр падающего стержня ISO 126441996.
84475. АДГЕЗИЯ В ПОЛИГРАФИИ 286.49 KB
  Технолог вместе с печатниками экспериментируют с настройками машины и различными лаками пытаясь добиться необходимой адгезии и спасти тираж. Рисунок 1 Рисунок 2 Плохая адгезия лак Прибор для измерения адгезии К сожалению часто бывает непонятно почему же он не держится Все кто занимается УФлакированием сталкиваются с проблемой адгезии УФлака рис. В процессе лакирования печатник должен контролировать адгезию УФлака тестом на скотч и тестом на ноготь. Недостаточное высыхание лака Если между слоем высохшего лака и подложкой окажется...