перейти к полному списку дипломных проектов

Ссылка на скачивания файла в формате .doc находится в конце странички

Эти условия вполне соответствуют реальным условиям тестирования больших программ

Модель использует изменяющиеся вероятности отказов для различных типов сшибок.

В отличие от двух рассмотренных выше статических моделей, где оценивалось количество первоначальных ошибок в программе, а также их количество, оставшееся после некоторого периода тестирования, по модели Коркорэна оценивается вероятность безотказного выполнения программы на момент оценки.

, (66)

где N0 — число безотказных выполнений программы;

N — общее число прогонов;

К — априориорно известное число типов

ai, если Ni>0;

Yi= (67)

0, если Ni = 0;

ai — вероятность выявления при тестировании ошибки 1-го типа.

В этой модели вероятность ai, должна оцениваться на основании априорной информации или данных предшествующего периода функционирования однотипных программных средств. Наиболее часто встречающиеся ошибки и вероятности их выявлений при тестировании ПС прикладного назначения приводятся в таблице 13 (пример).

Таблица 13 - Ошибки программы по категориям и вероятности их появления

Модель Нельсона. Данная модель была создана в фирме TRW (аэрокосмическая компания США), при расчете надежности ПС учитывает вероятность выбора определенного тестового набора для очередного выполнения программы.

Предполагается, что область данных, необходимых для выполнения тестирования программного средства, разделяется на К взаимоисключающих подобластей Zi, i= 1,2, .... k. Пусть Рi - вероятность того, что набор данных Zi будет выбран для очередного выполнения программы. Предполагая, что к моменту оценки надежности было выполнено Ni прогонов программы на Zi наборе данных и из них ni, количество прогонов закончилось отказом, надежность ПС в этом случае равна:

. (68)

На практике вероятность выбора очередного набора данных для прогона (Рi) определяется путем разбиения всего множества значений входных данных на подмножества и нахождения вероятностей того, что выбранный для очередного прогона набор данных будет принадлежать конкретному подмножеству. Определение этих вероятностей основано на эмпирической оценке вероятности появления тех или иных входов в реальных условиях функционирования.

10.4. Эмпирические модели надежности

Эмпирические модели в основном базируются на анализе структурных особенностей программного средства (или программы). Как указывалось ранее, эмпирические модели часто не дают конечных результатов показателей надежности, однако их использование на этапе проектирования ПС полезно для прогнозирования требующихся ресурсов тестирования, уточнения плановых сроков завершения проекта и т.д.

Модель сложности. В литературе неоднократно подчеркивается тесная взаимосвязь между сложностью и надежностью ПС. Если придерживаться упрощенного понимания сложности ПС, то она может быть описана такими характеристиками, как размер ПС (количество программных модулей), количество и сложность межмодульных интерфейсов.

Под программным модулем в данном случае следует понимать программную единицу, выполняющую определенную функцию (ввод, вывод, вычисление и т.д.) и взаимосвязанную с другими модулями ПС.

Некоторые базовые понятия для определения характеристик сложности даны в таблице 14.

Сложность модуля ПС может быть описана, если рассматривать структуру программы как последовательность узлов, дуг и петель в виде направленного графа.

Таблица 14 - Определение характеристик сложности

В качестве структурных характеристик модуля ПС используются:

1) отношение действительного числа дуг к максимально возможному числу дуг, получаемому искусственным соединением каждого узла с любым другим узлом дугой;

2) отношение числа узлов к числу дуг;

3) отношение числа петель к общему числу дуг.

Для сложных модулей и для больших многомодульных программ составляется имитационная модель, программа которой "засоряется" ошибками и тестируется по случайным входам. Оценка надежности осуществляется по модели Миллса.

При проведении тестирования известна структура программы, имитирующей действия основной, но не известен конкретный путь, который будет выполняться при вводе определенного тестового входа. Кроме того, выбор очередного тестового набора из множества тест-входов случаен, т.е. в процессе тестирования не обосновывается выбор очередного тестового входа. Эти условия вполне соответствуют реальным условиям тестирования больших программ.

Полученные данные анализируются, проводится расчет показателей надежности по модели Миллса (или любой другой из описанных выше), и считается, что реальное ПС, выполняющее аналогичные функции, с подобными характеристиками и в реальных условиях должно вести себя аналогичным или похожим образом.

