Моделирование надежности программного обеспечения
Дипломная работа - Компьютеры, программирование
Другие дипломы по предмету Компьютеры, программирование
ктивному пакету, рассказав о новшествах в его последней версии.
Электронные таблицы также уступают по своим возможностям изощренным средствам бизнес-аналитики, решения учетных задач на предприятии или выполнения математических вычислений. Но при этом для огромного круга массовых задач именно Excel не только подходит по функционалу, но и гораздо удобнее по причине своей простоты и доступности.
Развивая аналогию с электронными таблицами, можно сказать, что если Excel ориентирован на работу с табличными численными данными, то Visio предназначен для визуализации разнородных информационных структур с разнообразными взаимосвязями. Пользователь может применять как ручные, так и автоматические методы рисования по некоторым исходным данным (например, по табличному описанию штата сотрудников организации или по описанию топологии иерархической системы компьютерной сети). Но в любом случае он получает изображения в некотором заданном стиле или стандарте. В состав Visio входит обширный набор шаблонов - блок-схем бизнес-процессов, схем сетей, диаграмм рабочих процессов, моделей баз данных и диаграмм ПО, - которые можно использовать для визуализации и рационализации бизнес-процессов, отслеживания работы над проектами и использования ресурсов, оптимизации систем, составления схем организационных структур, карт сетей и планов зданий. Однако функции Visio выходят далеко за пределы просто визуализации данных: в профессиональную редакцию пакета включены средства моделирования и визуального проектирования при решении целого ряда распространенных ИТ-задач, в том числе при разработке программных систем.поддерживает обширный набор шаблонов - блок-схемы бизнес-процессов, схемы сетей, диаграммы рабочих процессов, модели баз данных и диаграммы ПО. Их можно использовать для визуализации и рационализации бизнес-процессов, отслеживания хода работы над проектами и использования ресурсов, оптимизации систем, составления схем организационных структур, карт сетей и планов зданий.
Шаблоны дают возможность быстро приступить к работе. Office Visio 2007 содержит ряд средств, с помощью которых специалисты из сферы ИТ и бизнеса могут создавать различные диаграммы в соответствии со своими потребностями. Новые шаблоны выпуска Профессиональный, например, шаблон ITIL или "Схема потока создания стоимости", расширяют диапазон доступных диаграмм. С помощью стандартных символов Microsoft SmartShapes и мощных функций поиска можно быстро найти нужную фигуру, где бы она ни находилась.
Для часто используемых шаблонов организован быстрый доступ. В новом окне "Приступая к работе" можно найти нужный шаблон, просматривая категории упрощенных шаблонов и крупные образцы шаблонов. Для доступа к недавно использовавшимся шаблонам служит новое представление "Последние шаблоны" в окне "Приступая к работе".
В начале работы с образцами схем в выпуске Office Visio Professional 2007 легко найти новые образцы, открыв новое окно "Приступая к работе" и воспользовавшись категорией "Образцы". Из образцов схем, интегрированных с данными, специалисты могут почерпнуть идеи для создания собственных диаграмм, понять, каким образом данные образуют контекст различных типов диаграмм, а также выбрать, какой шаблон использовать.
Новая функция автосоединения в Office Visio 2007 - соединение фигур без рисования соединителей - позволяет соединять фигуры, равномерно располагать их и выравнивать одним щелчком мыши. При перемещении соединенных фигур они остаются соединенными, а соединители автоматически изменяют путь между фигурами.
Диаграммы в выпуске Office Visio стали более интеллектуальными благодаря возможности связывать их с данными, что дает более полное представление о процессе, проекте или системе. Визуальное исследование информации позволяет выявить важные тренды, проблемные места или исключения и принять надлежащие меры. Анализ бизнес-данных с возможностью их детализации и создания различных представлений обеспечивает глубокое проникновение в суть вопроса.
Концептуальная модель
Модель Джессики-Моранды основана на допущениях, что время до следующего отказа распределено экспоненциально, а интенсивность отказов программы пропорциональна количеству оставшихся в программе ошибок.
Согласно этим допущениям вероятность безотказной работы ПО как функция времени ti равна
, (1.1)
где интенсивность отказов
. (1.2)
Здесь Cd - коэффициент пропорциональности; - первоначальное количество ошибок.
В (1.1) отсчет времени начинается от момента последнего (i - 1)-го отказа программы.
По методу максимума правдоподобия на основании (1.1), обозначая через k номер прогнозируемого отказа, получим, что функция правдоподобия имеет вид
. (1.3)
Логарифмическая функция правдоподобия имеет вид
, (1.4)
Отсюда условия для нахождения экстремума
, (1.5)
. (1.6)
Из (1.6) получим
. (1.7)
Подставим (1.7) в (1.5). Получим:
. (1.8)
При известных значениях k; t1, t2, …, tk из (1.7) и (1.8) можно найти значения параметров модели Cd и N, а затем интенсивность отказов, время от последнего до следующего отказа tk+1, вероятность безотказной работы через время tk+1 после последнего отказа.
Преимущества и недостатки модели. Основным преимуществом модели является простота расчетов. Недостаток этой модели состоит в том, что при неточном определении величины N интенсивность от?/p>