Добрый день. Продолжаем с вами изучение дисциплины. Следующая тема, которую мы с Вами рассмотрим - это обеспечение надежности как основной мотив разработки программных средств. Обеспечение надежности как основной мотив разработки программных средств.
Рассмотрим общие принципы обеспечения надежности программного обеспечения. В технике известны четыре подхода к обеспечению надежности: 1. это предупреждение ошибок; 2. самообнаружение ошибок; 3. самоисправление ошибок. И, последнее - обеспечение устойчивости к ошибкам. Еще раз, предупреждение ошибок, самообнаружение ошибок, самоустроение ошибок и обеспечение устойчивости к ошибкам. Целю подхода предупреждения ошибок - не допустить ошибок в готовые продукты. Проведенное рассмотрение природы ошибок, при разработке программного обеспечения, позволяет для достижения этой цели сконцентрировать внимание на следующих вопросах: это борьба со сложностью; обеспечение точности перевода; преодоление барьера между пользователем и разработчиком; и, обеспечение контроля принимаемых решений. Этот подход связан с организацией процесса разработки программного обеспечения, то есть с технологией программирования. Хотя, гарантировать отсутствие ошибок в программном обеспечении невозможно, но в рамках этого подхода можно достигнуть приемлемого уровня надежности программного обеспечения программных средств. Остальные три подхода связаны организацией самих продуктов технологии. Они учитывают возможность ошибки в программах. Самообнаружение ошибки в программе означает, что программа содержит средства обнаружения отказов в процессе ее выполнения. Самоисправление ошибки в программе – это не только обнаружение отказа в процессе выполнения, но и исправление последствий этого отказа.
Для чего в программе должны иметься соответствующие средства. Обеспечение устойчивости программы к ошибкам означает, что в программе содержится средства, позволяющие локализовать область влияния отказа программы, либо уменьшить его неприятные последствия, а, иногда, предотвратить катастрофические последствия отказа. Однако, эти подходы используются крайне редко. Может быть, это связано с тем, что чаще используется обеспечение устойчивости к ошибкам. Связано это, во-первых, с тем, что многие простые методы , используемые в технике, в рамках этих подходов, не применимо к программированию . Например, дублирование отдельных блоков и устройств, то есть выполнение двух копий одной и той же программы будет всегда приводить к одинаковому эффекту, а также правильному и неправильному эффекту. А во-вторых, добавление в программу дополнительных фрагментов приводит к усложнению, а иногда даже очень значительному усложнению, что, соответственно, сказывается и на его цене.
Итак, какие существуют методы борьбы со сложностью. Известны два общих метода борьбы со сложностью в систем: 1. это обеспечение независимости компонентов системы. Обеспечение независимости компонентов системы; 2. это использование в системе иерархических структур. Обеспечение независимости компонентов означает разбиение системы на такие части, между которыми должны оставаться, по возможности, меньше связей. Одним из воплощений этого методов является модульное программирование. Использование в системах иерархических структур позволяет локализовать связи между компонентами, принадлежащим смежным уровнем иерархии. Этот метод, по существу, означает разбиение большой системы на подсистемы, образующих малую систему. Здесь существенно используется способность человек как абстрагирование.
Следующее - это обеспечение точности перевода. Обеспечение точности перевода направлено на достижение однозначность интерпретации документов различными разработчиками, а также пользователям программных систем . Это требуют придерживаться при переводе определенной дисциплины. В соответствии с этим, весь процесс перевода можно разбить на следующие этапы: 1. понимание задачи; 2. составление плана, включая цели и методы решения. Следующее - это выполнение самого плана, проверяя правильность каждого шага и, последнее - это анализ полученного решения.
Следующее - это преодоление барьера между пользователем и разработчиком. Как обеспечить, чтобы программное обеспечение выполняло то, что пользователи разумно ожидать от него, от обеспечения. Для этого необходимо правильно понять, во-первых, чего хочет пользователь, во-вторых, его уровень подготовки и окружающую его обстановку. При разработке программного средства следует привлекать пользователя для участия в процессах принятия решений, а также тщательно освоить особенности его работы.
Следующее - это контроль принимаемых решений. Обязательным шагом в каждом профессия разработки программных средств должны учитываться проверки правильности принятых решений. Это обнаруживать и исправлять ошибки на самой ранней стадии возникновения, что, во-первых, существенно снижает стоимость ее исправление и, во-вторых, повышает вероятность правильности ее устранения. С учетом специфики разработки программ программных средств, необходимо принимать везде, где это возможно, смежный контроль и сочетание как статических и динамических методов контроля . Более подробно мы посмотрели такие примеры на предыдущих лекциях .
Так, да, все вопросы, которые мы с вами не рассмотрели, вы можете посмотреть в приложениях. Там они представлены в виде таблицы. Задание вы можете посмотреть на нашем сайте. До встречи на экзаменах или на зачетах. Всего доброго, до свидания.