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;

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

 

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


 

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

39273. Социология труда и менеджмента. (Ф. Тейлор, Э. Мейо) 17.07 KB
  Социология труда (в развитых государствах Запада чаще она именуется индустриальной социологией) начала развиваться в 20-30-х гг. XX века. Исследуя проблемы, связанные с социальной сущностью труда, индустриальная социология важным объектом анализа ставит социально-трудовые отношения.
39274. АНАЛІЗ АСОРТИМЕНТУ, СПОЖИВНИХ ВЛАСТИВОСТЕЙ І КОКУРЕНТОСПРОМОЖНОСТІ КОМП’ЮТЕРІВ, ЯКІ РЕАЛІЗУЮТЬСЯ В ТОВ «САВ-ДІСТРИБ’ЮШН» В М. ДОНЕЦЬК 727 KB
  Основні тенденції розвитку світового і вітчизняного ринку компютерів Фактори які формують асортимент і якість комп'ютерів Аналіз ринку компютерів в Україні та світі Нові технології в розвитку асортименту компютерів Обґрунтування та удосконалення класифікації компютерів РОЗДІЛ 2. Практичні аспекти реалізації оцінки якості компютерів 2. Споживні параметри компютерів та методи їх оцінки 2.
39275. Изыскание путей повышения эффективности производства на НПК «Динкома» на основе оценки товарной политики предприятия 698.5 KB
  Инновационная политика разработка новой продукции ее торговой марки и упаковки основа эффективности предпринимательской деятельности в рыночных условиях гарантия высоких конкурентных позиций фирмы. Планы поступательного развития компании в средне и долгосрочной перспективе должны основываться на реалистичной и хорошо продуманной стратегической программе обновления ассортимента продукции. В интересах сохранения объемов сбыта или достигаемого уровня рентабельности предприятию необходимо быть готовым к немедленной замене вырабатываемой...
39276. Разработка автоматизированной системы измерений параметров взаимодействия жидких кристаллов с поверхностью подложки 7.52 MB
  Для них характерна относительная свобода пространственного порядка молекул в одном или более измерениях. Наиболее распространены нематические ЖК у которых длинные оси молекулы вытянуты приблизительно параллельно друг другу. Схема выключенной монохромной ячейки Если к ячейке приложено электрическое поле оси молекул поворачиваются перпендикулярно электродам и структура перестаёт вращать плоскость поляризации падающего света который при этом поглощается вторым поляризатором и устройство выглядит темным. Схема установки с вращением ячейки по...
39277. АРХИТЕКТУРА СПЕЦИАЛИЗИРОВАННЫХ СИСТЕМ ОБРАБОТКИ, АНАЛИЗА И ИНТЕРПРЕТАЦИИ ДАННЫХ 1.33 MB
  Команды. Опережающий просмотр команд. Структура ЭВМ с множественным потоком команд Глава 12. Компьютеры становятся весьма сложными кудато пропадает дружественность интерфейса программная среда переходит на жесткий командный язык и начинает требовать от пользователей предоставления такой информации которая не всегда известна и т.
39278. Концептуальная модель безопасности сети 22.04 KB
  Направлены на минимизацию или устранение Предполагают реализацию Невыполнение ведет к предпосылкам Потенциально ведут к нанесению ущерба Обуславливают наличие Из паспорта Из типа Кумулятивно и взвешенно ведут к нарушениям целостности устойчивости функционирования и безопасности ЕСЭ {C} Проверяют выполнение {R} = Учитывает ценность Учитывает стоимость Учитывает актуальность Содержат Рисунок 1 Концептуальная модель безопасности сети Условные обозначения:...
39279. АРХИТЕКТУРА СПЕЦИАЛИЗИРОВАННЫХ СИСТЕМ ОБРАБОТКИ, АНАЛИЗА И ИНТЕРПРЕТАЦИИ ДАННЫХ 1.13 MB
  Содержание: Введение Параллельная обработка данных на ЭВМ Классификации параллельных ВС Классификация Кришнамарфи Используемые источники Введение Стремительное развитие науки и проникновение человеческой мысли во все новые области вместе с решением поставленных прежде проблем постоянно порождает поток вопросов и ставит новые как правило более сложные задачи. К настоящему времени спроектированы и опробованы сотни различных компьютеров использующих в своей архитектуре тот или иной вид параллельной обработки данных. Параллельная обработка...
39280. Научение путем наблюдения: научение с помощью имитации других или наблюдения 22.13 KB
  Это пример типа научения известного как научение путем наблюдения или подражание41. Научение путем наблюдения форма научения при которой люди приобретают новые знания путем систематического наблюдения за чужим опытом вознаграждений и наказаний. научение путем наблюдения Оно имеет место в тех случаях когда человек приобретает новые знания действуя вместо другого то есть посредством наблюдения за тем что происходит с другими людьми.
39281. Дисциплина 22.01 KB
  Другие считают что иногда наказание наиболее эффективный способ изменить поведение. НАКАЗАНИЕ определение Неприятное следствие определенной поведенческой реакции или отказ от желательного подкрепления в связи с определенной поведенческой реакцией. Наказание это инициирование неприятного события или устранение позитивного события следующие за нежелательным поведением и уменьшающие частоту нарушений96. Литература посвященная этому вопросу рассматривает теоретические рамки и основу для прогрессивных дисциплинарных программ организаций...