Аналитические модели надежности программного обеспечения

Целью данной лабораторной работы является оценка надежности программного обеспечения с использованием двух аналитических моделей, одна из которых относится к классу динамических (модель Шумана), а другая по выбору исполнителя (статическая, эмпирическая либо интуитивная).         

В качестве исследуемого программного обеспечения была использована собственная программа. Данное ПО применяется для вычисления количественных характеристик надежности по статистическим данным об отказах изделия.

ХОД РАБОТЫ

Программа содержит в себе 1350 командный строк. До начала эксплуатации было выявлено 19 ошибок (рис.1).

[pic 1]

Рисунок 1 – Список ошибок до начала тестирования

Разберем ошибки подробнее.

Ошибка №1 – «Имя не существует в текущем контексте»

[pic 2]

Рисунок 2.1 – Код программы с ошибкой «Имя не существует в текущем контексте»

[pic 3]

Рисунок 2.2 – Преобразованный код программы без ошибки

[pic 4]

Рисунок 2.3 – Код программы с ошибкой «Имя не существует в текущем контексте»

[pic 5]

Рисунок 2.4 – Преобразованный код программы без ошибки

Ошибка №2 – «Представляется текст как последовательность знаков Юникода»

[pic 6]

Рисунок 3.1 – Код программы с ошибкой №2

[pic 7]

Рисунок 3.2 – Преобразованный код программы без ошибки

Ошибка №3 – Не удается неявно преобразовать тип «string» в «System.Windows.Form.Label»

[pic 8]

Рисунок 4.1– Код программы с ошибкой №3

[pic 9]

Рисунок 4.2 – Преобразованный код программы без ошибки

Ошибка №4 – «Неверное число индексов»

[pic 10]

Рисунок 5.1– Код программы с ошибкой №4

[pic 11]

 Рисунок 5.2 – Преобразованный код программы без ошибки

Модель Шумана

Модель Шумана относится к динамическим моделям дискретного времени. Исходные данные для модели Шумана собираются в процессе тестирования программной системы в течение фиксированных или случайных временных интервалов. Каждый интервал - это стадия, на которой выполняется последовательность тестов и фиксируется некоторое число ошибок.

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

В рассматриваемом случае в результате ряда тестов была выявлена лишь одна ошибка - «Входная строка имела неверный формат».

Данная ошибка возникала каждый раз, когда пользователь вводил неверный символ в строку. Например,

• буквы вместо цифр (рис. 6);
• символы вместо чисел (рис. 6);
• применение запятой вместо точки в дробных числах (рис. 7);
• применение дробных чисел вместо целых (рис. 8);
• пустая строка (рис. 9).

[pic 12]

[pic 13]

Рисунок 6 – Применение букв и символов вместо чисел

[pic 14]

[pic 15]

Рисунок 7 – Применение запятой вместо точки при записи дробных чисел

[pic 16]

[pic 17]

Рисунок 8 – Применение дробных чисел вместо целых

[pic 18][pic 19]

Рисунок 9 – Пустая строка

Предполагается, что до начала тестирования в ПС имеется  ошибок. В течение времени тестирования  обнаруживается  ошибок в расчете на команду в машинном языке.[pic 20][pic 21][pic 22]