- •Нижегородский государственный университет им. Н.И. Лобачевского
- •Методы проектирования надежного программного обеспечения
- •Краткое содержание
- •Надежность программного обеспечения
- •Часть I. Надежность ПО
- •Понятие ошибки ПО
- •Понятие надежности
- •Методы оценки надежности
- •Причины и источники ошибок ПО
- •Методы проектирования надежного программного обеспечения
- •Методы проектирования надежного программного обеспечения
- •Методы проектирования надежного программного обеспечения
- •Методы предупреждения ошибок
- •Обнаружение ошибок
- •Обеспечение устойчивости к ошибкам
- •Тестирование
- •Часть II. Тестирование ПО
- •Понятие тестирования
- •Принципы тестирования…
- •Принципы тестирования
- •Порядок процесса тестирования
- •Тестирование программы как "черного ящика"
- •Тестирование программы как "черного ящика"
- •Метод эквивалентного разбиения
- •Метод эквивалентного разбиения
- •Метод эквивалентного разбиения
- •Метод эквивалентного разбиения
- •Метод анализа граничных условий
- •Тестирование программы как "белого ящика"
- •Тестирование программы как "белого ящика"
- •Критерии покрытия логики
- •Критерии покрытия логики
- •Критерии покрытия логики
- •Критерии покрытия логики
- •Критерии покрытия логики
- •Какого "цвета" тестирование выбрать?
- •Спектр подходов к проектированию тестов
- •Этапы тестирования
- •Два подхода к тестированию модулей
- •Восходящее тестирование
- •Нисходящее тестирование
- •Тестирование функций
- •Комплексное тестирование
- •Alpha- и beta- тестирование
- •Статистическая надежность
- •Комбинаторная надежность
- •Расчет величины риска, вызванного возможностью ошибок в ПО
Нисходящее тестирование
Уровень 1 
Уровень 1
Уровень 2 |
Уровень 2 Уровень 2 |
Уровень 2 |
Уровень 2
Уровень 3 |
Уровень 3 Уровень 3 |
Уровень 3 |
Достоинства нисходящего тестирования:
-уже на ранней стадии тестирования есть возможность получить работающий вариант разрабатываемой программы; -быстро могут быть выявлены ошибки, связанные с
организацией взаимодействие с пользователем .
ИТЛаб ВМК НН |
Надежность и тестиро |
42-<N> |
ГУ, 15 |
вание ПО |
|
Тестирование функций
ИТЛаб ВМК НН |
Надежность и тестиро |
43-<N> |
ГУ, 15 |
вание ПО |
|
Комплексное тестирование
ИТЛаб ВМК НН |
Надежность и тестиро |
44-<N> |
ГУ, 15 |
вание ПО |
|
Alpha- и beta- тестирование
Alpha-тестирование - провод |
|
командой |
||
Beta-тестирования – вторая стадитсятестирования, |
||||
во время которой |
мную систему испытывают |
|||
разработчиков |
програм |
много |
средства для |
|
пользователи. |
подтвердить, |
что |
данный |
|
того, чтобы |
||||
Beta-версии |
программного |
|
обеспечения |
|
программный продукт работает. |
|
|
||
распространяются |
для |
того, чтобы |
обеспечить |
|
Эта первая стадия включает тестирование
программе тестирование в условиях реального мира и,
модулей и компонент, а также тестирование
частично, для того, чтобы показать возможности системыпрограммывдоцеломвыпуска. релиза.
ИТЛаб ВМК НН |
Надежность и тестиро |
45-<N> |
ГУ, 15 |
вание ПО |
|
Статистическая надежность
Дополнительная вероятность обнаружения новой ошибки, не учтенной в предыдущих коррекциях, при очередном обращении к программе.
Оценкой статистической надежности является величина:
P(n) = 1 - f(n)/n ± e(d,n), где
n - количество выполненных обращений к программе; f(n) - число обнаруженных ошибок;
e(d,n) - доверительный интервал хи-квадрат (оценки вероятности ошибки f(n)/n при заданном уровне значимости).
ИТЛаб ВМК НН |
Надежность и тестиро |
46-<N> |
ГУ, 15 |
вание ПО |
|
Комбинаторная надежность
Число исходных данных, на которых программа срабатывает верно
Комбинаторная
надежность
общее число исходных данных
ИТЛаб ВМК НН |
Надежность и тестиро |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
||
47-<N> |
||||||
ГУ, 15 |
вание ПО |
|
|
|
|
|
Расчет величины риска, вызванного возможностью ошибок в ПО
Оценивается, к каким последствиям приведет применение ПО, если в нем есть ошибки.
Риск определяется:
-разделами инструкции, устанавливающими использование результатов программы;
-вероятностями ошибок, влияющими на каждый тип использования.
ИТЛаб ВМК НН |
Надежность и тестиро |
48-<N> |
ГУ, 15 |
вание ПО |
|
