Оценка надежности программного обеспечения. СУБД. 1. 7. 0. 4. С. Романюк. Надежность программного обеспечения гораздо важнее других его характеристик, например, времени исполнения, и хотя абсолютная надежность современного программного обеспечения, по видимому, недостижима, до сих пор не существует общепринятой меры надежности компьютерных программ. В статье анализируются причины создавшегося положения и предлагается подход к решению проблемы. В статье анализируются причины создавшегося положения и предлагается подход к решению проблемы. В посвященной ей монографии Г. Майерса. Отношение к проблеме довольно выразительно сформулировано в книге Р. Гласса. Следует далее отметить, что сама проблема надежности программного обеспечения имеет, по крайней мере, два аспекта обеспечение и оценка измерение надежности. Программа обеспечения надежности ПОН документ, устанавливающий комплекс взаимоувязанных организационных и технических мероприятий,. Программа обеспечения надежности ПОН представляет собой документ. Пример такой программы на изделие преобразователь линейного. Программа обеспечения надежности Требования к. Пример оформления протокола технического совещания о реализации. EDI/15_08_14_1/1408051090-15574/tutorial/867/objects/2/files/2-2.jpg' alt='Пример Программы Обеспечения Надежности' title='Пример Программы Обеспечения Надежности' />Практически вся имеющаяся литература на эту тему, включая упомянутые выше монографии, посвящена первому аспекту, а вопрос оценки надежности компьютерных программ оказывается еще более. Вместе с тем очевидно, что надежность программы гораздо важнее таких традиционных ее характеристик, как время исполнения или требуемый объем оперативной памяти, однако никакой общепринятой количественной меры надежности программ до сих пор не существует. Однако отсутствие общепризнанных критериев надежности не позволяет ответить на вопрос, насколько надежнее становится программное обеспечение при соблюдении предлагаемых процедур и технологий и в какой степени оправданы затраты. Таким образом, приоритет задачи оценки надежности должен быть выше приоритета задачи ее обеспечения, чего на самом деле не наблюдается. Ситуация выглядит парадоксальной совершенно очевидно, что прежде, чем улучшать какую то характеритику, следует научиться ее измерять, и уж, по крайней мере, необходимо иметь единицу измерения. Основная причина такого положения коренится в том, что источником ненадежности программ служат содержащиеся в них ошибки, и если ошибки отсутствуют, то программа абсолютно надежна. По существу, все меры по обеспечению надежности программ направлены на то, чтобы свести к минимуму если не искючить вообще ошибки при разработке и как можно раньше их выявить и устранить после изготовления программы. Следует заметить, что безошибочные программы, конечно же, существуют, однако современные программые системы слишком велики и почти неизбежно содержат ошибки. Хотя это обстоятельство отмечается многими авторами и известно любому программисту практику, существует, по видимому, некий психологический барьер, не позволяющий признать факт наличия ошибок в программном обеспечении неизбежной реальностью поскольку не существует точного критерия, позволяющего определить максимальный размер свободной от ошибок программы, всегда остается надежда, что в данной конкретной программной системе их не осталось. Как известно, вопрос надежности для аппаратуры хорошо разработан. Источником ненадежности аппаратуры служат объективные факторы, неподвластные человеку скачки напряжения питания, альфа частицы и т. Источник же ненадежности программ ошибки, которые делают люди, их создающие и использующие, поэтому кажется, что проблема лишь в том, чтобы заставить или научить их работать. Наиболее характерный пример использование, по аналогий с аппаратурой, в качестве меры надежности программы среднего времени между двумя последовательными ошибочными срабатываниями. Рассуждения в обоснование аналогий такого рода В. Турский. В данном случае, поскольку речь идет о фундаментальном понятии единице измерения, следует не просто переносить характеристики надежности аппаратуры на программы, а воспользоваться более фундаментальными аналогиями. Надежность, в конечном счете, понятие статистическое, т. Существенно также, что имеется элемент случайности. Изучению случайных явлений посвящен специальный раздел математики теория вероятностей. Основное понятие этой теории пространство элементарных событий выборочное пространство, пространство исходов, на котором задается некоторая вероятностная мера. Случайная величина, согласно теории, есть функция, заданная на пространстве элементарных событий. Наконец, в качестве меры надежности используются некоторые характеристики случайной величины как правило, математическое ожидание. Как известно, компьютерная программа имеет несколько разных форм или представлений внешние спецификации, исходный текст, исполняемый код и т. Берегите Животных Книжка Малышка тут. Общепринятая точка зрения состоит в том, что программа представляет собой объект, инвариантный относительно форм его представления. Согласно этой точке зрения, внешние спецификации, исходные тексты на языках разных уровней, а также исполняемые коды для разных процессоров есть разные формы представления одной и той же программы. Указанная точка зрения полезна при разработке программного обеспечения, поскольку позволяет выявить наиболее существенные для приложения свойства программы, общие для всех ее представлений, однако она малопродуктивна, если речь идет, например, о такой количественной характеристике, как время исполнения ясно, что указанная характеристика относится лишь к одной из форм представления исполняемомому коду и, кроме того, зависит не только от программы, но и от типа процессора. Это означает, что надежность программы является характеристикой ее исполняемого кода. Исполняемый код соотносится с исходным текстом так же, как, например, электродвигатель и его чертежи можно говорить о надежности изготовленного изделия, но бессмысленно говорить о надежности описания, чертежа, текста. Две функционально идентичные программы, написанные на разных языках, или подготовленные для разных типов машин, или для одной и той же машины, но с использованием разных компиляторов, с точки зрения надежности следует считать разными. Такая программа не дает неверных результатов, т. Этот факт породил ложное представление о том, что число ошибок в программе можно считать наиболее естественной мерой надежности. Было выполнено довольно много работ, в которых предлагались различные методы оценки числа оставшихся в программе ошибок по результатам ее тестирования, в том числе метод. Число ошибок в программе величина. Неверное срабатывание программы может быть следствием не одной, а сразу нескольких ошибок. Ошибки могут компенсировать друг друга, так что после исправления какой то одной ошибки программа может начать. Надежность характеризует частоту проявления ошибок, но не их количество в то же время хорошо известно, что ошибки проявляются с разной частотой некоторые ошибки остаются невыявленными после многих месяцев и даже лет эксплуатации, но, с другой стороны, нетрудно привести примеры, когда одна единственная ошибка приводит к неверному срабатыванию программы при любых исходных данных, т. Фазу выполнения программы от начала до завершения будем называть запуском. Все возможные результаты запуска разобьем на два класса правильные и неправильные ошибочные. Будем считать, что любой результат всегда можно отнести к одному из этих классов. Пространство элементарных событий в этой модели содержит 2n точек, где n число испытаний в данном случае под испытанием подразумевается запуск программы. Каждый запуск программы имеет два исхода правильный и неправильный. Обозначим вероятность неправильного исхода р, а вероятность правильного 1 p. Вероятность того, что из n запусков К приведут к неправильному результату, выражается хорошо известной формулой биномиального распределения. Вероятность р априори неизвестна, но по результатам запусков известны n и k. Величина В как функция р имеет максимум при. Это означает, что результаты предыдущих запусков не дают никакой информации о результатах следующего. Ясно, что это предположение на практике выполняется не всегда например, повторный запуск с теми же входными данными даст, очевидно, тот же самый результат. Следует отметить, что изготовитель программы и ее пользователь располагают разной информацией о ней.