Большая Энциклопедия Нефти и Газа. Надежные программы


«Надежные программы УП» // Беларусь

Общая информация о компании

РегионБеларусь
Адрес организации220030 Беларусь, Минск, пр.Ф.Скорины, 11/2-216
ТелефонТелефоны тел.: +375 (17) 289-12-26; факс: +375 (17) 209-92-92;
Электронная почта[email protected]
Название компанииНадежные программы УП

Дополнительная информация о компании

Операционные системы. Прикладные программные средства, пакеты программ для бизнеса, финансов, офиса и профессионалов-разработчиков, промышленности, техники и науки. Программные средства по спецификации заказчика, услуги программотехнических и системотехнических фирм, систем управления базами данных (СУБД). Системные и инструментальные программные средства. Телекоммуникационные сети

Подробная информация о предприятии

Операционные системы. Прикладные программные средства, пакеты программ для бизнеса, финансов, офиса и профессионалов-разработчиков, промышленности, техники и науки. Программные средства систем управления базами данных (СУБД), по спецификации заказчика, услуги программотехнических и системотехнических фирм. Системные и инструментальные программные средства. Телекоммуникационные сети. Услуги компьютерных хостов, Web-сайтов, Web-узлов в сети Интернет

Рубрики компании

КомпьютерыСвязь и телекоммуникации

Компания на карте, схема проезда

Надежные программы УП - краткая анкета компании

Направлениями деятельности компании являются «Компьютеры / Программное обеспечение, Связь и телекоммуникации / Связь – передача данных». Компания Надежные программы УП находится по адресу 220030 Беларусь, Минск, пр.Ф.Скорины, 11/2-216 в регионе Беларусь. По следующим телефонам вы можете связаться с представителями компании - Телефоны тел.: +375 (17) 289-12-26; факс: +375 (17) 209-92-92;. Адрес электронной почты для связи с администрацией - [email protected].

b2bpoisk.ru

Каталог самых полезных программ для Windows

Сергей Бондаренко        Главная страница »     

В данном разделе собран каталог полезных программ. Для каждой программы имеется краткое описание и ссылка на официальный сайт.

Добавьте эту страницу в избранное, чтобы не искать каждый раз эти программы заново.Если Вы хотите последовательно изучать программы, то лучше перейти в раздел «Уроки».

Каталог программ для Windows

Условные обозначения:[ $ ] — платная программа.[ $ ] — условно-бесплатная программа (обычно ограничена функциональность).[ $ ] — бесплатная программа.

Антивирусы:

ESET NOD32 – [ $ ] очень популярный быстрый и надежный антивирус, есть 30-дневный пробный период бесплатного использования. | Международный оф.сайт ESET, Русский оф.сайт ESET, Украинский оф.сайт ESET

Антивирус Касперского (KAV) — [ $ ] популярная антивирусная программа, имеется 30-дневный период бесплатного использования. | Оф.сайт антивируса Касперского

Kaspersky Virus Removal Tool – [ $ ] бесплатная утилита для очистки компьютера от вредоносного ПО. Не обеспечивает защиту в реальном времени. | Утилита для лечения ПК — Kaspersky Virus Removal Tool

Dr.Web CureIt!® – [ $ ] утилита, которая проверяет компьютер на наличие вирусов с возможностью излечения. В отличие от антивируса, запускается вручную. Перед каждой проверкой необходимо скачивать новую версию. | Оф.сайт Dr.Web CureIt!®

Microsoft Security Essentials – [ $ ] бесплатный антивирус от компании Microsoft для обладателей лицензионной версии Windows (Windows 7, Windows Vista и Windows XP). | Страница загрузки Microsoft Security Essentials

avast! Free Antivirus – [ $ ] один из самых популярных бесплатных антивирусов. | Страница загрузки avast! Free Antivirus

Avira Free Antivirus – [ $ ] один из лучших бесплатных антивирусов. | Страница загрузки Avira Free Antivirus

