Правильность программного обеспечения

Правильность программного обеспечения 280 Предикат 274 Препроцессор 317 Приоритет 83 [c.332]

Программное обеспечение геометрической правильности [c.23]

Поскольку программирование применительно к созданию ПО САПР является коллективным промышленным трудом, необходимо особое внимание уделять технологии создания программного продукта. В противном случае могут возникать весьма ощутимые трудности создания больших комплексов программ во время стыковки отдельных их частей, разрабатываемых различными программистами или подразделениями, проверки правильности функционирования, разработки программной и эксплуатационной документации. Отсутствие жестких стандартов программирования чрезвычайно затрудняет и процесс совершенствования ранее разработанных программных систем. Недаром значительная часть программистов считает, что легче сделать свою новую программу, чем разобраться в чужой ранее разработанной программе аналогичного назначения. В свою очередь это приводит к крайне неэффективному применению программного обеспечения только незначительная его часть (около 2%) находится в процессе регулярной и массовой эксплуатации. Подавляющую долю составляют программы, которые могут эксплуатироваться только их разработчиками. [c.68]

Как указано в работе [135], средняя стоимость одного оператора программы составляет 10—35 р., а время создания специализированного математического обеспечения для данной предметной области ограничено 2—4 годами, иначе идеи и алгоритмы, положенные в основу программ, морально устареют, любая программа — продукт коллективного труда программистов, являющийся результатом научной деятельности, — представляет собой материальную ценность, обладающую потребительскими свойствами, и, следовательно, проблема переноса программного обеспечения и правильность выбора программных средств САПР [c.210]

Для обеспечения надежности на этапе функционирования ГПС должно быть предусмотрено построение в структуре ИИС подсистемы технического диагностирования, которая дает возможность проверки правильности функционирования ГПС, поиска нарушений работоспособности в различных подсистемах ГПС в целях предупреждения внезапных отказов, статистического прогнозирования состояния, самоконтроля и функционального тестирования микропроцессорных систем управления, синтаксического и семантического тестового контроля программного обеспечения и т. д. [c.103]

При эксплуатации управляющего вычислительного комплекса, включающего в себя пультовой терминал, центральную микро-ЭВМ и ряд функциональных модулей, возникает серьезная проблема периодической его проверки на работоспособность. Существуют различные способы тестирования устройств на микропроцессорах [3]. Тестовое программное обеспечение, предлагаемое заводом-изготовителем, рассчитано на проверку функционирования отдельных модулей микроЭВМ с помощью пультового терминала. Подобная проверка требует от оператора понимания структуры микроЭВМ и языка программирования. Целесообразнее проводить комплексное тестирование всего управляющего вычислительного комплекса. Этот способ является менее дорогостоящим и не требует дополнительных затрат на специальное программное обеспечение, поскольку в процессе тестирования используются те же логические последовательные операции, что и при реальной работе машины. Кроме того, при таком тестировании проверяется не только функционирование отдельных модулей управляющего вычислительного комплекса, но и правильность их электрических соединений в составе конструктива. Поэтому было разработано тестовое программное обеспечение, позволяющее в автоматическом режиме проводить тестирование комплекса, включающего в себя набор основных модулей. [c.54]

Испытания на воздействие окружающей среды являются необходимой частью сертификации любого оборудования и выполняются с целью демонстрации того, что аппаратура правильно функционирует в заданном диапазоне условий окружающей среды. Программное обеспечение, используемое при этих испытаниях, может быть как рабочим, так и специальным испытательным. [c.224]

При помощи новой теории можно точнее прогнозировать ресурс подшипников в зависимости от условий смазывания и наличия инородных частиц (загрязнения). Однако достоверность расчетов зависит от того, насколько точно известны условия работы и от того, насколько полно применяется теория, так как для проведения расчетов требуется специально разработанное программное обеспечение для ЭВМ. Теория дает возможность лучше использовать потенциальный ресурс подшипников, правильно выбрать размер подшипника, не утяжеляя его, и показывает значимость защиты подшипника от проникания инородных частиц. [c.371]

