Проведение исследования основных подходов для обеспечения надежности программ. Анализ объекта и построение пространств элементарных событий. Изучение источников ненадежности аппаратуры. Исправность программы как характеристика ее исполняемого кода.
Аннотация к работе
Проблема надежности программного обеспеченияСледует отметить, что сама проблема надежности программного обеспечения имеет два аспекта: обеспечение и оценка (измерение) надежности. Основная причина такого положения коренится в том, что источником ненадежности программ служат содержащиеся в них ошибки, и если ошибки отсутствуют, то программа абсолютно надежна. По существу, все меры по обеспечению надежности программ направлены на то, чтобы свести к минимуму (если не исключить вообще) ошибки при разработке и как можно раньше их выявить и устранить после изготовления программы. Указанная точка зрения полезна при разработке программного обеспечения, поскольку позволяет выявить наиболее существенные для приложения свойства программы, общие для всех ее представлений, однако она малопродуктивна, если речь идет, например, о такой количественной характеристике, как время исполнения: ясно, что указанная характеристика относится лишь к одной из форм представления - исполняемому коду и, кроме того, зависит не только от программы, но и от типа процессора. Было выполнено довольно много работ, в которых предлагались различные методы оценки числа оставшихся в программе ошибок по результатам ее тестирования, в том числе метод «засорения» известными ошибками, однако, как показывают приводимые ниже соображения, количество ошибок в программе не имеет никакого отношения к ее надежности: 1.