AVG AntiVirus FREE – [ $ ] еще один популярный бесплатный антивирус. | Страница загрузки AVG AntiVirus FREE

Полезная информация: Независимое тестирование антивирусов | Тест антивирусов на лечение активного заражения (октябрь 2012) | Сравнение бесплатных антивирусов | Сравнение от института IT-безопасности | Dennis Technology Labs | Британская лаборатория MRG Effitas | Китайская лаборатория PC Security Labs | Британский портал Virus Bulletin

Архиваторы:

WinRAR – [ $ ] очень популярная программа для работы с архивами. Имеет широкие возможности. | Оф.сайт WinRAR | Страница загрузки WinRAR (в списке найдите Russian)

7-Zip – [ $ ] файловый архиватор с хорошей степенью сжатия данных. Большое количество поддерживаемых форматов для распаковки. | Оф.сайт 7-Zip | Русская версия сайта архиватора 7-Zip

Графика:

FastStone Image Viewer – [ $ *] программа для просмотра изображений с множеством функций и большим количеством поддерживаемых форматов файлов. Быстрый просмотр файлов RAW.Описание | Установка и Настройка | Уроки | Оф.сайт FastStone

XnView – [ $ *] еще одна популярная программа для просмотра и базового редактирования изображений, поддерживающая большое количество форматов. | Оф.сайт XnView

Мультимедиа (видео и звук):

The KMPlayer – [ $ ] удобная программа для воспроизведения видео- и звуковых файлов. Имеет встроенные кодеки, благодаря чему может воспроизводить множество форматов файлов.Описание, установка, урок по использованию программы (запланировано) | Оф.сайт The KMPlayer

Daum PotPlayer – [ $ ] хороший плеер с большим количеством положительных рекомендаций. Разработчик — из авторов The KMPlayer. | Официальный сайт Daum PotPlayer | Русский сайт Daum PotPlayer

VLC media player – [ $ ] проигрыватель (плеер) видео- и звуковых файлов, который может воспроизводить потоковое видео (интернет-телевидение). Имеет встроенные кодеки. | Оф.сайт VLC media player

Foobar2000 – [ $ ] программа для воспроизведения звуковых файлов (аудиоплеер), с множеством функций и компонентов. Отличается высоким качеством воспроизведения звука. | Оф.сайт Foobar2000

CCCP (Combined Community Codec Pack) – [ $ ] набор кодеков для воспроизведения самых распространенных форматов видео. | Оф.сайт CCCP

K-Lite Codec Pack – [ $ ] набор кодеков для воспроизведения разных форматов видео и звука. | Оф.сайт K-Lite Codec Pack

Интернет:

Internet Explorer – [ $ ] самый популярный браузер от компании Microsoft, предустановлен в операционной системе Windows. | Оф.сайт Internet Explorer

Mozilla Firefox – [ $ ] Второй по популярности интернет-браузер с большим количеством дополнительных модулей (расширений). | Оф.сайт Mozilla Firefox

Google Chrome – [ $ ] быстрый и удобный интернет-обозреватель от компании Google. | Оф.сайт Google Chrome

Яндекс.Браузер – [ $ ] набирающий популярность браузер от компании Яндекс, основанный на том же движке, что и Google Chrome | Оф.сайт Яндекс.Браузер

Opera – [ $ ] быстрый, удобный, многофункциональный веб-браузер. Один из самых распространенных интернет-браузеров на территории бывшего СССР. | Оф.сайт Opera | Все версии Opera

Adobe Flash Player – [ $ ] программа для воспроизведения флеш-содержимого на некоторых сайтах (анимация, игры, рекламные баннеры, воспроизведение видео- и аудиороликов). | Страница загрузки Adobe Flash Player на оф. сайте | Ссылки на загрузку без дополнений

ICQ – [ $ ] популярная программа для обмена мгновенными текстовыми сообщениями. | Оф.сайт ICQ

QIP – [ $ ] программа для обмена текстовыми сообщениями, а также с поддержкой голосовых и видео вызовов. Поддерживает множество протоколов (ICQ, Mail.ru Агент, Facebook, Twitter, ВКонтакте и другие).Описание, установка, урок по использованию программы | Оф.сайт QIP

