Обеспечение качества функционирования компьютерных систем-psihdo. Обеспечение качества функционирования компьютерных систем Опорный конспект лекций
 Скачать 478.49 Kb.
|
Надежность ПО§ Поскольку программное обеспечение по самой своей природе ненадежно, его тестирование и сопровождение требует постоянных существенных расходов. § Дадим определение основных понятий надежности ПО в соответствии с классической работой Майерса Г. § В программном обеспечении имеется ошибка, если оно не выполняет того, что пользователю разумно от него ожидать. § Отказ программного обеспечения – это появление в нем ошибки. Надежность программного обеспечения – есть вероятность его работы без отказов в течение определенного периода времени, рассчитанного с учетом стоимости для пользователя каждого отказа. Из данных определений можно сделать важные выводы: § надежность программного обеспечения является не только внутренним свойством программы; § надежность программного обеспечения – это функция как самого ПО, так и ожиданий (действий) его пользователей. § Основными причинами ошибок программного обеспечения являются: § большая сложность ПО, например, по сравнению с аппаратурой ЭВМ; § неправильный перевод информации из одного представления в другое на макроуровне и микроуровне. На макроуровне, уровне проекта, осуществляется передача и преобразование различных видов информации между организациями, подразделениями и конкретными исполнителями на всех этапах жизненного цикла ПО. На микроуровне, уровне исполнителя, производится преобразование информации по схеме: получить информацию – запомнить – выбрать из памяти (вспомнить) – воспроизвести информацию (передать). Надежность программного обеспечения - способность программного продукта безотказно выполнять определенные функции при заданных условиях в течение заданного периода времени с достаточно большой вероятностью. § Надежность программного обеспечения - способность программного продукта безотказно выполнять определенные функции при заданных условиях в течение заданного периода времени с достаточно большой вероятностью. § Степень надежности характеризуется вероятностью работы программного продукта без отказа в течение определенного периода времени. § Существует 4 основные составляющие функциональной надежности программных систем: § безотказность - свойство программы выполнять свои функции вовремя эксплуатации; § работоспособность - свойство программы корректно (так как ожидает пользователь) работать весь заданный период эксплуатации; § безопасность - свойство программы быть не опасной для людей и окружающих систем; § защищенность - свойство программы противостоять случайным или умышленным вторжениям в нее. Модель анализа надежности программных средствМодель анализа надежности программных средствМетоды предотвращения угроз надежности§ Большая трудоемкость и стоимость создания ПО систем управления заставляет уделять особое внимание обеспечению его надежной работы. § Высокая стоимость ПО во многом обусловлена его низкой надежностью. Следует иметь в виду, что в настоящее время не разработаны методы проектирования программ с гарантированным отсутствием ошибок. § Это объясняется рядом причин, и в том числе тем, что программное обеспечение значительно сложнее аппаратуры; характеризуется большей, чем аппаратура, зависимостью от применения; состоит из примитивных составляющих — машинных кодов, из которых синтезируются огромные программные структуры. § Однако накопленный опыт позволяет сформулировать принципы и метода проектирования программ, обеспечивающих их надежную, устойчивую работу, основные из которых показаны на рисунке. По образному выражению Ф.П. Брукса «программа — это сообщение, передаваемое человеком машине». Чтобы сделать это сообщение «понятным бессловесной машине», требуется предельная формализация как описания алгоритмов, так и программ. § По образному выражению Ф.П. Брукса «программа — это сообщение, передаваемое человеком машине». Чтобы сделать это сообщение «понятным бессловесной машине», требуется предельная формализация как описания алгоритмов, так и программ. § 1. Формализация позволяет в существенной степени исключить, а при наличии ошибок — облегчить их выявление и локализацию. § 2. Мощным средством повышения надежности у ПО САПР является автоматизация программирования, заключающаяся в использовании ЭВМ для составления машинных программ, т. е. программ, выполненных на языке ЭВМ по исходной программе, составленной на языке высокого уровня. |