Опыт создания и применения сложных информационных систем выявил множество ситуаций, при которых сбои и отказы функционирования были обусловлены дефектами программ и приводили к большим ущербам. Быстрый рост сфер использования, сложности и ответственности функций, выполняемых комплексами программ в информационных системах, резко повысил требования к их надежности и безопасности применения. Для выполнения этих требований в жизненном цикле (ЖЦ) программных средств (ПС) необходимо выделение задач и работ по обеспечению надежности ПО. В каждом проекте должен разрабатываться комплекс методов и средств обеспечения заданной надежности функционирования ПС.
Одним из эффективных путей повышения надежности ПС является стандартизация технологических процессов и объектов проектирования, разработки и сопровождения программы.
В стандартах ЖЦ ПС обобщается опыт и результаты исследования множества специалистов и рекомендуется наиболее эффективные методы и процессы.
Для обнаружения и устранения ошибок проектирования все этапы разработки и сопровождения ПС д.б. поддержаны методами и средствами системного автоматического тестирования и испытания. Нужно применять различные методы и виды тестирования, каждый из которых ориентирован на обнаружение определенных видов дефектов.
В сложных комплексах программ невозможно гарантировать абсолютное отсутствие ошибок, предсказать время и место появления ошибки, а также ее вид невозможно. Следовательно, необходимо создавать дополнительные системы автоматической оперативной защиты от непредумышленных случайных искажений программ и данных.
Неравномерность распределения и нестабильность появления ошибок при использовании … не позволяет рассчитать их надежность классическими методами теории надежности технических систем. Реальная надежность функционирования сложных программных комплексов часто определяется экспериментально. В некоторых областях, например авиационной, нельзя использовать реальные объекты для тестирования и определения надежности ПС. В этих случаях особое значение приобрели методы и средства моделирования внешней среды для автоматизированной генерации тестов.