Skype – [ $ ] программа для голосового общения, видеозвонков и передачи текстовых сообщений через Интернет. | Оф.сайт Skype

Download Master – [ $ ] удобная и надежная программа для скачивания файлов через Интернет. Позволяет докачивать файлы после обрыва соединения. | Оф.сайт Download Master

Dropbox (ДропБокс) – [ $ *] самый популярный сервис облачного хранения данных. | Реф. ссылка для перехода на оф.сайт Dropbox (при регистрации по этой ссылке +500 МБ)

Офисные программы:

Microsoft Office – [ $ ] самый распространенный пакет офисных приложений от компании Microsoft. | Оф.сайт Microsoft Office

OpenOffice.org – [ $ ] бесплатный программный пакет офисных приложений с широкими возможностями. | Оф.сайт OpenOffice.org

LibreOffice – [ $ ] бесплатный программный пакет офисных приложений — ответвление от OpenOffice.org. Один из самых популярных свободных офисных пакетов.| Оф.сайт LibreOffice

Acrobat Reader – [ $ ] программа для просмотра документов в формате PDF.| Оф.сайт Acrobat Reader

WinDjView – [ $ ] программа для просмотра документов в формате DjVu. | Оф.сайт WinDjView

STDU Viewer – [ $ *] универсальная программа для просмотра документов в различных видах форматов (PDF, DjVu, TXT, XPS, FB2 и т.д). | Оф.сайт STDU Viewer

Sumatra PDF – [ $ ] бесплатная программа для просмотра файлов PDF, DjVu, ePub, MOBI, XPS, CHM, CBZ и CBR. Имеется переносная (portable) версия программы. | Оф.сайт Sumatra PDF

Файловые менеджеры:

Total Commander – [ $ ] очень популярный диспетчер файлов с широкими возможностями. | Оф. сайт Total Commander | Загрузка последней версии Total Commander | Русский сайт о Total Commander

FreeCommander – [ $ ] популярный бесплатный файловый менеджер, одна из лучших альтернатив TotalCommander. | Оф. сайт FreeCommander

Утилиты:

Ashampoo® Burning Studio 6 – [ $ / $ ] удобная программа для записи оптических дисков (CD/DVD/BD), есть бесплатная версия. | Описание, установка (запланировано) | Оф.сайт Ashampoo Burning Studio | Бесплатная версия на оф.сайте

Punto Switcher – [ $ ] бесплатная программа, которая изменит раскладку клавиатуры на правильную, если вы забыли её сменить и начали набирать текст. Возможна смена раскладки автоматически или вручную. | Оф.сайт Punto Switcher

DAEMON Tools Lite – [ $ *] самая популярная бесплатная программа для работы с виртуальными CD/DVD-дисками. | Страница загрузки DAEMON Tools Lite на оф.сайте

Драйверы:

NVIDIA – [ $ ] драйверы для видеоадаптеров производства компании NVIDIA. | Загрузка драйверов NVIDIA с оф.сайта

AMD/ATI – [ $ ] драйверы для видеоадаптеров производства компании ATI. | Загрузка драйверов AMD/ATI с оф.сайта

Intel – [ $ ] драйверы для комплектующих производства компании Intel. | Загрузка драйверов Intel с оф.сайта

DirectX – [ $ ] специальный набор библиотек, необходимый для запуска игр и мультимедиа программ в операционной системе Windows. | Загрузка установщика DirectX с оф.сайта: полный пакет и веб-установщик

.NET Framework – [ $ ] специальная программная среда для выполнения других программ. Некоторые программы невозможно установить без .NET Framework. | Загрузка установщика .NET Framework с оф.сайта

Тестирование:

PC-Wizard – [ $ ] бесплатная программа для получения информации о конфигурации компьютера (описание комплектующих, описание и конфигурация операционной системы).Описание, установка | Урок по использованию программы | Оф.сайт PC-Wizard

