3. Унификацию правил организации межмодульного интерфейса;

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

11 Заключение

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

     В заключение можно подвести итог:

     1. В соответствии с классической работой Г. Майерса:

• В программном обеспечении имеется ошибка, если оно не выполняет того, что пользователю разумно от него ожидать;
• Отказ программного обеспечения - это появление в нем ошибки;
• Надежность программного обеспечения - есть вероятность его работы без отказов в течении определенного периода времени, рассчитанного с учетом стоимости для пользователя каждого отказа.

     2. Из данных определений можно сделать важные выводы:

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

     3. Основными причинами ошибок программного обеспечения являются:

• Большая сложность ПО, например, по сравнению с аппаратурой ЭВМ;
• Неправильный перевод информации из одного представления в другое.

12 Библиография

[1] Г. Майерс. Надежность программного обеспечения.  Москва, Мир, 1980 год.

[2] Р. Гласс.  Руководоство по надежному программированию. Москва, «Финансы и статистика», 1982 год.

[3] В. Турский. Методология программирования. Москва, Мир, 1981 год.

[4] В. Феллер. Введение в теорию вероятностей и ее приложения. Т.1. Москва; изд.: «Мир». 1967 год.