Читать онлайн «Руководство по надежному программированию»

Software Reliabiltty GUldebook Robert L. Glass Соmрutiпg Specia)fst BoeJ1Jg Aerospace Со. РrепtJсе-НаJJ, 'nc. . Englewood с Bffs , New Jersey 07632   [Jffi] РукО8ОДСТ80 по нед_ЖНОМУ проrpaммиpol8НИIO Пере. од с анrllиАскоrо ю. П. КОНДРАНИНА, В. М. РА6ИНОВИЧА Под редакцие" В. М. РАБИНОВИЧА ПреДИСIIОlие В. В. ЛИПАЕВА МОСКВА (сФинаНСItI И статистика» 1982  ББ{ 2. 7 rS2 Р. r. '1ACC Р)'КО80ДСТ80 по НАДЕЖНОМ)' проrРАММИРО8АНИЮ Рецензент и. В. СаФонов Зав. редаКl(иеii А. В. l1авАюкоtl РеА&КТОР Н. /(. . :70еинова Мл. реД8КТСР о. А. Ер. ииАина Техн. редак'! ор 11. В. З"вородНR. ' Корректоры J'. А. Башарина, Е. д. КJlэне. . оsа Худож. редактор о. Н. ЛОАеНО8fJ lIt'рпле'r художник,=- ю. и. Артюхова ИВ N9 1144 Сдано в набор 11. 06. 82. Подписано в ПЕ>чать 2t. 09. 82. Формат 84XI08 1 /S!. Бум. тип. Н, 2. rарнитура «Литературная». Печать высокая. п. л. 8,0. Усл. п. л. 13,44. Уч. -изд. л. 14,1. Тираж 25000 зкз. Заказ 281. ЦeHёt 1 р. Издательство «Финансы и стаТИСТJlка». Москва. ул. Чернышевскоrо, i. Типоrрафия им. I(отлякова издательства «Финансы и статистика» rocYAap- CT8eHHOfo комитета СССР по делам II iAaтельст. . полиrpафии и киижной торrО8ЛII. 191023. Ленинrрад. Д-2З, Садовая. 21. rnacc Р. rS2 Руководство по надежноrу проrраАfМИрОВЗНИЮ/ Пер. с aHr. . '1. ю. п. Кондранина, В. М. Рабиновича; Под ред. В. М. РаБИНОВИ\Jа. Предисл. В. В. Липае- Ва.  1\'\. : Финансы и статистика. 1982... ... . 256 с. , ил. В пер. : 1 р. Кииrа представляет собой системаТИЗllрованныR обзnr те"\ноло- rическнх и орrаннзацяонных r. feToдooB обеспечения надежкости IIРО- rpaMMHWx средств на всех стадиях функциоиироваНIIЯ ЦllКJlа С. . 1JОЖ- ны" систем разлнчноrо назначении. Анализируется комп. лекс задач. решение которых иеоБХОАНМО для обесnечення надежности в це. ,10М. рассматриваются достоинства и недостатки Jfзвестиых методов. даlOТС" рекомендации по их nрнмекеиию. Для работннков инженерноro профиля и студентов. rласса «РУI\ОВОДСТВО по наде)кному про- rраМ!vlированию» является ориrина. ,lЬНЫI анаJIlIтичеСI"ИМ обзором современных Iетодов н средств обеспече- ния надежности проrрамм. Эта книrа МО)l{ет рассматри- ваться как fетодическое и справочное пособие по 1eTO- Дам разработки сложных KOMIIJ1eKcoB проrраi\t1 8bIcOKoro качества. В ней обобщены основные концеПIJJIИ техноло- rии и средств создания надежноrо проrраМ},lноrо обеспе- чения. ДОtИНlIрует практический подход '{ оценке J\. leTO- дов с позиции эффективности их использования при разработке С,,'Iожных ПрОI'раl\lIНЫХ ко{плеI<СОВ. Четко выделены особенности создания пос. педних большими КО. П. 1еl:тива1И специа,истов. Показаны раз,,'1ИЧИЯ в раз- работке этих КОl\IП. ТIексоВ и небоТIЬШИХ простых nporpaMM индивидуальноrо пользования.