
- •Тема 3:
- •Лекция 7: «МОДЕЛИ
- •Литература:
- •Первый учебный вопрос:
- •Модель надежности
- •Одним из видов модели надежности программного обеспечения является так называемая феноменологическая (эмпирическая), модель.
- •Например, параметр сложность программы характеризует степень уменьшения уровня ее надежности, поскольку усложнение программы
- •Модели
- •Аналитические модели дают
- •Второй учебный вопрос:
- •Аналитическое моделирование надежности ПС включает четыре шага:
- •Аналитические модели представлены
- •Динамические модели
- •Модель Шумана (динамическая модель дискретного времени). Исходныe данные собираются в процессе тестирования ПС
- •Тестирование проводится в несколько этапов. Каждый этап представляет собой выполнение программы на полном
- •Модель La Padula (динамическая модель дискретного времени). По этой модели выполнение последовательности тестов
- •Модель Джелинского - Моранды (динамическая модель непрерывного времени). Исходные данные для использования этой
- •Статические модели
- •Статические модели принципиально
- •Простая интуитивная модель.
- •Третий учебный вопрос:
- •Эмпирические модели в основном
- •Модель сложности.
- •Для сложных модулей и для больших многомодульных программ составляется имитационная модель, программа которой
- •Преимущества оценки показателей надежности по имитационной модели, создаваемой на основе анализа структуры будущего
- •К недостаткам можно отнести:
- •Модель определяющая время доводки программ.
- •Данная модель позволяет на этапе тестирования определять возможное число необходимых исправлений и время,

Тема 3:
Качество, надежность и тестирование
программных средств

Лекция 7: «МОДЕЛИ
НАДЕЖНОСТИ ПРОГРАММНЫХ
СРЕДСТВ»
1. Классификация моделей надежности программных средств.
2. Аналитические модели надежности
программных средств.
3. Эмпирические модели надежности программных средств.

Литература:
Благодатских В.А. Стандартизация разработки программных средств: Учеб. Пособие. – М.: Финансы и статистика, 2003. стр. 156-174.

Первый учебный вопрос:
Классификация
моделей
надежности

Модель надежности
программного средства – математическая модель для оценки зависимости надежности программного обеспечения от некоторых определенных параметров. Значения таких
параметров либо предполагаются

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

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

Модели
надежности
ПС
Аналитические |
Эмпирические |
|
|
|
Модель, |
|
Динамические |
Статические |
Модель |
определяющая |
|
сложности |
время доводки |
|||
|
|
|||
|
|
|
программы |
Дискретные |
По области |
|
ошибок |
||
|
Непрерывные |
По области |
|
данных |
||
|

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

Второй учебный вопрос:
Аналитические модели надежности программных