перейти к полному списку дипломных проектов
Ссылка на скачивания файла в формате .doc находится в конце странички
Если обозначить через N неизвестное количество ошибок, присутствовавших в программе до начала тестирования, то можно эффективность тестирования каждой из групп определить как:
;
Но если в процессе тестиро вания была обнаружена одна собственная ошибка, то С=1, так как n > К, и наше предположение о том, что в программе нет ошибок, на 100% не подтвердилось.
Таким образом, величина С является мерой доверия к модели и показывает вероятность того, насколько правильно найдено значение N. Эти два связанных между собой по смыслу соотношения образуют полезную модель ошибок: первое пред сказывает возможное число первоначально имевшихся в про грамме ошибок, а второе используется для установления доверительного уровня прогноза. Однако формула (54) для расчета С не может быть использована в случае, когда не обнаружены все искусственно рассеянные ошибки. Для этого случая, когда оценка надежности производится до момента обнаружения всех 5 рассеянных ошибок, величина С рассчиты вается по модифицированной формуле (55):
1, если n>K
C= , если n(K, (55)
где числитель и знаменатель формулы при n < К являются биноминальными коэффициентами вида:
. (56)
В действительности модель Миллса можно использовать для оценки N после каждой найденной ошибки. Предлагается во время всего периода тестирования отмечать на графике число найденных ошибок и, текущие значения для N. Достоинством модели являются простота применяемого математического аппарата, наглядность и воз можность использования в процессе тестирования.
Однако она не лишена и ряда недостатков, самые существен ные из которых - это необходимость внесения искусственных ошибок (этот процесс плохо формализуем) и достаточно вольное допущение величины К, которое основывается исключительно на интуиции и опыте человека, проводящего оценку, т.е. допускает большое влияние субъективного фактора.
Модель Липова. Липов модифицировал модель Миллса, рассмотрев вероятность обнаружения ошибки при использова нии различного числа тестов. Если сделать то же предположе ние, что и в модели Миллса, т.е. что собственные и искусствен ные ошибки имеют равную вероятность быть найденными, то вероятность обнаружения п собственных и V внесенных ошибок равна:
, (57)
где m — количество тестов, используеиых при тестировании;
q — вероятность обнаружения ошибки в каждом из т тестов, рассчитанная по формуле:
, (58)
S - общее количество искусственно внесенных ошибок;
N-количество собственных ошибок, имеющихся в ПС до начала тестирования.
Для использования модели Лилова должны выполняться следующие условия:
N(n(0;
S(V(0; (59)
m(n+V(0.
Оценки максимального правдоподобия (наиболее вероятное значение) для N задаются соотношениями:
при n(1, V(1;
N = при V = 0; (60)
0 при n = 0.
Модель Лилова дополняет модель Миллса, дав возможность оценить вероятность обнаружения определенного количества ошибок к моменту оценки.
Простая интуитивная модель. Использование этой модели предполагает проведение тестирования двумя группами программистов (или двумя программистами в зависимости от величины программы) независимо друг от друга, использую щими независимые тестовые наборы. В процессе тестирования каждая из групп фиксирует все найденные ею ошибки. При оценке числа оставшихся в программе ошибок результаты тес тирования обеих групп собираются и сравниваются.
Получается, что первая группа обнаружила N1 ошибок, вторая – N2, а N12 - это ошибки, обнаруженные обеими груп пами.
Если обозначить через N неизвестное количество ошибок, присутствовавших в программе до начала тестирования, то можно эффективность тестирования каждой из групп определить как:
; . (61)
Предполагая, что возможность обнаружения всех ошибок одинакова для обеих групп, можно допустить, что, если первая группа обнаружила определенное количество всех ошибок, она могла бы определить то же количество любого случайным образом выбранного подмножества. В частности, можно допу стить, что:
. (62)
Из формулы (25) N2 = Е2N, подставив в (26), получим:
, (63)
или
. (64)
Значение N12 известно, а E1 и E2 можно определить как N12/N1 и N12/N1. Развивая эту модель и опираясь на предполо жение, что обе группы, проводящие тестирование, имеют равную вероятность обнаружения "общих" ошибок, ее можно рассчитать по следующей формуле:
, (65)
где Р(N12) — вероятность обнаружения N12 "общих" ошибок тестирования про граммы двумя независимыми группами.
Модель Коркорэна. Модель Коркорэна относится к статиче ским моделям надежности ПС, так как в ней не используются параметры времени тестирования и учитывается только резуль тат N испытаний, в которых выявлено N1 ошибок i-го типа.
скачать бесплатно АЛГОРИТМ, БЛОК СХЕМА, ОБЪЕКТ УПРАВЛЕНИЯ
Содержание дипломной работы
Для различных государственных и не государственных структур обладание достоверной и оперативной информацией считается, чуть ли не секретным оружием
Краткое описание всех задач поставленных перед ИСУ
Задачи, поставленные перед Информационной Системой Университета можно разделить на 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
