Конспект лекций для студентов пятого курса специальности 220400 Программное обеспечение вычислительной техники и автоматизированных систем составила доцент Довбуш Г. Ф
Скачать 1.84 Mb.
|
| 1.7Обеспечение надёжности 1.7.1Методы борьбы со сложностью 1.7.2Обеспечение точности перевода 1.7.3 Преодоление барьера между пользователем и разработчиком 1.7.4Контроль принимаемых решений |
| ^ Обеспечение надёжности – основной мотив разработки программных средств, который задаёт специфическую окраску всем технологическим процессам разработки ПС. В технике известны четыре подхода к обеспечению надёжности:
Цель подхода предупреждения ошибок – не допустить ошибок в готовых ПС. Проведённое рассмотрение природы ошибок при разработке ПС позволяет для достижения этой цели сконцентрировать внимание на следующих вопросах:
Предупреждение ошибок связано с организацией процессов разработки ПС, т.е. с технологией программирования. И хотя гарантировать отсутствие ошибок в ПС невозможно, можно достигнуть приемлемого уровня надёжности ПС. Остальные три подхода связаны с организацией самих программ. Они учитывают возможность ошибки в программах. Самообнаружение ошибки в программе означает, что программа содержит средства обнаружения отказа в процессе её выполнения. Самоисправление ошибки в программе означает не только обнаружение отказа в процессе её выполнения, но и исправление последствий этого отказа, для чего в программе должны иметься соответствующие средства. Обеспечение устойчивости программы к ошибкам означает, что в программе содержатся средства, позволяющие локализовать область влияния отказа программы, либо уменьшить его неприятные последствия, а иногда предотвратить катастрофические последствия отказа. Однако эти подходы используются весьма редко (может быть, относительно чаще используется обеспечение устойчивости к ошибкам). Связано это, во-первых, с тем, что многие простые методы, используемые в технике в рамках этих подходов, неприменимы в программировании, например, дублирование отдельных блоков и устройств (выполнение двух копий одной и той же программы всегда будет приводить к одинаковому эффекту – правильному или неправильному). А, во-вторых, добавление в программу дополнительных средств приводит к её усложнению (иногда – значительному), что в какой-то мере мешает методам предупреждения ошибок. ^ Известны два общих метода борьбы со сложностью систем:
Обеспечение независимости компонент означает разбиение системы на такие части, между которыми должно остаться по возможности меньше связей. Одним из воплощений этого метода является модульное программирование. Использование иерархических структур позволяет локализовать связи между компонентами, допуская их лишь между компонентами, принадлежащими смежным уровням иерархии. Этот метод, по существу, означает разбиение большой системы на подсистемы, образующих малую систему. Здесь существенно используется способность человека к абстрагированию. ^ Обеспечение точности перевода направлено на достижение однозначности интерпретации документов различными разработчиками, а также пользователями ПС. Это требует придерживаться при переводе определённой дисциплины. Майерс предлагает использовать общую дисциплину решения задач, рассматривая перевод как решение задачи. В соответствии с этим весь процесс перевода можно разбить на следующие этапы:
Для того, чтобы ПС выполняло то, что пользователю разумно ожидать от него, необходимо правильно понять, во-первых, чего хочет пользователь, и, во-вторых, его уровень подготовки и окружающую его обстановку. Поэтому следует привлекать пользователя в процессы принятия решений при разработке ПС, – тщательно освоить особенности его работы (лучше всего – побывать в его “шкуре”). ^ Обязательным шагом в каждом процессе (этапе) разработки ПС должна быть проверка правильности принятых решений. Это позволит обнаруживать и исправлять ошибки на самой ранней стадии после её возникновения, что существенно снижает стоимость её исправления и повышает вероятность правильного её устранения. С учётом специфики разработки ПС необходимо применять везде, где это возможно,
Смежный контроль означает проверку полученного документа лицами, не участвующими в его разработке:
Такой контроль позволяет обеспечивать однозначность интерпретации полученного документа. Сочетание статических и динамических методов контроля означает, что нужно не только контролировать документ как таковой, но и проверять, какой процесс обработки данных он описывает. Это отражает одну из специфических особенностей ПС (статическая форма, динамическое содержание). |
Похожие:
 | Специализация 230105 – Программное обеспечение вычислительной техники и автоматизированных систем |  | Дисциплина для специальности 230105 “Программное обеспечение вычислительной техники и автоматизированных систем” |
| Методические рекомендации предназначены для студентов дневного и заочного отделения по специальности 050501. 52 «Профессиональное... | | «Экономика отрасли» для специальности 050501. 52 «Профессиональное обучение (Информатика и вычислительная техника)»; специальность... |
| Программное обеспечение вычислительной техники и автоматизированных систем / сост. В. С. Брусенцева. – Белгород: Изд-во бгту, 2007.... | | Пособие предназначено для студентов специальности 230105 Программное обеспечение вычислительной техники и автоматизированных систем.... |
| ... | | О преддипломной практике на кафедре «Программное обеспечение автоматизированных систем» |
| Дискретные структуры“, “Теория алгоритмов и вычислительных процессов“ (для студентов специальностей 050102 “Программное обеспечение... | | Автоматизированное проектирование сложных объектов и систем: Курс лекций для студентов специальности 080402 «Информационные технологии... |