Практическая работа №4 по дисциплине «Документирование и сертификация» Специальность 09.02.03 1 ПРАКТИЧЕСКАЯ РАБОТА №4 Тема: Надежность программного обеспечения. Модель Коркорэна. Цель: Научиться оценивать надежность программного средства с помощью модели Коркорэна. Оборудование и программное обеспечение: 1 Персональный компьютер IBM PC/AT. 2 Операционная система Windows XP. ТЕОРЕТИЧЕСКАЯ ЧАСТЬ В модели Коркорэна не используются параметры времени тестирования и учитывается только результат N испытаний, в которых выявлено Ni ошибок i-го типа. Модель использует изменяющиеся вероятности отказов для различных типов ошибок. В отличие от двух рассмотренных выше статических моделей, по модели Коркорэна оценивается вероятность безотказного выполнения программы на момент оценки: K N Y N i 1 R 0 i N N i 1 где N0 — число безотказных выполнений программы; N — общее число прогонов; К — априори известное число типов ошибок; вероятность появления ошибок ai , если N i 0, Yi 0, если N i 0; где аi — вероятность выявления при тестировании ошибки i-го типа. В этой модели вероятность аi должна оцениваться на основе априорной информации или данных предшествующего периода функционирования однотипных программных средств. ПРАКТИЧЕСКАЯ ЧАСТЬ 1. Изучите теоретическую часть. 2. Оцените надёжность программы по модели Коркорэна в соответствии с вариантом заданий. Вариант 1. Было проведено 100 испытаний программы. 10 из 100 испытаний прошли безуспешно, а в остальных случаях получились следующие данные: Тип ошибки 1.Ошибки вычисления 2.Логические ошибки 3.Ошибки ввода/вывода 4.Ошибки манипулирования данными 5.Ошибки сопряжения 6.Ошибки определения данных 7.Ошибки в БД Вероятность появления аi 0,07 0,31 0,22 Число ошибок при испытании (Ni) 10 11 2 0,1 3 0,3 0,04 0,08 15 3 Практическая работа №4 по дисциплине «Документирование и сертификация» Специальность 09.02.03 2 Вариант 2. Было проведено 50 испытаний программы. 30 из 50 испытаний прошли безуспешно, а в остальных случаях получились следующие данные: Тип ошибки 1.Ошибки вычисления 2.Логические ошибки 3.Ошибки ввода/вывода 4.Ошибки манипулирования данными 5.Ошибки сопряжения 6.Ошибки определения данных 7.Ошибки в БД Вероятность появления аi 0,01 0,25 - Число ошибок при испытании (Ni) 11 7 - 0,4 18 0,45 0,15 0,12 12 11 14 Вариант 3. Было проведено 100 испытаний программы. 20 из 100 испытаний прошли безуспешно, а в остальных случаях получились следующие данные: Тип ошибки 1.Ошибки вычисления 2.Логические ошибки 3.Ошибки ввода/вывода 4.Ошибки манипулирования данными 5.Ошибки сопряжения 6.Ошибки определения данных 7.Ошибки в БД Вероятность появления аi 0,09 0,26 0,17 Число ошибок при испытании (Ni) 8 4 0,2 11 0,8 0,08 0,19 25 3 5 Вариант 4. Было проведено 100 испытаний программы. 25 из 100 испытаний прошли безуспешно, а в остальных случаях получились следующие данные: Тип ошибки 1.Ошибки вычисления 2.Логические ошибки 3.Ошибки ввода/вывода 4.Ошибки манипулирования данными 5.Ошибки сопряжения 6.Ошибки определения данных 7.Ошибки в БД Вероятность появления аi 0,2 0,1 0,12 Число ошибок при испытании (Ni) 4 5 17 0,9 - 0,25 0,4 0,19 8 11 16 4. Оформите отчет по выполнению практической работы, в котором отразите: номер работы, тему, цель, задание, результаты, ответы на контрольные вопросы, вывод. Контрольные вопросы 1. Что оценивается по модели Коркорэна в отличие от других статических моделей? 2. Какие аналитические модели оценки надежности программного обеспечения существуют?