![]() |
![]() |
||
![]() Главная страница Библиотека (скачать книги) Скачать софт Введение в программирование Стандарты для C++ Уроки по C# Уроки по Python HTML Веб-дизайн Ассемблер в среде Windows ActiveX Javascript Общее о Линукс Линукс - подробно Линукс - новое Delphi Паскаль для начинающих Турбопаскаль Новости Партнеры Наши предложения Архив новостей |
Структурность управляющих конструкций Второй составляющей структурного программирования является структурность применяемых управляющих конструкций языка (управляющих операторов). Это вытекает из требования, чтобы процесс исполнения управляющих конструкций был легко понимаем по их текстуальному представлению. Свойство структурности управляющих конструкций состоит в том, что каждая из них должна иметь в тексте одну входную точку (с которой начинается исполнение конструкции) и одну выходную точку (в которой завершается исполнение конструкции). Большинство управляющих конструкций языков программирования построено именно таким образом. Такими конструкциями являются - составной оператор, условный оператор, оператор варианта, операторы циклов. Приведем диаграммы некоторых управляющих конструкций языка, демонстрирующих требование к структурности этих конструкций.
Оператор варианта Структурированная программа не должна содержать операторы перехода в произвольную точку текста, композиционно не связанную с текущей точкой. В версии языков программирования (например, Турбо Паскаль 7.0) включаются дополнительные операторы (например, Exit, Continue и Break), способствующие созданию структурных управляющих конструкций без применения операторов перехода.
Надежное программирование Стиль надежного программирования, по существу, впитал в себя все идеи модульного и структурного стилей, в то же время акцентируя внимание на некоторых специфических аспектах. Являясь преемником структурного подхода, надежное программирование ужесточает требования и регламенты, которые должны выполняться на всех этапах разработки. Одной из концепций надежного стиля разработки является использование языков высокого уровня, не зависящих от реализации. Богатство и разнообразие средств языка высокого уровня позволяет кодировать программу разными способами. Специфика надежного программирования состоит в выборе таких способов программирования, которые повышают надежность программы. В понятие "надежность" входят две составляющие - корректность и устойчивость.
Понятия и средства надежного программирования Надежность является частью более общего понятия - "качество". Качественная программа не только надежна, но и компактна, совместима с другими программами, эффективна, удобна в сопровождении и вполне понятна. Создано множество технологических средств и методов, являющихся обязательными при разработке надежных программ. Укажем только некоторые из них.
Разнообразие внешних воздействий и взаимодействие с внешней средой описывается с помощью сценариев имитации окружающей среды.
Требования к надежным программам Понятие "надежность" имеет две составляющие: корректность и устойчивость. Корректность — свойство программы удовлетворять поставленным требованиям, т.е. получать результаты, точно соответствующие решению задачи и требованиям к ее интерфейсу. Устойчивость - способность программы отслеживать ошибки при вводе и вычислении данных и сообщать об этих ситуациях, вместо выдачи неправильных результатов. Другими словами, надежная программа гарантирует правильность получаемых результатов и безотказность программы. Последнее означает, что программа должна быть такова, что ее исполнение на каждом из допустимых наборов исходных данных приводил к ожидаемым результатам ее выполнения, не должно возникать непредвиденных ситуаций, например переполнения, нехватки памяти, зацикливаний и т.д. При построении устойчивой (безотказной) программы возникают два вопроса:
Ответ на первый вопрос заключается в том, что при создании программы нужно не просто программировать вычисления, а представлять, как они будут выполняться с разными значениями операндов. Очень важно тщательно протестировать программу для граничных значений аргументов операций. Отсюда следует, что один из важнейших принципов надежного программирования - определение (подтверждение) области допустимых значений данных на основе анализа и тестирования программы. Ответ на второй вопрос заключается в применении приемов надежного программирования. Вся совокупность таких приемов естественным образом разбивается на две группы:
Программа, построенная с применением приемов надежного программирования, должна:
|
||
Библиотека программиста. 2009. |
|