Надежная программа
Cтраница 1
Надежная программа прежде всего должна обеспечивать низкую вероятность отказа в процессе реального функционирования. Быстрое реагирование на искажения программ, данных или вычислительного процесса и восстановление работоспособности за время меньшее, чем порог между сбоем и отказом, позволяют обеспечить высокую надежность программы. При этом неправильная программа может функционировать в принципе абсолютно надежно. Действительно, если при каждом появлении реальных исходных данных ( 3 на рис. 4.9), попадающих в области II и IV и стимулирующих неправильные результаты, они не приводят к событиям, соответствующим отказу, то такая программа функционирует безотказно и надежно, хотя и не всегда правильно. [1]
Надежная программа должна быть одновременно точной, согласованной и завершенной. Если выдаваемые программой результаты имеют достаточную для их назначения точность, считают, что она обладает свойством точности. [2]
Наименее надежные программы, например неапробированные про - граммы пользователя, работают на четвертом, самом низком уровне привилегированности. [3]
Для получения надежных программ необходимы твердые знания о типах встречающихся ошибок. Каждый, кто когда-либо пытался написать и отладить программу, которая не пошла из-за ошибок или дала неправильные результаты, знает, что это обычное явление. Программист вырабатывает свой стиль защиты от ошибок, свою личную теорию о том, что идет неправильно и каковы причины. Как результат этой теории, стиль программирования в следующей разработке изменяется, программист избегает уловок, которые в прошлом оказались безуспешными, иногда даже с ущербом для эффективной работы программы. [4]
Язык должен способствовать написанию надежных программ и упрощать их сопровождение. Поэтому надежности программ отдается предпочтение даже по сравнению с легкостью их написания. Например, требование описывать все переменные - это явная избыточность в программе, которая, однако, повышает надежность программы. В связи с этим представляет интерес, насколько язык программирования Паскаль удовлетворяет этому требованию. [5]
Поэтому анализ вопроса о размере затрат на разработку надежных программ представляет большой интерес. [6]
Ограничения, введенные в язык Паскаль, должны были способствовать разработке надежных программ путем навязывания определенной дисциплины. Принуждая следовать введенным в него ограничениям, язык Паскаль оказывает существенную помощь программисту в выявлении ошибок в программе и сильно усложняет доступ ( по ошибке или преднамеренный) к ячейкам памяти вне области данных программы. [7]
Насколько та или иная реализация транслятора с некоторого языка программирования способствует созданию надежных программ. [8]
Новая книга известного швейцарского специалиста посвящена изложению фундаментальных принципов построения эффективных н надежных программ. В ней содержится также описание н анализ основных алгоритмов. [9]
Важное достоинство данного метода - в гарантии создания документации, что также ведет к получению надежной программы. Программист вынужден обычно думать о структуре данных и проверке своей программы более тщательно, чем об ее описании на бумаге. [10]
Значение использования любого языка, представляющего подходящее множество основных абстракций, общих для большинства задач обработки данных, заключается главным образом в том, что это приводит к получению надежных программ. [11]
 |
Количества разделенных соединений, поступающие в спектрометр в непрерывном и периодическом ГХ-анализах. [12] |
Химик и химик-спектроскопист имеют в своем распоряжении различные системы поиска стандартных спектров в памяти вычислительной машины [ 1, б - г, 2 ]; недавно появилось сообщение [3] о надежной программе автоматического поиска стандартных ИК-спектров. [13]
Те немногие экономисты, которые высказываются в пользу контроля, считают его полезным для прекращения инфляционных ожиданий, которые часто способствуют быстрой инфляции. Надежная программа контроля уровня цен и заработной платы может убедить фирмы и рабочую силу в том, что высокие цены и заработная плата неоправданны, поскольку инфляция под контролем. [14]
Для получения содержимого текстовых элементов списка класс CListBox предусматривает целый набор функций. Во-первых, для надежных программ, которые не полагаются на предположение о длине запрашиваемых данных, существует функция GetTextLen, которая возвращает длину строкового элемента в байтах, исключая завершающий нуль-символ. Во-вторых, для получения собственно текста следует использовать функцию GetText, предоставляющую буфер для копирования в него символов. [15]
Страницы: 1 2 3