CPU-Z – [ $ ] бесплатная программа, которая поможет определить характеристики центрального процессора, системной платы и оперативной памяти. | Оф.сайт CPU-Z

GPU-Z – [ $ ] эта бесплатная программа покажет подробную информацию о вашей видеокарте (графический процессор, тип и объем видеопамяти, частоты ядра и памяти, температуру, скорость кулера и многое другое). | Оф.сайт GPU-Z

Системы автоматической установки ПО:

Ninite — выбираете нужные бесплатные программы и получаете один инсталлятор, который установит всё ПО в фоне.Chocolatey — программа, которая следит за обновлениями ПО, принцип работы похож на репозитории Linux.

Дополнительно:

Поделитесь с друзьями:

it-uroki.ru

Надежность программного обеспечения

Содержание

Введение;

Обоснование проблемы;

Причины сложившейся ситуации;

Вероятностный подход к проблеме надежности;

Компьютерная программа как объект исследования;

Надежность и правильность программы;

Модель последовательности испытаний Бернулли;

Некоторые следствия;

Методы повышения надёжности программного обеспечения;

Заключение;

Библиография.

Введение

Программное обеспечение - согласно ГОСТ 19781-90 - совокупность программ системы обработки информации и программных документов, необходимых для их эксплуатации.

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

Компьютерные программы состоят из перечней команд, которые заставляют компьютер выполнять нужную работу. Компьютер должен получать исчерпывающие конкретные команды. Часто компьютерные программы имеют вид стенограммы.

Надежность программного обеспечения - способность программного продукта безотказно выполнять определенные функции при заданных условиях в течение заданного периода времени с достаточно большой вероятностью. Степень надежности характеризуется вероятностью работы программного продукта без отказа в течение определенного периода времени.

Так как со стороны клиента наблюдается устойчивый рост требований к таким характеристикам программных систем, как надежность и производительность, роль фазы системного тестирования приобретает критически важную роль для успеха проекта в целом. Хотя перед поставкой разработанной системы клиенту, она и проходит через несколько этапов тестирования согласно требованиям международной системы управления качеством всё равно недочёты в надёжности программного обеспечения возможны.

Надежность программного обеспечения гораздо важнее других его характеристик, например, времени исполнения, и хотя абсолютная надежность современного программного обеспечения, по-видимому, недостижима, до сих пор не существует общепринятой меры надежности компьютерных программ. В данном реферате анализируются причины создавшегося положения, и предлагается подход к решению проблемы.

Обоснование проблемы

Проблема надежности программного обеспечения относится, похоже, к категории "вечных". В посвященной ей монографии Г.Майерса ([1]), выпущенной в 1980 году (американское издание - в 1976), отмечается, что, хотя этот вопрос рассматривался еще на заре применения вычислительных машин, в 1952 году, он не потерял актуальности до настоящего времени. Отношение к проблеме довольно выразительно сформулировано в книге Р.Гласса ([2]): "Надежность программного обеспечения - беспризорное дитя вычислительной техники". Следует далее отметить, что сама проблема надежности программного обеспечения имеет, по крайней мере, два аспекта: обеспечение и оценка (измерение) надежности. Практически вся имеющаяся литература на эту тему, включая упомянутые выше монографии, посвящена первому аспекту, а вопрос оценки надежности компьютерных программ оказывается еще более "беспризорным". Вместе с тем очевидно, что надежность программы гораздо важнее таких традиционных ее характеристик, как время исполнения или требуемый объем оперативной памяти, однако никакой общепринятой количественной меры надежности программ до сих пор не существует.

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

Цель настоящего реферата - привлечь внимание к указанному вопросу и, по мере возможности, внести в него ясность.

Причины сложившейся ситуации