Программное обеспечение-, незначительное, за исключением полей гравитации. Правильно моделировать поле гравитации очень трудно, поэтому в конфликтных ситуациях выбирается ближайший отрезок. На практике обычно требуется лишь довольно грубая реализация этого метода. Например, можно считать, что перо располагается в поле гравитации, если небольшая квадратная область, описанная вокруг точки, соответствующей положению пера, пересекается отрезком (рис. 11.12). Для реализации поля в виде гантели предварительно производится проверка по концам отрезка, при этом используется несколько больший квадрат (рис. 11.13). Этот метод очень легко запрограммировать, если использовать описанный ниже метод кадрирования при указании световым пером. [c.224]

Такое положение является несколько парадоксальным. Согласно тому, что говорилось ранее о системах с разделением времени, следовало бы сделать вывод, что дешевле использовать центральный процессор коллективно, например в системе с разделением времени, чем предназначать процессор для обслуживания только одного терминала. Однако такое утверждение правильно лишь в идеальных условиях. На практике же приходится иметь дело с задержками при передаче данных, существуют трудности и с программным обеспечением. [c.401]

Единые правила внесения изменений, учета и хранения документации. Это требование накладывает жесткие ограничения на порядок передачи извещений на изменения, внесение их во все документы, правильную эксплуатацию системы программного обеспечения. Невыполнение этих требований может привести к разрушению отдельных компонент программного обеспечения. [c.70]

Один из наиболее важных элементов программного обеспечения СК-2 - возможность слежения за качеством акустического контакта во всех каналах одновременно, что значительно повышает достоверность результатов контроля. Существенной составляющей обеспечения безопасного функционирования ответственных объектов является своевременная и правильная расшифровка результатов контроля. В отличие от подавляющего большинства современных приборов в СК-2 результаты расшифровывают автоматически в реальном масштабе времени. [c.301]

ИХ изготовления, и при этом нет никаких проблем правильного выбора подходящих процедур, так как нужная схема процесса оказывается встроенной в системное программное обеспечение. [c.86]

Правильное определение параметров моделей элементов имеет очень большое значение при решении основных задач схемотехнического проектирования. Поэтому внедрение программ схемотехнического проектирования должно сопровождаться разработкой мероприятий по идентификации параметров моделей элементов электронных схем, включая создание специального программного обеспечения. [c.141]

Использование метода конечных элементов в качестве инструмента моделирования в программном обеспечении САПР технических устройств, которые могут иметь порой очень сложную форму, требует хорошей адаптации генерации сети к областям, контуры которых могут быть как прямолинейными, так и криволинейными. Использование криволинейных элементов представляется особенно необходимым, когда искривленные поверхности сочетаются с нелинейными физическими свойствами. Будет показано, что все прямолинейные и криволинейные элементы можно свести к некоторому стандартному элементу, который является правильным многоугольником, полученным при помощи взаимно-однозначных преобразований. Будут рассмотрены основные стандартные элементы для одного, двух и трех измерений и порядок составления из них элементов прямолинейного и криволинейного типа. Будут рассмотрены также два больших семейства элементы типа [c.55]

Стоимость эксплуатации САПР удобно характеризовать стоимостью принятия типового проектного решения Ст.пр. Эта ха])ак-теристика тесно связана с другим ограничением — темпом работы, под которым будем понимать время реализации системой типового проектного решения т.пр- Типовое проектное решение характеризуется обработкой некоторого подмножества Л команд из всего множества команд, составляющих программное обеспечение, причем Nq реализуют основные алгоритмы проектирования, а N осуществляют функции контроля правильности работы. [c.155]

Во многих сложных технических объектах, особенно в подвижных объектах, системах энергетики, связи стоимость разрабатываемых программ становится вполне сопоставима со стоимостью проектирования аппаратуры и разработка программного обеспечения стала достаточно специфической областью проектирования. Ее специфичность заключается не только в особенностях разработки программного обеспечения по сравнению с проектированием аппаратных средств, но и в том, что разработчики программного обеспечения выдают не проект, а готовый продукт - программы. И в связи с этим особенно остро встает вопрос о проверке правильности разработанных программ -их тестировании. [c.38]

