Надежность - программа
Cтраница 3
Хотя предупреждение проникновения ошибок в программы - это оптимальный путь к достижению высокой надежности, гарантировать отсутствие ошибок в программах практически невозможно. В связи с этим надежность программы существенно зависит от полноты и эффективности процессов тестирования и отладки. [31]
В заключение необходимо еще раз. Паскаль обеспечивает удобочитаемость и надежность программ, написанных на нем, а отсутствие таких ограничений в языке Си - его большую гибкость. [32]
Для инженера сказанное должно означать, что решающее значение приобретает его способность выбрать, оценить и умело использовать готовую прикладную программу. Сборочные методы существенно повышают надежность программ. Освоение этих методов необходимо, поскольку важной областью применения ПЭВМ становится разработка уникальных управляющих программ для встраиваемых в промышленное оборудование микропроцессорных контроллеров. [33]
Отсутствие в Паскале статических локальных переменных заставляет использовать глобальные переменные, которые имеют область действия больше, чем необходимо. Это ведет к уменьшению надежности программ. [34]
 |
Зависимость интенсивности отказов программы от времени работы ( модель с дискретно-понижающейся интенсивностью проявления ошибок в программе. [35] |
В [16] предложена модель надежности программ, построенная на предположении, что устранение ошибки в программе приводит к увеличению времени наработки на отказ на одну и ту же случайную величину. [36]
Языки Литтл и Си предполагают наличие предпроцессора, позволяющего выполнять простую макроподстановку, условную компиляцию, включение файлов. Эти средства улучшают мобильность и надежность программ, автоматизируют труд программиста. Использовать их, однако, следует осторожно, так как правила предпроцессорной обработки не согласуются с синтаксисом и тем более с семантикой языка. [37]
Состав Nuts & Bolts разнообразнее, чем у Нортона - есть даже свое шифрование файлов, свой архиватор. Но с точки зрения отшлифованности, надежности программ, как мне кажется, Nuts & Bolts уступают конкуренту. [38]
Давайте начнем с того, что отметим, какие из допустимых элементов модуля определения отсутствуют на распечатке 8.12. Во-первых, нет списка импорта. С целью минимизации взаимосвязей между программами и тем самым повышения надежности программы модуль определения должен импортировать лишь те объекты, которые ему нужны. В нашем примере модулю определения не требуется доступ к элементам какого-либо другого модуля. [39]
Теперь автокодная реализация разработанного нами алгоритма преобразования заданного выражения известна, однако без некоторой практики в использовании рассмотренных выше способов реализации операций над стеком и вычисления таблично заданной функции написание автокодной программы, исходя из приведенной записи программы на псевдокоде, может вызывать определенные трудности. Чтобы сделать эту работу достаточно технической ( и тем самым добиться повышения надежности программы), можно провести дальнейшую детализацию программы с учетом принятых нами решений, причем действия над стеком и над таблицей TAB выпишем в явном виде - в терминах указателя на вершину стека, имен используемых массивов и индексов в этих массивах. [40]
Программы являются одним из наиболее гибких видов промышленных изделий и эпизодически подвергаются изменениям в течение всего времени их использования. Иногда достаточно при корректировке внести одну ошибку для того, чтобы резко снизилась надежность программы или ее корректность при некоторых исходных данных. Для сохранения и повышения качества КП необходимо регламентировать процесс модификации и поддерживать его соответствующим тестированием и контролем качества. В результате ПС со временем обычно улучшается как по функциональным возможностям, так и по качеству решения отдельных задач. [41]
В целом структурное программирование содержит набор правил, помогающих писать хорошие программы. Оно включает также новые методы, которые только начинают складываться и призваны повысить надежность программ. [42]
В настоящий момент большинство средств самоконтроля требует от программиста перемены стиля программирования. Необходимо отметить, что средства структурного программирования обладают некоторыми формами избыточности, что приводит к увеличению надежности программ. Автоматизация размещения и удаления средств проверки в программе будет чрезвычайно полезной. Не рее средства самоконтроля можно автоматизировать, хотя некоторые из них, например информирование о последовательности выполнения, легко поддаются автоматизации. Оценка стоимостной эффективности этих средств поможет выбрать наиболее приемлемые из них для аппаратной реализации. [43]
Описаны три признака классификации методов обеспечения надежности программ, отражающие степень формализации и способы реализации методов, а также свойства надежности программ. Построена соответствующая схема классификации, содержащая двенадцать основных классов методов, и произведена классификация около тридцати методов обеспечения надежности программ. [44]
Сущность логической реда кции состоит в поиске и проведении таких преобразований исходной программы, которые упрощают тестирование и повышают надежность программы. Обычные преобразования обеспечиваются на уровне блок-схем, граф-программ, табличных форм или некоторых простых алгебраических форм. [45]
Страницы: 1 2 3 4