Судя по имеющимся публикациям, вопрос обеспечения надежности программ считается более важным, чем вопрос ее оценки. Ситуация выглядит парадоксальной: совершенно очевидно, что прежде, чем улучшать какую-то характеристику, следует научиться ее измерять, и уж, по крайней мере, необходимо иметь единицу измерения. Основная причина такого положения коренится в том, что источником ненадежности программ служат содержащиеся в них ошибки, и если ошибки отсутствуют, то программа абсолютно надежна. По существу, все меры по обеспечению надежности программ направлены на то, чтобы свести к минимуму (если не исключить вообще) ошибки при разработке и как можно раньше их выявить и устранить после изготовления программы. Следует заметить, что безошибочные программы, конечно же, существуют, однако современные программные системы слишком велики и почти неизбежно содержат ошибки. Хотя это обстоятельство отмечается многими авторами и известно любому программисту-практику, существует, по-видимому, некий психологический барьер, не позволяющий признать факт наличия ошибок в программном обеспечении неизбежной реальностью: поскольку не существует точного критерия, позволяющего определить максимальный размер свободной от ошибок программы, всегда остается надежда, что в данной конкретной программной системе их не осталось.

Имеется еще одно обстоятельство психологического характера. Как известно, вопрос надежности для аппаратуры хорошо разработан. Источником ненадежности аппаратуры служат объективные факторы, неподвластные человеку (скачки напряжения питания, альфа-частицы и т.д.), поэтому человечество давно смирилось с мыслью о том, что абсолютно надежной аппаратуры не бывает и можно говорить лишь о степени надежности, выражаемой в каких-то единицах (например, среднее время между двумя последовательными отказами). Источник же ненадежности программ ошибки, которые делают люди, их создающие и использующие, поэтому кажется, что проблема лишь в том, чтобы заставить (или научить) их работать "правильно".

Третья причина состоит в том, что проблему выбора единицы измерения надежности компьютерной программы невозможно решить в рамках промышленного подхода, который в настоящее время занимает в программировании все более доминирующее положение. Наиболее характерный пример - использование, по аналогии с аппаратурой, в качестве меры надежности программы среднего времени между двумя последовательными ошибочными срабатываниями. Рассуждения в обоснование аналогий такого рода В.Турский ([3]) довольно резко охарактеризовал как наукообразные; сама же характеристика плохо отражает суть дела и не получила широкого признания.

Метод аналогий, конечно, универсален, однако не следует забывать, что любая аналогия имеет границы применимости. В данном случае, поскольку речь идет о фундаментальном понятии (единице измерения), следует не просто переносить характеристики надежности аппаратуры на программы, а воспользоваться более фундаментальными аналогиями.

Вероятностный подход к проблеме надежности

Прежде всего полезно напомнить, откуда берутся характеристики надежности аппаратуры. Надежность, в конечном счете, - понятие статистическое, т.е. предполагается наличие некоторого (достаточно большого) количества одинаковых образцов, испытаний и т.д. Существенно также, что имеется элемент случайности. Изучению случайных явлений посвящен специальный раздел математики: теория вероятностей. Основное понятие этой теории - пространство элементарных событий (выборочное пространство, пространство исходов), на котором задается некоторая (вероятностная) мера. Случайная величина, согласно теории, есть функция, заданная на пространстве элементарных событий. Наконец, в качестве меры надежности используются некоторые характеристики случайной величины (как правило, математическое ожидание).

Таким образом, последовательный вероятностный подход при изучении надежности состоит в анализе исследуемого объекта (самолета, системы охраны, компьютерной программы и т.д.), построении, исходя из "физических" соображений о его природе, пространств элементарных событий, введении на них вероятностной меры и рассмотрении случайных величин.

К сожалению, первый этап исследований - анализ объекта и построение пространств элементарных событий - обычно опускают и сразу переходят к рассмотрению случайных величин, упуская из вида, что случайная величина есть на самом деле функция, заданная на пространстве элементарных событий.

Компьютерная программа как объект исследования

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

mirznanii.com

Надежное программирование — ПИЭ.Wiki

Материал из ПИЭ.Wiki

