17. Способы обеспечения надежности по.

Принято считать, что надежность достигается:

1) Использование технологий программирования, способствующих созданию безошибочного ПО

2) Доказательство корректности (верификация) – формальное доказательство соответствия ПО своей спецификации

3) Тестирование и отладка

4) Создание ПО, устойчивого к отказам. Устойчивость ПО достигается за счет внесения в него различных форм избыточности.

18. Основные стандарты оценки качества.

Надежность является одной из характеристик качества. Для оценки качества действую стандарты:

1) Межгосударственный стандарт стран СНГ – ГОСТ 28195-99 «Оценка качества программных средств. Общие положения»

2) Национальный стандарт РБ – СТБ ИСО/МЭК 9126-2003 «Информационные технологии, оценка программной продукции. Характеристики качества и руководство по их применению»

3) Международная серия стандартов ISO/IES 9126-1-4: 2001-2004 «Программная инженерия. Качество продукта»

4) международная серия стандартов ISO/IES 14598-1-6: 1998-2001 «Информационные технологии. Оценка программного продукта»

СТБ ­– перевод международного стандарта ISO/IES 9126 редакции 1991. Россия использует в качестве своего.

19. Гост 28195-99.

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

Оценка качества должна проводится ко всем работам жизненного цикла ПО. В статье рекомендован метод интегральной оценки качества, основанный на иерархической модели качества. Иерархическая модель надежности является 4-хуровневой:

1) факторы качества 2) критерии качества

3) метрики 4) оценочные элементы или единичные показатели

Примеры критериев: устойчивость функционирования, работоспособность

Метрики: средства восстановления при ошибках на входе, средства восстановления при сбоях оборудования, реализация управления средствами восстановления (эти относятся к устойчивости функционирования, остальные к работоспособности), функционирование в заданных режимах, обеспечение обработки заданного объема.

Оценочные элементы: наличие требований к программе по успешности функционирования при наличии ошибок во входных данных; возможность обработки ошибочных ситуаций; наличие средств контроля корректности входных данных; наличие средств восстановления процесса при сбоях оборудования; наличие обработки граничных результатов; наличие возможности автоматически обходить ошибочные вычисления; вероятность безотказной работы и оценка времени восстановления

20. СТБ ИСО/МЭК 9126-2003.

Стандарт, регламентирует методы оценки качества программных средств, на основании трех уровнях модели (иерархий) качества.

1 уровень – 6 характеристик качества одно из них надежность

2 уровень – под характеристики

3 уровень – метрики качества

Здесь под характеристики носят рекомендательный характер. Метрики не описаны.

Описание процесса оценки, которые состоят из трех стадий:

1 стадия – определение требований к надежности

2 стадия – подготовка к оцениванию

3 стадия – процессоценивания

1 стадия:

Цель: установка требований в терминах подхарактеристик надежности. Для присутствия требований к ПО в целом и к его отдельным компонентам.

2 стадия:

Состоит из следующих этапов:

1 этап – выбор метрик надёжности.

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

2 этап – определение уровня ранжирования:

• Разделение шкалы на 2 категории: удачные и неудачные

• Разделение шкалы на 3 категории: отлично, хорошо, удовлетворительно и неудачно.

3 этап – определение критерия оценки.

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

Процесс оценивания реализуется 3 этапами:

1 этап – измерение, выбранные метрики применяются к ПО и результатом является значения в единицах метрики.

2 этап – ранжирование – устанавливаются уровни ранжирования в зависимости от выбранной шкалы для определения измеренного значения

3 этап – Оценка – обобщается множество установленных уравнений и результатом является заключение о надежности: приемлем и неприемлем.

21. ISO/IEC 9126-1-4 2001-2004.

Стандарт регламентирует иерархию модели качества программных средств. На верхних уровнях находятся характеристики.

Характиристики подразделяются на подхарактеристики, а подхарактеристики определятся метриками, а метрики измеряются атрибутами или свойства программных средств.

Состоит из 4 частей:

1) 2001 – модель качества

2) 2003 – внешние метрики

3) 2003 внутренние метрики

4) 2004 метрики качества в использоании

В этом стандарте определены 2 части модели качества:

- внутренние качества

- внешние качества

Т.о. для модели внутреннего качества используют внутренне метрики.

Внешние качества

Внешние метрики

Надежность является одной из 6 характеристик качества и определяется как способность программного продукта поддерживать заданный уровень качества функционирования при использовании в заданных условиях.

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

Надежность включает 4 подхарактеристики:

- завершенность – стабильнрость программного продукта избегать откуазов в следсвтие ошибок приложения

- устойчивосуть к ошибке – способность программного продукта поддерживать заданный уровень качества функционирования в случае ошибок в программах или недопустимом задании интерфейса.

- восстанавливаемость –способность программного продукта восстанавливать заданный уровень функционирования и данные, поврежденные в результате отказа. Одним из показателей является длительность восстановления.

- соответствие надежности – свойство программного продукта соответствия стандартам, соглашениям и нормативным документам.

Выделяют 5 условную подхарактеристику надежности – готовность –способность быть в состоянии для выполнения требуемой функции в данный момент времени при заданных условиях использования. Готовность может оцениваться отношением времени, в течении которго программа находится в работоспособном состоянии, ко времени общего использования. Т.о., готовность – комбинация или совокупность подходов завершенности, устойчивости к ошибкам и восстанавливаемость.