Преимущества оценки показателей надежности по имитационной модели, создаваемой на основе анализа структуры будущего реального ПС, заключаются в следующем:

модель позволяет на этапе проектирования ПС принимать оптимальные проектные решения, опираясь на характеристики ошибок, оцениваемые с помощью имитационной модели;

позволяет прогнозировать требуемые ресурсы тестирования;

дает возможность определить меру сложности программ и предсказать возможное число ошибок и т.

скачать бесплатно АЛГОРИТМ, БЛОК СХЕМА, ОБЪЕКТ УПРАВЛЕНИЯ

Содержание дипломной работы

Для различных государственных и не государственных структур обладание достоверной и оперативной информацией считается, чуть ли не секретным оружием
Краткое описание всех задач поставленных перед ИСУ Задачи, поставленные перед Информационной Системой Университета можно разделить на 2 группы
Учитывая тот факт, что локальная сеть университета, имеет выход в Internet, но в целях обеспечения надежности системы нельзя непосредственно подать объявление, не находясь в стенах университета
Меню и командные языки дополняют друг друга, поэтому в интерфейсах многих современных систем присутствуют оба этих средства
К языкам программирования относится: язык низкого уровня - Ассемблер, и высокого - Си, Си++, Pascal /4/
Недостатком Delphi является чрезмерное "раздувание" машинного кода программы и как следствие более высокие требования конечной программы к ресурсам и быстродействию ЭВМ
Переменные "Тип сообщения", "Ошибка", "Ответ", "Номер объявления" заполняется в зависимости от типа сообщения
Другие функции выполняемые в системе В системе могут быть случаи, когда устройство нижнего уровня не отвечает на запросы
Можно принудительно запретить работу некоторого устройства или добавить новое, изменив содержание массива устройств
Если от "Клиента" пришло сообщение с неправильной контрольной суммой, то "Сервер" формирует сообщение с данным "Типом сообщения", т
Если данная переменная принимает значение истинно, то процедура проверяет значение "Тип сообщения" и в зависимости от него выполняет определенные действия
5), позволяет выводить строчные объявления, при выводе которых возникает иллюзия движения
8 "Заголовок пакета" и "Префикс пакета" предназначен для выделения пакета из информационного потока и синхронизации приемника и источника
Поле "Текст" 2 байта приоритет, 2 байта устройства, 2 байта время, остальное под текст объявления
Описание переменных присутствующих на блок схеме: N – "Номер сообщения" (служит для заполнения массива сообщения в системе)
Алгоритм процедуры приема сообщения (Get_message) Алгоритм представлен на рисунках 28 - 31
Временный массив объявлений Все объявления принятые системой помещаются во временный массив объявлений и имеет такую же структуру, как и массив объявлений представленную в таблице 7
Они служат для получения права опубликования своих объявлений в системе, и для отправки и получения пакетов от сервера
(10) Подставив полученную оценку параметров ET, в выражение (8), получим оценку для второго неизвестного параметра:

В основе модели Шика-Волвертона лежит предположение, согласно которому частота ошибок пропорциональна не только количеству ошибок в программах, но и времени тестирования, т
когда длительность интервалов между последовательными отказами имеет экспоненциальное распределение), то средняя наработка на отказ обратно пропорциональна интенсивности отказов
В любой момент времени система может находиться в двух возможных состояниях: работоспособном либо неработоспособном (момент исправления очередной ошибки)
Вероятность, с которой можно высказать такое предположение, возможно рассчитать по следующему соотношению: 1, если n
Если обозначить через N неизвестное количество ошибок, присутствовавших в программе до начала тестирования, то можно эффективность тестирования каждой из групп определить как:
;

Эти условия вполне соответствуют реальным условиям тестирования больших программ
Количественный расчет надежности Для количественной оценки надежности был выбран метод La Padula, так как он позволяет вычислить прогнозное значение надежности
Разработана и описана клиентская часть верхнего уровня, со всеми правилами взаимодействия с серверной частью
www
ПОДСИСТЕМА ВЗАИМОДЕЙСТВИЯ С "КЛИЕНТОМ"
ПРИЛОЖЕНИЕ 3