Стиль надежного программирования, по существу, впитал в себя все идеи модульного и структурного стилей, в то же время акцентируя внимание на некоторых специфических аспектах. Являясь преемником структурного подхода, надежное программирование ужесточает требования и регламенты, которые должны выполняться на всех этапах разработки.

Одной из концепций надежного стиля разработки является использование языков высокого уровня, не зависящих от реализации. Богатство и разнообразие средств языка высокого уровня позволяет кодировать программу разными способами. Специфика надежного программирования состоит в выборе таких способов программирования, которые повышают надежность программы. В понятие "надежность" входят две составляющие - корректность и устойчивость.

Понятия и средства надежного программирования

Надежность является частью более общего понятия - "качество". Качественная программа не только надежна, но и компактна, совместима с другими программами, эффективна, удобна в сопровождении и вполне понятна.

Создано множество технологических средств и методов, являющихся обязательными при разработке надежных программ. Укажем только некоторые из них.

  1. Надежный стиль программирования обеспечивается применением способов надежного программирования. Эти способы представляют собой совокупность приемов программирования. Каждый из них состоит в применении определенных языковых средств и композиций в конкретных ситуациях, алгоритмах, схемах вычислений и представлениях структур данных.
  2. Разработаны (и применяются в крупных программных продуктах) методы защиты от ошибок. Они позволяют создавать программы, работающие при наличии ошибок (ошибок пользователя, программной среды, сбоев аппаратуры). Их сущность сводится к следующему.
    • Ограничение последствий ошибки: программа строится так, чтобы ошибка не искажала ее работу вне того участка, где эта ошибка возникла.
    • Локализация ошибки: программа содержит процедуры для возобновления ее правильной работы после устранения ошибки.
    • Дуальное программирование: программа содержит избыточные ветви, позволяющие заменить хотя бы частично неверные ветви в момент возникновения ошибки.
  3. Большое внимание в надежном программировании уделяется вопросам тестирования программ. Отметим здесь лишь некоторые специальные программные инструментальные средства, которые рекомендуется применять при тестировании.
    • Генератор данных для тестирования, создающий тесты, удовлетворяющие заданным требованиям.
    • Диспетчер тестирования. При нисходящем методе разработки и тестирования программ частями такого диспетчера являются заглушки и модулей. При восходящем методе диспетчер тестирования разрабатывается как совокупность программ, каждая из которых тестирует один или несколько разрабатываемых модулей проекта.
    • Имитатор внешней среды (в противоположность диспетчеру тестирования) используется как средство тестирования программы в целом. Имитаторы, как правило, очень сложны. Они особенно полезны при разработке программ, работающих в реальном масштабе времени - проверяется взаимодействие с внешними устройствами (космическими аппаратами, самолетами, датчиками от производственных процессов). Разнообразие внешних воздействий и взаимодействие с внешней средой описывается с помощью сценариев имитации окружающей среды.

Требования к надежным программам

Понятие "надежность" имеет две составляющие: корректность и устойчивость. Корректность - свойство программы удовлетворять поставленным требованиям, т.е. получать результаты, точно соответствующие решению задачи и требованиям к ее интерфейсу. Устойчивость - способность программы отслеживать ошибки при вводе и вычислении данных и сообщать об этих ситуациях, вместо выдачи неправильных результатов.

Другими словами, надежная программа гарантирует правильность получаемых результатов и безотказность программы. Последнее означает, что программа должна быть такова, что ее исполнение на каждом из допустимых наборов исходных данных приводит к ожидаемым результатам ее выполнения, не должно возникать непредвиденных ситуаций, например переполнения, нехватка памяти, зацикливаний и т.д. При построении устойчивой (безотказной) программы возникают два вопроса:

  • как определить возможность и место возникновения непредвиденных ситуаций;
  • как построить программу, чтобы она не допускала возникновения таких ситуаций.

