Расчет надежности системы, Завершенность - Моделирование беспроводных сенсорных сетей
Для разрабатываемого программного обеспечения необходимо определение следующих свойств:
- - завершенность; - устойчивость; - восстанавливаемость; - доступность или готовность.
Завершенность
Завершенность - свойство программного обеспечения (ПО) не попадать в состояния отказов вследствие ошибок и дефектов в программах и данных. Данное свойство ПО определяется через такие показатели как наработка на ошибку и степень покрытия ПО тестами функций и структуры программы.
1. Среднее время наработки на ошибку.
Средняя наработка на ошибку рассчитывается следующим образом:
,
Где лПО - интенсивность ошибок программного обеспечения.
Интенсивность ошибок разрабатываемого программного обеспечения рассчитывается по формулам:
,
,
Где t - фактическое время отладки;
Б - коэффициент крутизны линии, характеризующий скорость роста надежности;
N0 - число обнаруженных ошибок за время отладки t;
N - общее число строк;
КТП - коэффициент, учитывающий влияние методологии программирования на надежность ПО;
КТПi - коэффициент, учитывающий использование i-ой технологии программирования;
КЯЗi - коэффициент, учитывающий использование i-ого языка программирования;
КПЛi - коэффициент, учитывающий использование i-ой платформы программирования.
В данном программном обеспечении использована объектно-ориентированная технология программирования () в Castalia (поскольку Castalia базируется на языке C++, то ) на 32-разрядной платформе (для платформ, не являющихся. NET, ).
Исходное число строк кода N=11341.
Отладка программного обеспечения производилась с помощью тестирования в течение 8 часов. Результаты тестирования представлены в таблице 10.
Таблица 10: Результаты тестирования ПО
Число ошибок |
Время отладки t, часы |
Интенсивность ошибок, л0 1/ час |
35 |
8 |
0,00023 |
17 |
8 |
0,00011 |
6 |
8 |
0,00004 |
3 |
8 |
0,00002 |
2 |
8 |
0,00001 |
1 |
8 |
0,00001 |
1 |
8 |
0,00001 |
0 |
8 |
0,00000 |
На основе полученных данных можно построить кривую зависимости интенсивности ошибок от времени отладки (рис. 21).
Рис. 21 Зависимость интенсивности ошибок от времени отладки
Как показано выше, функциональная зависимость интенсивности ошибок ПО от времени отладки описывается экспоненциальным законом и зависит от коэффициента крутизны линии, характеризующей скорость роста надежности б, и от фактического времени отладки ПО. Анализ результатов тестирования ПО позволил определить б = 0,0133.
Таким образом, интенсивность ошибок разрабатываемого ПО составляет:
(1/час)
(1/час)
Для разрабатываемого программного обеспечения средняя наработка на ошибку составит 2587 часа.
Степень покрытия тестами функций и структуры программы
Существуют три типа покрытия, для каждого из которых требуется различное число тестовых примеров:
- - покрытие утверждений; - покрытие ветвей; - покрытие условий.
Покрытие утверждений. Здесь нужно следить затем, выполнялась ли каждая строка кода, по крайней мере, один раз. Чтобы достичь 100%-го покрытия утверждений, понадобится выполнить утверждение IF, причем оно должно принять значение TRUE для выполнения соответствующего требования THEN.
Покрытие ветвей. Здесь нужно следить затем, была ли взята каждая ветвь или точка принятия решения при всех возможных исходах. Чтобы покрытие было100%-м, требуется два прохода через условие IF, когда при одном проходе оно принимает значение TRUE, а при другом - FALSE. Каждый цикл DO-WHILE также должен быть выполнен при условиях TRUE и FALSE. Для утверждений CASE или SWITCH требуются тестовые примеры, которые будут брать все возможные ветки, включая заданные по умолчанию пути.
Покрытие условий. Оно известно также как покрытие предикатов и следит затем, принимает ли каждый операнд в комплексных логических выражениях значения FALSE/TRUE. Комплексные логические выражения содержат операторы AND, OR и XOR.
Каждый из этих типов покрытия содержит в себе более низкие уровни. Достижение 100%-го покрытия ветвей означает 100%-ное покрытие утверждений. Аналогично достижение 100%-го покрытия условий автоматически приводит к удовлетворению 100%-го покрытия ветвей.
На основе тестирования были получены следующие коэффициенты:
1. Коэффициент полноты:
,
Где Р - степень покрытия тестами в процентах.
.
2. Коэффициент достоверности:
,
Где Nпр - число прогонов;
Nош - число ошибок, обнаруженных во время данных прогонов.
.
Похожие статьи
-
Расчет энергопотребления и времени работы, Выводы - Моделирование беспроводных сенсорных сетей
Энергопотребление - один из ключевых вопросов для сенсорных сетей, так как устройства питаются в основном от батареек. Информация о потреблении энергии в...
-
Введение, Постановка задачи - Моделирование беспроводных сенсорных сетей
Данная квалификационная работа посвящена моделированию беспроводных сенсорных сетей (БСС) на базе современных маломощных модулей. Рассматриваются...
-
Моделирование сети, Выводы - Моделирование беспроводных сенсорных сетей
Для моделирования сети в терминале вводим команду: Alex@alex:~$ cd omnetpp41/samples/diplom/Simulations/dipl Для перехода в директорию, содержащую файл...
-
Программно-графическое представление сети В графическом редакторе OMNET++ беспроводная сенсорная сеть Castalia представлена следующим образом (в...
-
Эффективная скорость передачи данных - Моделирование беспроводных сенсорных сетей
В стандарте 802.15.4 для частот в диапазоне 2,4 ГГц определена максимальная скорость передачи 250 Кбит/с. На практике она оказывается меньше из-за...
-
Создание конфигурационного файла - Моделирование беспроводных сенсорных сетей
Для моделирования сети необходимо создать файл конфигурации omnetpp. ini: [General] Network = SN Include../Parameters/Castalia. ini Sim-time-limit =...
-
Описание стандарта IEEE 802.15.4 - Моделирование беспроводных сенсорных сетей
Стандарт 802.15.4 предназначен для организации двух нижних уровней эталонной модели OSI в беспроводной сенсорной сети - физический (PHY) и канальный...
-
OPNET Modeler (Optimized Network Engineering Tools) - Моделирование беспроводных сенсорных сетей
OPNET Modeler - мощная среда имитационного моделирования дискретных событий и состояний. Она включает множество библиотек сетевых технологий и протоколов...
-
Стандарт Bluetooth (802.15.1) на сегодняшний день хорошо развит и применяется для связи мобильных телефонов, КПК, периферии. Однако он не рассчитан на...
-
Выбор стандарта - Моделирование беспроводных сенсорных сетей
Различных стандартов беспроводных сетей существует великое множество, однако их всех можно подразделить на три группы: WPAN (Wireless Personal Area...
-
1 Беспроводная сенсорная сеть В настоящее время бурно развивается технология беспроводных сенсорных сетей. Беспроводные сенсорные сети - это...
-
OMNeT++ (Objective Modular Network Testbed in C++) - Моделирование беспроводных сенсорных сетей
OMNeT++ - среда имитационного моделирования дискретных событий и состояний с открытым исходным кодом, основанная на компонентах, которая становится все...
-
Выбор средства моделирования, Выводы - Моделирование беспроводных сенсорных сетей
Наиболее перспективными в плане дальнейшей поддержки и развития представляются модели open-zb и Castalia. Особое внимание необходимо обратить на модель...
-
Среди средств имитационного моделирования отдельных событий и состояний беспроводных сенсорных сетей на базе стандарта IEEE 802.15.4-2006 наибольшее...
-
Для расчета надежности необходимо знание наработки на отказ (или) частоты отказов всего комплекта деталей, узлов применяемых в системе. В литературе эти...
-
Расчет надежности В общем случае при конструировании надежность оценивается показателями безотказности и долговечности. Нормируемыми показателями...
-
Рассмотрим замкнутую сеть массового обслуживания с разнотипными заявками, которая является вероятностной моделью обслуживания заявок в УП "Проектный...
-
Информационная инфраструктура организации при внедрении Системы электронного документооборота должна отвечать требованиям к информационному пространству,...
-
Персонал должен обладать минимальными навыками в работе с компьютером, операционной системой семейства Windows, а именно персонал должен иметь такие...
-
КР580ИР82 представляет собой 8-разрядный буферный регистр, предназначенный для ввода и вывода информации со стробированием. Микросхема имеет восемь...
-
Как известно, реализация каждого основного технологического процесса требует наличия вспомогательных (второстепенных) процессов, обеспечивающих...
-
Тестирование программного продукта - Разработка информационно-справочной системы "Аптека"
В настоящее время для установления соответствия программного продукта заданным правилам построения, техническим условиям и заданиям на них, для...
-
Расчет себестоимости программного продукта Себестоимость программного продукта это все виды затрат понесенные при разработке продукта. Себестоимость...
-
Требования к программному обеспечению системы На сетевом оборудовании должна функционировать межсетевая операционная система, причем ее версия должна...
-
Учебный процесс в ННГАСУ сопровождается значительной информационной базой, развитием компьютерного парка и внедрением в образовательный процесс...
-
В качестве основы расчета оценки стоимости разработки информационной системы была выбрана модель - COCOMO II. Согласно описываемой модели расчеты должны...
-
Для проверки соответствия требованиям ТЗ, была поставлена задача разработки 3-D модели корпуса Kyocera KD-PB1D79 при помощи системы AutoCAD. В этой части...
-
По заданному значению выбираем длину линии и удельное сопротивление линии. = 50 км; Марка провода ЛЭП: АС - 240 1.2 Расчет параметров модели...
-
ОС Android - операционная система для мобильных телефонов, планшетных компьютеров и нетбуков, основанная на ядре Linux. Изначально разрабатывалась...
-
При внедрении СЭД необходимо придерживаться следующих основных принципов: *активное участие высшего руководства Заказчика в решении организационных...
-
Программный продукт "1С: Документооборот 8", является преемником программного продукта "1С: Архив 3", который уже более 10 лет применяется в сотнях...
-
Поломки видеокарты могут быть двух типов: программные и механические. И те, и те в некоторых случаях можно исправить в домашних условиях. При поломке...
-
При создании программ и формировании структур баз данных нередко применяются формальные способы их представления - формальные нотации, с помощью которых...
-
В деятельности крупных фирм (в особенности транснациональных корпораций, представляющих собой комплексы большого числа взаимосвязанных и...
-
Прием и передача информации по сети - Теоретические основы информационных процессов и систем
Пересылка данных в вычислительных сетях от одного компьютера к другому осуществляется последовательно, бит за битом. Физически биты данных передаются по...
-
Классификация компьютерных сетей - Теоретические основы информационных процессов и систем
Для классификации компьютерных сетей используются разные признаки, выбор которых заключается в том, чтобы выделить из существующего многообразия такие,...
-
Основным, с точки зрения пользователя, является прикладной уровень. Этот уровень обеспечивает выполнение прикладных процессов пользователей. Наряду с...
-
Расчет бюджета мощности - Сеть абонентского доступа
Цель расчета - определить параметры, влияющие на бюджет мощности. Определить затухание максимально отдаленного дома в волокне G.652 ITU-T. К параметрам...
-
Требования к функциональным характеристикам система должна обеспечивать выполнение следующих функций: - Актуальная информативность Исходные данные:...
-
Тестирование и отладка системы - Исследование и модернизация локальной вычислительной сети
Тестирование системы является одной из завершающих стадий в процессе проектирования. На этом этапе проверяется соответствие созданной распределенной...
Расчет надежности системы, Завершенность - Моделирование беспроводных сенсорных сетей