О надёжности программ...
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)

миниатюрный аудио-видеорекордер mAVR

Отправлено Доктор ТуамОсес 09 декабря 2005 г. 13:39

" В соответствии с ГОСТ 19.201, под надёжностью программы понимается качественная характеристика (наличие обеспечения надёжного функционирования). Соответственно, расчёт надёжности к программному обеспечению неприменим. "
" Надежность программного обеспечения гораздо важнее других его характеристик, например, времени исполнения... "
" "Надежность программного обеспечения - беспризорное дитя вычислительной техники" "
" Еще Дейкстра в своей знаменитой работе [4] показал, что даже программу средней сложности за разумное время протестировать полностью невозможно. И в среде опытных разработчиков программного обеспечения бытовало расхожее мнение, что: "программ без ошибок не бывает". И только малоквалифицированные программисты могут утверждать обратное. "
"...Билл Гейтс еще в середине января объявил задачей номер один для всех своих программистов (а их сейчас ни много ни мало 7 тыс. человек) обеспечение безопасности и надежности создаваемого программного обеспечения..."
" Надежность программного обеспечения - способность программного продукта безотказно выполнять определенные функции при заданных условиях в течение заданного периода времени с достаточно большой вероятностью. "
" Что такое надёжность? Согласно известному определению, надёжность есть вероятность того, что при функционировании системы в течение некоторого периода времени не будет обнаружено ни единой ошибки. Основной недостаток такого определения - это то, что в нем не учтено различие между ошибками разных типов. Например, рассмотрим авиационную диспетчерскую систему с двумя ошибками в программном обеспечении: из-за одной теряется след самолёта, а другая состоит в том, что в сообщении оператору неправильно печатается одно слово (например, ТРАНСАТТЛАНТИЧЕСКИЙ вместо ТРАНСАТЛАНТИЧЕСКИЙ). По своим последствиям эти ошибки далеко не одинаковы, поэтому надёжность должна быть определена как функция не только частоты ошибок, но и их серьёзности.... "
" Сложность системы является одной из главных причин низкой надежности программного обеспечения. В общем случае, сложность объекта является функцией взаимодействия (количества связей) между его компонентами "

Список литературы:
" IEC 61713(2000) Название (рус.): Функциональная надежность программного обеспечения в процессе жизненного цикла программного обеспечения. Руководство по применению
Дата введения: 01.06.00"
"Таейр, Т.; Липов, М.; Нельсое, .. Надежность программного обеспечения."
"Липаев В.В. Надежность программного обеспечения АСУ. М.: Энергоиздат, 1981"
"Липаев В.В. Надежность программных средств. М., 1998. "
"Кабак И.С., Либов Л.Я. Иммитационное моделирование надежности программного обеспечения. Сб. “Труды НИАТ”, НИАТ, 1990 "
"Г.Майерс: Надежность программного обеспечения"
"Лонгоботтом Р. Надежность вычислительных систем. М.: Энергоатомиздат, 1985"
"Пальчун Б.П., Юсупов Р.М. Оценка надежности программного обеспечения. Л.: Наука, 1994"
"Шураков В.В. Надежность программного обеспечения систем обработки данных. М.: Статистика, 1981"
"Шураков В.В. Надежность программного обеспечения систем обработкии данных:Учеб.-2-е изд., пеpеpаб. и доп.-М.:Финансы и статистика,1987.-272 с.:ил."
"Гласс Р. Руководство по надежному программированию. М.: Финансы и статистика, 1983"
"Майерс Г.Д. Искусство тестирования программ. М.: Финансы и статистика, 1982"
"Самойленко А.П., Котеленко С.А. Надежность программных средств ИВК. - Таганрог: ТРТУ, 1993."
"В.А. Гуляев, Ю.М. Коростиль. Анализ и исследование методов оценки и увеличения надежности программ. Киев ИПМЭ 1990"

Составить ответ  |||  Конференция  |||  Архив

Ответы



Rambler's Top100 Рейтинг@Mail.ru
Перейти к списку ответов  |||  Конференция  |||  Архив  |||  Главная страница  |||  Содержание

E-mail: info@telesys.ru