Ответ на первый вопрос заключается в том, что при создании программы нужно не просто программировать вычисления, а представлять, как они будут выполняться с разными значениями операндов. Очень важно тщательно протестировать программу для граничных значений аргументов операций. Отсюда следует, что один из важнейших принципов надежного программирования - определение (подтверждение) области допустимых значений данных на основе анализа и тестирования программы. Ответ на второй вопрос заключается в применении приемов надежного программирования. Вся совокупность таких приемов естественным образом разбивается на две группы:

  • как нужно представлять данные;
  • какие применять средства и способы обработки данных.

Программа, построенная с применением приемов надежного программирования, должна:

  1. сообщать пользователю об области допустимых значений исходных данных при формулировке задачи или при вводе данных;
  2. контролировать значения исходных данных при их вводе, сообщать о невозможности выполнения вычислений для недопустимых значений;
  3. обеспечивать для каждой из подобластей допустимых значений соответствующие ей вычисления, которые могут отличаться:
    • типами данных, участвующих в вычислениях;
    • алгоритмами, схемами вычислений.
  4. контролировать промежуточные результаты вычислений, прекращать вычисления или изменять их порядок при обнаружении недопустимых ситуаций.

Литература

  1. М.М. Бежанова, Л.А. Москвина. Практическое программирование. Приемы создания программ на языке Паскаль. М.: Научный Мир, 2000, 270 с. ISBN 5-89176-112-2

wiki.mvtom.ru

Программы - Рейтинг сайтов - uCoz TOP100

# Описание Хосты Хиты
1 Программы для создания музыки, VSTi инструменты, VST плагины, сэмплы, пресеты, акапеллы, ремикс паки, midi файлы, обучающее видео и др. 8138 63400
2 Скачать самые лучшие и популярные программы, музыка, mp3, игры БЕСПЛАТНО! 7627 11541
3 Лучшие бесплатные программы 6962 23947
4 Бесплатные программы для компьютера 3634 6358
5 На нашем сайте вы можете скачать OC и любые другие программы для вышего компьютера, совершенно бесплатно, через торрент, на большой скорости! 3113 6808
6 Активатор Windows 2305 10717
7 HP (Hack-Port) - Форум об играх и читах, хак разделы, бруты и чекеры, способы заработка и раздачи баз 2240 133560
8 Всё для Windows 7 1994 4877
9 Android Tehno - лучшее для твоего телефона! 1843 11485
10 Psx-Core.ru - Софт,программы,прошивки,руководства пользователя и многое другое для всех моделей PlayStation ! 1648 16300
11 Портативные программы, свежий софт, игры, онлайн радио 1559 8454
12 Только 100% бесплный и рабочий софт 1553 2166
13 Всегда свежие программы для компьютера и многое другое 1515 3858
14 Прошивка Samsung Xerox от Лутова 1429 2673
15 Программы для вашего ПК скачать бесплатно 1352 2062
16 На сайте skatay.com можно скачать бесплатно игры, музыку, фильмы, софт и еще много чего нужного и интересного. 1227 6985
17 Скачать программы бесплатно без регистрации 1131 1731
18 WinProgs — программы, ключи, активации, keygen, crack. Русские программы для Windows. 1016 1410
19 Этот сайт посвящен помощи в установки ОС Windows XP с помощью внешних накопителей,флешек и карт памяти. И выборе софта. 844 1313
20 Программа бесплатно . РУ 729 1524
21 Бесплатные Программы и Приложения для Андроид. 676 2095
22 Dental Simple Service - компьютерная программа, призванная максимально облегчить рутинную работу врача - стоматолога 648 4501
23 PROGXAKER СLUB 636 2328
24 Бесплатные программы 618 1629
25 зеркало официальных сайтов, разрабатывающих бесплатные программы, дает Вам возможность бесплатно скачать программы с одного ресурса 545 1206
26 Сдача отчетности бесплатно по интернету 500 2004
27 На сайте собраны прошивки для mp3 плееров,планшетов,телефонов,читалок и др техники. 499 1127
28 Корпорация EnerSoft - ОС, софт, музыка, фильмы, картинки, crack, warez 433 944
29 Программы, Soft, Видеоуроки, Графика и Дизайн,Видеоуроки по Ucoz и не только, Всё бесплатно, скачать бесплатно 410 787
30 Ключи для НОД 32 свежие на 2016 бесплатно на год 389 1451
31 Портал SzenProgs 378 1375
32 ФайлоДром - Большой каталог файлов для дома, офиса и развлечений. Скачивайте бесплатно! 366 11928
33 Оригинальные образы дисков Windows 7 и Windows XP SP3, раздача Gold ключей на файлообменники, программы, фильмы, музыка. 341 2846
34 tc-image.3dn.ru 331 1408
35 Samsung Smart TV - Виджеты и программы для Smart TV 326 1340
36 WINSOFT - лучшие сборки Windows 304 1051
37 Лучший портал бесплатного софта, музыки, фильмов, книг позволяющий скачивать все одним файлом вместо кучи разных частей 296 2730
38 Каталог бесплатных программ - Скачать бесплатные программы - ZAV Soft 288 1287
39 Программы и как ими пользоваться — NETTab 284 470
40 Отписок-Нет - всё для монтажа видео 280 2078
41 ShosSoft - Скачать бесплатно софт, музыка, фильмы, обои, прошивки без регистрации! 278 1405
42 Программы,фильмы,музыку,игры скачать бесплатно с G-софт 277 1057
43 Статьи по аппаратному и программному обеспечению, новости информационных технологий. 275 1761
44 Софт 268 1345
45 Программы для Windows, ключи активации, crack, keygen. 267 380
46 Все программы, которые нужны на каждом помпьютере без исключения. 248 823
47 Новости Software 245 627
48 Подсистема "Инструменты разработчика" для платформы 1С 8 244 911
49 RUSSOFT. Программы бесплатно на русском 243 398
50 FLProg 240 1019

