Приложения
23.ISO 25000:2005. ТО. Руководство для применения новой серии стандартов по качеству программных средств на базе обобщения стандар тов ISO 9126:1-4:2002 и ISO 14598:1-6:1998-2000.
24.ISO 15939:2002. Процесс измерения программных средств.
25.IEC 61508:1-6:1998-2000. Функциональная безопасность элект рических/электронных и программируемых электронных систем. Ч. 3. Тре бования к программному обеспечению. Ч. 6. Руководство по применению стандартов IEC 61508-2 и IEC 61508-3.
26.ISO 15408-1-3.1999. (ГОСТ Р—2002). Методы и средства обеспе чения безопасности. Критерии оценки безопасности информационных тех нологий. Ч. 1. Введение и общая модель. Ч. 2. Защита функциональных требований. Ч. 3. Защита требований к качеству.
27.ISO 13335-1-5.1996-1998. ИТ. ТО. Руководство по управлению безопасностью. Ч. 1. Концепция и модели обеспечения безопасности ин формационных технологий. Ч. 2. Планирование и управление безопаснос тью информационных технологий. Ч. 3. Техника управления безопаснос тью ИТ. Ч. 4. Селекция (выбор) средств обеспечения безопасности. Ч. 5. Безопасность внешних связей.
28.ISO 10181:1-7.ВОС.1996-1998. Структура работ по безопасности
воткрытых системах. Ч. 1. Обзор. Ч. 2. Структура работ по аутентифика ции. Ч. 3. Структура работ по управлению доступом. Ч. 4. Структура работ по безотказности. Ч. 5. Структура работ по конфиденциальности. Ч. 6. Структура работ по обеспечению целостности. Ч. 7. Структура работ по проведению аудита на безопасность.
29.ISO 14252:1996 (IEEE 1003.0). Руководство по функциональной среде открытых систем POSIX.
30.ISO 9945:1-4:2003. ИТ. Интерфейсы переносимых операционных систем. Ч. 1. Базовые определения. Ч. 2. Системные интерфейсы. Ч. 3. Команды управления и сервисные программы. Ч. 4. Обоснование.
31.ISO 13210:1994. ИТ. Методы тестирования для измерения соот ветствия стандартам POSIX.
32.ISO 14756:1999. ИТ. Измерение и оценивание производительнос ти программных средств компьютерных вычислительных систем.
33.ISO 12119:1994. (ГОСТ Р—2000). ИТ. Требования к качеству и тестирование.
Приложение 1. Перечень основных стандартов программной инженерии
34.ANSI/IEEE 829-1983. Документация при тестировании программ.
35.ANSI/IEEE 1008-1986. Тестирование программных модулей и компонентов ПС.
36.ANSI/IEEE 1012-1986. Планирование верификации и подтверж дения достоверности качества (валидации) программных средств.
37.ISO 14764:1999. (ГОСТ Р—2002). ИТ. Сопровождение программ ных средств.
38.ISO 15846:1998. ТО. Процессы жизненного цикла программных средств. Конфигурационное управление программными средствами.
39.ISO 16085:2004. Характеристики процессов управление рисками при разработке, применении и сопровождении программных средств.
40.ISO 6592:2000. ОН. Руководство по документации для вычисли тельных систем.
41.ISO 9294:1990. (ГОСТ—1993). ТО. ИТ. Руководство по управле нию документированием программного обеспечения.
42.ISO 9127:1990. (ГОСТ—1993). ТО. ИТ. Руководство по управле нию документированием программного обеспечения.
43.ISO 15910:1999. (ГОСТ Р—2002). ИТ. Пользовательская доку ментация программных средств.
44.ISO 18019:2004. ИТ. Руководство по разработке пользовательс кой документации на прикладные программные средства для офисов, биз неса и профессиональных применений.
45.ISO 6592:2000. ОИ. Руководство по документации для вычисли тельных систем.
46.ISO 9294:1990. (ГОСТ—1993). ТО. ИТ. Руководство по управле нию документированием программного обеспечения.
47.РД 50-34.698-90. Методические указания. Информационная тех нология. Автоматизированные системы. Требования к содержанию доку ментов.
48.ГОСТ Р 51901-2002. Управление надежностью. Анализ риска технологических систем.
49.DO-178 В -1995. Соглашение по сертификации бортовых систем и оборудования в части программного обеспечения.
50.ISO 14102:1995. Оценка и выбор CASE-средств.
51.ISO 14471:1995. Руководство по адаптации CASE-средств.
Приложения
52.ISO 14143: 1-5: 1998-2004. ИТ. Измерение программных средств. Измерение функционального размера. Ч. 1. 1998. Определение концепции.
Ч.2. 2002. Оценивание соответствия методов измерения размера про граммных средств стандарту ISO 14143:1:1998. Ч. 3. 2003. Верификация методов измерения функционального размера. Ч. 4. 2002. Эталонная мо дель. Ч. 5. 2004. Определение функциональных доменов для использова ния при измерении функционального размера.
53.ISO 20926:2003. Руководство по практическому методу измере ния функционального размера программных средств.
54.ISO 20968:2002. Руководство по расчетам на основе анализа функ циональных точек — Марк П.
Приложение 2
ТЕМЫ СЕМИНАРСКИХ ЗАНЯТИЙ ПО КУРСУ «ПРОГРАММНАЯ ИНЖЕНЕРИЯ»
Семинар 1. Разработка состава и содержания документов системного проекта сложного комплекса программ.
Семинар 2. Разработка спецификации требований к проекту сложно го комплекса программ.
Семинар 3. Разработка требований к характеристикам качества про екта сложного комплекса программ.
Семинар 4. Анализ и сравнение требований к характеристикам каче ства трех типов программных средств.
Семинар 5. Разработка документов технико-экономического обосно вания проекта сложного программного средства на базе экспертных оце нок модели СОСОМО.
Семинар 6. Разработка проекта контракта с заказчиком на обеспече ние жизненного цикла сложного комплекса программ.
Семинар 7. Разработка группы планов обеспечения жизненного цик ла и распределения ресурсов проекта сложного комплекса программ.
Семинар 8. Анализ и оценка рисков при разработке сложного комп лекса программ.
Семинар 9. Анализ и оценивание корректности программ по покры тию тестами их структуры.
Семинар 10. Разработка комплекта документов и структуры базы данных для управления конфигурацией проекта комплекса программ.
Семинар 11. Подготовка проекта комплекта эксплуатационных доку ментов для конкретного, сложного программного продукта на основе стан дартизированных шаблонов.
приложения
Семинар 12. Анализ и выбор инструментальных средств для обеспе чения жизненного цикла сложного комплекса программ.
Примечание. Руководителю семинаров рекомендуется выбирать тип и ос новные характеристики анализируемого комплекса программ на базе личных про фессиональных интересов, сферы деятельности и опыта соответствующих разра боток.
ЛИТЕРАТУРА
1. Боэм Б.У. Инженерное проектирование программного обеспече ния. Пер. с англ. / Под ред. А.А. Красилова. — М.: Радио и связь, 1985.
2.Брауде Э. Технология разработки программного обеспечения. Пер.
сангл. — СПб.: Питер, 2004.
3.Вигерс К.И. Разработка требований к программному обеспечению. Пер. с англ. — М.: Русская редакция, 2004.
4.Гецци К., Джазайери М., Мандриоли Д. Основы инженерии про граммного обеспечения. Пер. с англ. — СПб.: БХВ-Петербург, 2005.
5.Леффингуэлл Д., Уидриг Д. Принципы работы с требованиями к программному обеспечению. Унифицированный подход. Пер. с англ. — М.: Вильяме, 2002.
6.Липаев В.В. Отладка сложных программ. — М.: Энергоатомиздат,
1993.
7.Липаев В.В. Системное проектирование сложных программных средств для информационных систем. Изд. второе, переработанное и до полненное. —М.: СИНТЕГ, 2002.
8.Липаев В.В. Методы обеспечение качества крупномасштабных про граммных средств. — М.: РФФИ; СИНТЕГ, 2003.
9.Липаев В.В. Технико-экономическое обоснование проектов слож ных программных средств. — М.: СИНТЕГ, 2004.
10.Липаев В.В. Функциональная безопасность программных средств. — М.: СИНТЕГ, 2004.
11.Липаев В.В. Анализ и сокращение рисков проектов сложных про граммных средств. — М.: СИНТЕГ, 2004.
12.Липаев В.В. Документирование сложных программных средств. — М.: СИНТЕГ, 2005.
13.Соммервилл И. Инженерия программного обеспечения. Пер. с англ. — М.: Вильяме, 2002.
Литература
14.Тэллес М., Хсих Ю. Наука отладки. — М.: Кудиц-образ, 2003.
15.Уайт Б.А. Управление конфигурацией программных средств. Прак тическое руководство по Rational ClearCase. Пер. с англ. — М.: ДМК Пресс, 2002.
16.Фаулер М., Скотт К. UML в кратком изложении. Пер. с англ. — М.:Мир, 1999.
17.Фатрелл Р. Т., Шафер Д. Ф., Шафер Л. И. Управление программ ными проектами: достижение оптимального качества при минимальных затратах. Пер. с англ. —М.: Вильяме, 2003.
18.Якобсон А., Буч Г., Рамбо Дж. Унифицированный процесс разра ботки программного обеспечения. Пер. с англ. — СПб.: Питер, 2002.
19.Boehm B.W. et al. Software cost estimation with COCOMO II. Prentice Hall PTR. New Jersey, 2000.
20.Encyclopedia of Software Engineering. Vol.1 A-N; Vol.2 0-Z. Editor — In — Chief John J. Marciniak. John Wiley & Sons. Inc. 2001.
Липаев, В.В. Программная инженерия. Методологические основы [Текст] : Учеб. / В. В. Липаев ; Гос. ун-т — Высшая школа экономики. — М. : ТЕИС, 2006. — 608 с. — 1000 экз. — ISBN 5-7598-0424-3 (в пер.).
Учебник содержит курс лекций, отражающий методологические основы со временной программной инженерии, обеспечивающей жизненный цикл (ЖЦ) слож ных программных средств (ПС). Представлены профили международных стандар тов ЖЦ систем и комплексов программ, регламентирующие в программной инже нерии модели и процессы управления проектами ПС. Значительное внимание уделено системному анализу и технико-экономическому обоснованию проектов крупных ПС. Ряд лекций посвящен разработке требований, планированию, структурному и объектно-ориентированному проектированию ПС. Рассмотрены процессы управле ния ресурсами проектов ПС, дефекты, ошибки и риски в ЖЦ сложных комплексов программ. Представлены стандартизированные характеристики качества программ ных средств и проанализированы методы их выбора в проектах ПС. Детально изло жены методы и процессы верификации, тестирования и оценивания корректности программных компонентов, а также их интеграции, квалификационного тестирова ния и испытаний крупных комплексов программ. В лекциях подробно отражены процессы сопровождения, мониторинга и управления конфигурацией в жизненном цикле ПС. Завершают курс лекций методы и процессы документирования, удосто верения качества и сертификации программных продуктов.
Учебник целесообразно использовать при обучении студентов старших кур сов, аспирантов и менеджеров проектов и создании сложных комплексов программ на всем их жизненном цикле (64 часа лекций и 32 часа семинарских занятий). Курс лекций ориентирован также на заказчиков, менеджеров крупных проектов, анали тиков и ведущих специалистов, обеспечивающих все этапы ЖЦ сложных программ ных средств и систем, к которым предъявляются высокие требования к качеству функционирования и ограничены доступные ресурсы разработки.
УДК 004.41(075.8) ББК 32.973.26-018я73
Учебник
В.В. Липаев
ПРОГРАММНАЯ ИНЖЕНЕРИЯ
Методологические основы
Редактор Т.П. Рындак Корректор Т.В. Кочемасова
Художественный редактор И.В. Смирнова Компьютерная верстка А.В. Плотников
Подписано в печать 1.12.2006. Формат 60 х 88 1/16. Усл. печ. л. 24,03. Печ. л. 38
Тираж 1 000 экз. Заказ 4873
Издательство «ТЕИС» 115407, Москва, Судостроительная ул., 59
ППП типография «Наука» 121099, Москва, Шубинский пер., 6
