Cтраница 2
Ни одна из систем программирования на языке ассемблера не обеспечивает никаких средств контроля надежности программ, за исключением простейших проверок правописания. Программирование как искусство реализации алгоритмов без механизмов управления надежностью начинает уступать место системному подходу к проектированию программ. [16]
При рассмотрении того, как избавиться от ненужных подробностей, ухудшающих удобство понимания и надежность программ, было упомянуто понятие абстракции данных. И здесь полезными оказываются процедуры. [17]
При разработке программ, работающих в реальном масштабе времени, важное значение приобретают вопросы надежности программ и эффективности процесса разработки. [18]
Обсуждаются требования, предъявляемые к технологии разработки программного обеспечения ( ПО) в связи с задачей повышения надежности программ. Указывается, что процесс создания ПО оказывается наиболее эффективным, если использовать современную методологию структурного программирования. При этом возникает вопрос об интерфейсе программ и согласовании работы многих программистов. Одним из методов организации разработки ПО является выделение бригады главного программиста, который руководит работой программистов своей группы и проверяет написанные ими сегменты, определенные в соответствии с принципами структурного программирования. Проверка программ осуществляется различными способами. Описывается способ проверки программы в кодах и приводится список типичных ошибок, выявляемых этим способом. Рассматривается метод структурного тестирования. Дается пример формуляра для оценки программ по семибальной системе. Указывается, что групповой метод работы программистов, объединенных общим руководством, дает наибольший эффект в отношении надежности разрабатываемого ПО по сравнению с индивидуально работающими программистами или неорганизованной группой. Этот вывод подтверждается приводимыми результатами обследования. [19]
Исключение из этого составляют супер - ЭВМ, у которых вопросы надежности аппаратуры стоят более остро, чем надежность программ. [20]
В настоящее время основными типами применяемых моделей надежности программ являются модели, основанные на предположении о дискретном изменении характеристик надежности программ в моменты устранения ошибок, и модели, основанные на экспоненциальном характере изменения числа ошибок в зависимости от времени тестирования и функционирования программы. [21]
Описаны три признака классификации методов обеспечения надежности программ, отражающие степень формализации и способы реализации методов, а также свойства надежности программ. Построена соответствующая схема классификации, содержащая двенадцать основных классов методов, и произведена классификация около тридцати методов обеспечения надежности программ. [22]
Задаваясь либо допустимой длительностью отладки, либо наработкой на отказовую ситуацию, либо суммарными затратами, можно определить остальные параметры, влияющие на надежность программ, а также значения Т и / Сг для этих параметров. Обычно необходимо решение обратной задачи: для заданных значений 7 или Кг определить суммарные затраты С. [23]
Заметим, что своевременное и содержательное комментирование программы стимулирует разработчика к более тщательной проверке правильности проделанной работы на каждом шаге детализации и тем самым способствует повышению надежности программы. [24]
С тех пор теория проектирования программного обеспечения достигла определенного прогресса, и теперь, согласно точке зрения Ие [2], она представляет собой инженерный подход к разработке программных средств ЭВМ, охватывающий методологию программирования, проблемы обеспечения надежности программ, оценки рабочих характеристик и качества проектов, вопросы управления проектированием систем программного обеспечения, а также средства и стандарты разработки программ. [25]
В этой книге рассматриваются концепции надежности программного обеспечения, принципы проектирования надежных программных средств, их испытания, а также ряд смежных вопросов, касающихся методов управления разработками, эффективности языков программирования, влияния языков и архитектуры ЭВМ на надежность программ, доказательство правильности функционирования программ и моделей надежности. Однако вопросы гарантирования качества программного обеспечения не затрагиваются. Все рассмотренные в книге вопросы характеризуются равной глубиной анализа и степенью сложности, дается много полезных контрольных вопросников и большое количество примеров, однако упражнения для читателей отсутствуют. Книга написана в непринужденной манере В доставляет удовольствие при чтении. [26]
Возможность перегенерации на другой класс задач позволяет в программу исполнительной базы включать только те средства, которые необходимы для решения задач данного класса, высвобождая таким образом ресурсы машины для возможности увеличения мощности программы; при этом отпадает необходимость считать по универсальным программам большого объема, обладающим большим набором функций, из которых используется, как правило, лишь незначительная часть, но при этом за счет универсальности значительно снижается надежность программы и ее мощность. [27]
Язык должен способствовать написанию надежных программ и упрощать их сопровождение. Поэтому надежности программ отдается предпочтение даже по сравнению с легкостью их написания. Например, требование описывать все переменные - это явная избыточность в программе, которая, однако, повышает надежность программы. В связи с этим представляет интерес, насколько язык программирования Паскаль удовлетворяет этому требованию. [28]
Фортране, это правило может показаться обременительным. Однако надежность программ диктует именно такую форму задания переменных. [29]
В зависимости от затрат на размножение и пересылку цена доходит до 250 и более долларов за одну дискету. Качество и надежность программ варьируют, но не обязательно коррелируют с ценой. Действительно, весьма трудно оценить педагогическую ценность программы при простом чтении каталогов. [30]