top.ucoz.ru

Надежная программа - Большая Энциклопедия Нефти и Газа, статья, страница 1

Надежная программа

Cтраница 1

Надежная программа прежде всего должна обеспечивать низкую вероятность отказа в процессе реального функционирования. Быстрое реагирование на искажения программ, данных или вычислительного процесса и восстановление работоспособности за время меньшее, чем порог между сбоем и отказом, позволяют обеспечить высокую надежность программы. При этом неправильная программа может функционировать в принципе абсолютно надежно. Действительно, если при каждом появлении реальных исходных данных ( 3 на рис. 4.9), попадающих в области II и IV и стимулирующих неправильные результаты, они не приводят к событиям, соответствующим отказу, то такая программа функционирует безотказно и надежно, хотя и не всегда правильно.  [1]

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

Наименее надежные программы, например неапробированные про - граммы пользователя, работают на четвертом, самом низком уровне привилегированности.  [3]

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

Язык должен способствовать написанию надежных программ и упрощать их сопровождение. Поэтому надежности программ отдается предпочтение даже по сравнению с легкостью их написания. Например, требование описывать все переменные - это явная избыточность в программе, которая, однако, повышает надежность программы. В связи с этим представляет интерес, насколько язык программирования Паскаль удовлетворяет этому требованию.  [5]

Поэтому анализ вопроса о размере затрат на разработку надежных программ представляет большой интерес.  [6]

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

Насколько та или иная реализация транслятора с некоторого языка программирования способствует созданию надежных программ.  [8]

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

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

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

Химик и химик-спектроскопист имеют в своем распоряжении различные системы поиска стандартных спектров в памяти вычислительной машины [ 1, б - г, 2 ]; недавно появилось сообщение [3] о надежной программе автоматического поиска стандартных ИК-спектров.  [13]

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

Для получения содержимого текстовых элементов списка класс CListBox предусматривает целый набор функций. Во-первых, для надежных программ, которые не полагаются на предположение о длине запрашиваемых данных, существует функция GetTextLen, которая возвращает длину строкового элемента в байтах, исключая завершающий нуль-символ. Во-вторых, для получения собственно текста следует использовать функцию GetText, предоставляющую буфер для копирования в него символов.  [15]

Страницы:      1    2    3

www.ngpedia.ru