- •1 Сущность предмета тп, его задачи. Актуальность проблемы технологии программирования. История развития тп.
- •7 Каскадный подход широко использовалась в 70-80 годах. Именно этот подход рассматривается в качестве индустриального подхода
- •8 Спиральная модель жизненного цикла нашла свое широкое применение в 86-90 годах.
- •9 Понятие качества по. Критерии качества по: функциональность, надежность, их примитивы.
- •10 Критерии качества легкость применения, эффективность, их примитивы.
- •11 Критерии качества сопровождаемость, мобильность, их примитивы.
- •15 Цель модульного программирования. Основные характеристики программного модуля. Размер модуля. Рутинность модуля.
- •16 Связность модуля. Связность модуля (cohesion)
- •23 Внешнее описание пс.
- •30 Особенности объектного подхода к разработке внешнего описания пс
- •34 Основные принципы тестирования программ. Заповеди по тестированию, предложенные г. Майерсом. Методы тестирования, два подхода к тестированию.
- •38 Функции заместителя главного программиста. Работа членов бригады. Работа секретаря (библиотекаря). Преимущества и трудности бригадного подхода.
- •42 Документация, создаваемая и используемая в процессе разработки программных средств. Документация по сопровождению пс.
- •43 Пользовательская документация пс.
- •44 Стандартизация программной документации. Еспд. Классификация и обозначение стандартов еспд. Назначение еспд, область распространения еспд.
- •46 Стадии разработки программной документации. Техническое задание. Требования к содержанию и оформлению.
- •47 Программа и методика испытаний. Текст программы, описание программы, пояснительная записка, описание применения (документация).
- •48 Руководство системному программисту, руководство программисту, руководство оператору.
- •49 Общая характеристика состояния применения еспд. Межгосударственные стандарты.
- •50 Основные понятия и показатели надежности пс. Надежность технических средств и по.
- •53 Аналитические модели надежности (динамические).
53 Аналитические модели надежности (динамические).
Аналитические модели дают возможность рассматривать количественные показатели надежности, основываясь на данных поведения программы в процессе тестирования.
В динамических моделях поведение ПС (появление отказа) рассматривается во времени.
Для использования динамических моделей необходимо иметь данные о появлении отказов во времени.
Если фиксируются интервалы каждого отказа, то получается непрерывная картинка появления отказов во времени (группа динамических моделей с непрерывным временем).
Может фиксироваться количество отказов за произведенный интервал времени.
Поведение ПС может быть представлено только в дискретных точках (группа динамических моделей с дискретным временем).
Классификация динамических аналитических моделей:
-
дискретные
-
модель Шумана
-
модифицированная модель Шумана
-
модель La Padula
-
Модель Шика, Вольвертона
непрерывные
-
модель Дженинского-Моранды
-
модель Мусса
-
модель переходных вероятностей
54 Аналитические модели надежности (статические).
Аналитические модели дают возможность рассматривать количественные показатели надежности, основываясь на данных поведения программы в процессе тестирования.
В статических моделях появление отказа не связывают со временем, а учитывают зависимость ошибок от числа тестовых прогонов (по области ошибок), или зависимость кол-ва ошибок от характеристики входных данных (по области данных).
Классификация статических аналитических моделей надежности
-
по области ошибок
-
модель Миллса
-
модель Липова
-
простая интуитивная модель
-
модель Каркорена
по области данных
-
модель Нельсона
55 Эмпирические модели надежности.
Эмпирические модели базируются на анализе структурных особенностей программы, рассматривают зависимость показателей надежности от числа межмодульных связей, отношение количества прямолинейных участков программы к количеству точек ветвления. Часто эмпирические модели не дают конечных результатов показателей надежности. Эти модели позволяют выявить взаимодействие между сложностью ПС и надежностью.
Классификация эмпирических моделей надежности
-
модель сложности
-
модель определения времени доводки программы