Невозможно ускорить разработку программного обеспечения за счет решения использовать сокращенные версии и допускать более высокий уровень ошибок. Программное обеспечение просто не будет функционировать правильно, если оно содержит ошибки [c.67]

Это вовсе не подразумевает, что нельзя написать программное обеспечение, которое успешно функционировало бы в условиях экономической деятельности, содержа при этом ошибки. Напротив, компьютеризация является идеальным способом внесения ошибок. Но конструирование программного обеспечения должно приводить к свободному от ошибок результату правильно функционирующему пакету программного обеспечения. [c.68]

Когда наступит дата прохождения теста достигаемого уровня, передайте поставщику реальные задачи для демонстрации. Они будут подобны (но не идентичны) примерам задач. Следует предлагать не те задачи, что в примерах, чтобы поставщик не мог просто изготовить демонстрационные файлы, показав на них именно то, что вы хотите увидеть система должна действительно выполнить вашу работу под вашим наблюдением. Настаивайте на том, чтобы проследить каждую часть работы, производимой поставщиком для выполнения вашего теста достигаемого уровня. Будьте по-настоящему упрямы во всех аспектах оценки результатов этого теста помните, что ваша способность пользоваться в будущем данной системой основывается на вашей правильной оценке возможностей системы. Уносите распечатки, демонстрирующие любое желаемое вам свойство убедитесь, что это свойство зафиксировано, чтобы избежать разочарования. Настаивайте также на том, чтобы тест достигаемого уровня был выполнен на той аппаратуре, которую вы собираетесь заказать. Весьма рискованно строить планы на аппаратуру, которой нет в продаже, поскольку аппаратное или программное обеспечение, которое предположительно будет полностью готово к следующему месяцу , часто затягивается на годы. [c.120]

Нужно удостовериться, что программное обеспечение функционирует правильно и точно, прежде чем начинать производственную работу на системе. Если система выдает ошибочные данные и один из ваших клиентов понес из-за этого ущерб, то отвечать за это придется вам, а не поставщику САПР/ АСТПП. Поставщики компьютеров обычно не ручаются, что система не содержит ошибок. [c.132]

Для проверки полноты и качества проекта выполняется анализ его соответствия требованиям. Целью этой проверки является установление правильности воплощения в проектной документации требований к программно-математическому обеспечению, соблюдение стандартов на проектирование, гарантии того, что алгоритмы правильно представляют техническую идею, являются точными и устойчивыми. [c.222]

В предыдущих шестнадцати главах поочередно рассматривались различные проблемы и трудности, связанные с использованием интерактивной машинной графики. Был описан целый ряд принципов и методов, представляющих в целом всю технологию интерактивной машинной графики. Остался один последний вопрос, интересующий всех желающих использовать эти методы в конкретных применениях. Это вопрос о проектировании интерактивных графических систем, т. е. о выборе соответствующих программных и аппаратных компонентов для конкретного применения и об обеспечении их правильной совместной работы. [c.386]

Проектирование графических систем по своей сущности значительно отличается от проблем, рассмотренных в предыдущих главах. Прежде всего это вопрос не столько анализа, сколько синтеза системы из правильно выбранных средств технического обеспечения и программных методов. Далее, при проектировании графических систем нужно обратить серьезное внимание на содержание прикладной проблемы, для решения которой предназначена система. Может оказаться, что в ходе разработки системы будет многое уточнено в самой прикладной проблеме и в результате будет спроектирована более совершенная система. В других случаях может быть очень мало известно о потенциальных применениях, поэтому система должна быть универсальной и гибкой такие системы будем называть графическими системами общего назначения. [c.386]

Программное управление металлообрабатывающим станком должно быть направлено на обеспечение правильного взаимодействия детали и инструмента в процессе обработки с целью получения изделия заданных размеров и формы. [c.68]

В принципе, при любой из рассмотренных систем регулирования возможно обеспечение достаточно хороших результатов работы мартеновской печи. Однако для этого необходимо наиболее правильное согласование системы регулирования с теплотехническими и конструктивными особенностями печи. Наиболее правильное решение последнего вопроса возможно в результате проведения специальных исследований и наладки системы регулирования в условиях эксплуатации печи. В настоящее время одной из лучших является система программного регулирования со взаимосвязанными задатчиками всех регуляторов. Дальнейшее усовершенствование систем регулирования мартеновских печей позволит создать такую систему, [c.217]

