укррусen
Розділи сайту
Програмні системи

У даному розділі представлена література на мові оригіналу, яка використовується у навчальному процесі ОНПУ.

Технико-экономическое обоснование проектов сложных программных средств

 

 

УДК 681.324.067
ББК 32.988 Л61

Липаев В.В.
Л61  

Технико-экономическое обоснование проектов сложных программных средств. - М.: СИНТЕГ, 2004. - 284 с. (Серия «Управление качеством»).

ISВN 5-89638-082-8

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

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

ББК 32.988

ISВN 5-89638-082-8

 

Функциональная безопасность программных средств

 

 

 

УДК 681.324.067
ББК 32.988 Л61
Липаев В.В.
Л61  

Функциональная безопасность программных средств.

- М: СИНТЕГ, 2004. - 348 с. (Серия «Управление качеством»).

ISBN 5-89638-070-4

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

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

ББК 32.988

ISВN 5-89638-070-4