Свойства объектов выполнять… значения установленных эксплуатационных показателей в заданных пределах, соответствующих заданным режимам и условиям использования. Т.о. надежность – это внутреннее свойство системы, заложенное при ее создании и проявляющееся при функционировании. 
Надежность технических систем определяется 2 факторами:
1. надежностью компонент;
2. дефектами в конструкции.
Надежность сложных программных средств определяется этими же факторами. Но преобладающим является ошибки проектирования, т.к. физическое хранение программ на магнитных носителях характеризуется очень высокой надежностью.
Любая программа при строго фиксированных исходных данных и надежной аппаратуре используется по однозначно определенному маршруту и дает на выходе строго определенный результат. Но случайное изменение исходных данных или накопленной при обработке информации, или множество условных переходов в программе создает огромное число различных маршрутов исполнения каждого ПС.
Источниками ненадежности являются непроверенные сочетания исходных данных, при которых функционирующее ПС дает неверные результаты или отказы.
Работоспособность сложных программ обработки информации в реальном времени является предметом изучения теории надежности ПС.
Задачи теории надежности ПС:
1. формирование основных понятий, используемых при исследовании и применении надежности показателей надежности ПС;
2. выявление и исследование основных факторов, определяющих характеристики надежности ПС;
3. выбор и обоснование критериев надежности для комплексов программ различного типа и назначения;
4. исследование дефектов и ошибок, динамики их изменения при отладке и сопровождении;
5. исследование и разработка методов структурного построения сложных ПС, обеспечивающих их необходимую надежность;
6. исследование методов и средств контроля и защиты от искажений программ, вычислительного процесса и данных путем использования различных видов избыточности помехозащиты;
7. разработка методов и средств определения и прогнозирования характеристик надежности в ЖЦ комплексов программ с учетом их функционального назначения.
Результаты решения этих задач являются основой для создания современных сложных ПС с заданными показателями надежности.
Существуют нормативные документы определяющие показатели качества ПС: ISO 9126 и ГОСТ РФ 51987-2002.
Стандарт ISO 9126 определяет 6 основных характеристик качества ПС: функциональная пригодность, надежность, применимость, эффективность, сопровождаемость, переносимость.
Функциональная пригодность – группа свойств программного продукта, обуславливающая его способность выполнять установленные функции при определенных условиях. Она определяется:
— пригодностью для применения;
— точностью;
— защищенностью;
— способностью к взаимодействию;
— соответствием стандартам и правилам применения.
Надежность – группа свойств, обуславливающая способности программного продукта сохранять указанный уровень работоспособности в заданных условиях. Надежность характеризуется:
— отсутствием ошибок;
— устойчивостью к ошибкам;
— перезапускаемостью.
Применяемость – группа свойств, обуславливающих способность программного продукта быть понятым, изучаемым, применимым и привлекательным для пользователя в заданных условиях.
Эффективность – группа свойств, характеризующая соответствие используемых программным продуктом ресурсов качеству выполнения своих функций. Эффективность характеризуется ресурсной и временной экономичностью.
Сопровождаемость – группа свойств, характеризующая возможность программного продукта быть модифицированным:
— удобство для анализа;
— изменяемость;
— тестируемость;
— стабильность.
Переносимость – группа свойств, характеризующая способность программного продукта быть переносимым из одной среды в другую. Переносимость определяет следующие характеристики:
— адоптируемость;
— структурированность;
— замещаемость;
— внедряемость.