Программное обеспечение САПР объединяет собственно программ[)1 для систем обработки данных на машинных носителях и программную документацию, необходимую для эксплуатации программы. Программное обеснсчсиие (ПО) делится на общесистемное, (казовое и прикладное (специальное). Общесистемное ПО предназначено для организации функционирования гсхничсских средств, т. с. для планирования и управления вычислительным процессом, распределения имеющихся ресурсов, и представлено операционными системами ЭВМ и ВС. Общесистемное ПО обычно создастся для многих приложений и специфику САПР не отражает. Базовое и прикладное ПО создаются для нужд САПР. прикладном ПО реализуется математическое обеспечение для псгюсредственпого выполнения проектных процедур. Прикладное ПО обычно имеет форму пакетов прикладных программ (ППП), каждый из которых обслуживает определенный этан процесса проектирования или группу однотипных задач внутри различных этапов. В базовое ПО входят программы, обеспечивающие правильное функционирование прикладных программ. Иногда в базовое ПО включают ППП, поставляемые в централизованном иорядке вместе с аппаратурой и предназначенные для использования в основных маршрутах проектирования. [c.83]

Прикладное программное обеспечение САПР создается на основе современных представлений об объекте и соответствующих им математических моделей. Поэтому важными свойствами этих моделей следует считать трансформируемость и наращиваемость. Эти требования, обеспечивающие возможность модернизации модели, могут быть выполнены при модульном построении, когда отдельные подсистемы, представляющие совокупность расчетных и логических блоков, связываются лишь потоками входной и выходной информации. Здесь важно правильно решить задачи сегментации алгоритмов, что позволяет проводить их необходимую доработку без существенного изменения ранее созданных частей. Модульный принцип построения позволяет, наконец, не противопоставляя важности комплексной реализации САПР, осуществлять ее практическую разработку последовательно на уровне подсистем, очередность которых определяется трудоемкостью и степенью формализации отдельных этапов, а также наличием требуемых вычислительных средств. [c.100]

Непрерывные испытания управляющего комплекса в режиме автоматического управления электролизером проводили в течение нескольких суток. Все регламентные операции и гашение анодного эффекта в процессе испытаний проводили без переключения режима работы электролизера на местное управление, что позволило более детально оценить эффективность комплекса. Пороговые значения напряжения электролизера и тока серии, уставки и другие параметры, необходимые для ввода в программу микроЭВМ, были выбраны с учетом значений, используемых в АСУТП Электролиз . В процессе регулирования фиксировали значения напряжения электролизера, тока серии и приведенного (расчетного) напряжения до и после регулирования. В ходе испытаний не было отмечено сбоев в работе УВК. Испытания подтвердили правильность выбранных технических решений, математическою п программного обеспечения. [c.50]

Программное обеспечение, составленное на основе описанной схемы вычислений, позволило провести сравнительные расчеты параметров движителя и удлинителя для скважин с различными радиусами искривления, зенитными углами, коэффициентами трения и длинами условно-горизонтальных участков. Расчеты проводились для различных типов кабельных технологических комплексов, в том числе с использованием труб малого диаметра и жесткого геофизического кабеля. В качестве исходных использовались содержашиеся в справочниках весовые данные различных типоразмеров насосно-компрессорных труб, геофизических кабелей, в том числе жесткого, и приборов. Вычисленные осевые усилия на геофизическом кабеле, возникающие при подъеме. не превышают 20000 Н (с учетом веса кабеля) при длине условно-горизонтальных участков 300 ч- 400 м при использовании в качестве средств доставки насосно-компрессорных труб диаметром 33 мм. При использовании жесткого геофизического кабеля вычисленные усилия не превышают 12000 Н. Практические работы на скважинах подтвердили правильность разработанной мето-лики расчетов по выбору конструкций движителя и удлинителя, а измеренные при подъеме осевые усилия, создаваемые на геофизическом кабеле, хорошо согласуются с расчетными. [c.319]

Специальное программное обеспечение — это часть разрабатываемого при создании конкретной АСУ программного обеспечения, включающая программы реализации управляющих, информационных и вспомогательных функций (обеспечение заданного функщюнирования технических средств системы, проверка правильности ввода информации, контроль за работой системы и т.п.) оно разрабатывается на базе и с использованием программ общего программного обеспечения. При этом необходимо выполнение следующих условий [c.517]

Для непосредственного считывания графической информации с бумажного или иного носителя в ПЭВМ применяются оптические сканеры. Сканеры бывают настольные, позволяющие обрабатывать весь лист бумаги или пленки целиком, а также ручные. Ручные сканеры проводят над нужными рисунками или текстом, обеспечивая их считывание. Введенный при помощи сканера рисунок распознается ПЭВМ с помощью специального программного обеспечения. Рисунок может быть не только сохранен, но и откорректирован по желанию пользователя соответствующими графическими пакетами программ. В настоящее время выпускаются черно-белые и цветные сканеры с точностью разрешения до 8000 точек на дюйм (более 300 точек на 1 мм), однако эти устройства весьма дороги. Использование сканеров для непосредственного ввода в ПЭВМ текстовой информации с ее последующим редактированием затрудаено также значительной сложностью программного обеспечения, необходимого для правильного распознавания и интерпретации отдельных символов. [c.122]

Особенности автоматизации функционально-логического проектирования. Содержательная сторона создаваемых алгоритмов, реализуемых аппаратно и программно, определяется человеком. Средства автоматизации используются для ускорения и облегчения предст авления результатов проектирования в нужной форме. Проектировщик может записывать алгоритмы на удобном высокоуровневом языке. Преобразования алгоритмов из одной формы в другую, документирование результатов, контроль правильности и выявление ошибок можно в значительной мере автоматизировать. Такая автоматизация применительно к разработке программного обеспечения осуществляется в инструментальных подсистемах САПР (см. 11.2). Автоматизация разработки микропрограмм имеет свою специфику и реализуется в специальных подсистемах проектирования микропрограммируемых структур. [c.99]

Свойства программного обеспечения САПР. К ПО САПР предъявляются требования экономичности, удобства использования, надежности, правильности, универсальности, открытости, сопровождаемости и мобильности. [c.280]

Цель проектирования программного обеспечения состоит в создании программы для обработки входных данных требуемым образом. Для решения этой задачи предусмотрены различные средства, в том числе средства формальной спецификации требований, определяющие функции программы редакторы для создания и модификации описания программы (кодирования или любого символьного описания, в том числе структурной схемы, диаграммы преобразования сигналов) трансляторы, преобразующие одно символьное описание программы в другое (например процессор для перевода с языка КАТРОН на язык ФОРТРАН) компиляторы, преобразующие символьное описание программы в эффективную форму для выполнения на ЭВМ исполняющие системы для поддержки программы во время выполнения отладчики для выдачи сообщений и анализа правильности работы программы системы документирования для создания программной документации, помогающей понять принцип ее действия, назначение и т. п. библиотеки программных модулей, необходимые для объединения часто используемых программ простым, надежным и ясным для пользователя образом. [c.276]

Программированием следует управлять, как и любой другой частью экономической деятельности. Программисты склонны уверять менеджеров, что такое управление невозможно, но на самом деле проблема состоит в том, что многие программисты проникнуты духом вольности и не любят дисциплинарных ограничений, которые необходимы для правильно управляемого проекта. По этой же причине проекта Програ1ммного обеспечения хронически запаздывают и выходят за рамки бюджета. В действительности для успеха управления проектом программного обеспечения нужны некоторые специальные методы (см. разд. 9.5). [c.238]

В правильно составленной программе разработки ПМО важное значение имеет установление такого порядка проектирования, который позволяет получить программно-математическое обеспечение, поддающееся проверке и понятное не только его создателям. Этот порядок должен быть документально оформлен. Одним из возможных методов проектирования является офани-чение функций, реализуемых с помощью разделения в пределах отдельных блоков программы (принцип разделения профаммно-математического обеспечения). Особое внимание следует уделять [c.219]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...