Сертификация и надежность программного обеспечения Преподаватель: Чуканов Всеволод Озирисович Список литературы

• Майерс Г. «Надежность ПО», М.: Мир, 1981.

• Тейер Т., Липов М., Нельсон Э. «Надежность ПО», М.: Мир, 1981.

• Линаев В.В. «Надежность ПО АСУ», М.: Энергоиздат, 1981.

• Шураков В.В «Надежность ПО систем обработки данных. Учнбник», М.: Финансы и статистика, 1987.

• Мамиконов А.Г., Кульба В.В., Шелков А.Б. «Достоверность, защита и резервирование информации в АСУ», Энергоатомиздат, 1986.

• Шураков В.В. «Обеспечение сохранности информации в системах обработки данных (по данным зарубежной печати). Учебное пособие», М.: Финансы и статистика, 1985.

• Линаев В.В. «Тестирование программ», М.: Радиосвязь, 1986.

Проблемы надежности по

1. Оценка надежности ПО.

2. Определение факторов, влияющих на достижение заданной надежности.

3. Совершенствование методов повышения надежности в процессе проектирования и в процессе эксплуатации разработанного ПО.

Направления исследований в вопросе надежности по

1. Обоснование интуитивного представления о надежности ПО.

2. Разработка методов, обеспечивающих достижение заданного уровня надежности.

Основные типы комплексов программ

1. Программы для решения инженерных и научно-исследовательских задач.

Характеристики:

1. относительно небольшой жизненный цикл;

2. неполное использование ресурсов вычислительной системы;

3. небольшая длительность разработки;

4. их эксплуатация носит эпизодический и кратковременный характер;

5. отсутствие жестких ограничений на допустимую длительность ожидания результатов;

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

К этому типу программ практически не применимы основные понятия теории надежности.

2. Сложные комплексы программ для информационно–справочных систем, которые функционируют вне реального времени. Это системы организационного типа.

Характеристики:

1. период их эксплуатации значительно превышает длительность разработки;

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

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

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

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

Характеристики:

1. обычно практически полностью используют ресурсы вычислительной системы;

2. снабжаются подробной документацией;

3. эксплуатируются долгое время.

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

Факторы, позволяющие анализировать показатели надежности программ 2-го и 3-го типов

1. Стабильность длительной эксплуатации.

2. Наличие технической документации.

3. Возможность существования дефектов в комплексах программ, вызывающих сбои и отказы при функционировании.