Липаев В.В. Сертификация программных средств. Учебник

Подождите немного. Документ загружается.

Приложение.

Международные и государственные

стандарты...

331

Приложение

МЕЖДУНАРОДНЫЕ И ГОСУДАРСТВЕННЫЕ

СТАНДАРТЫ, РЕГЛАМЕНТИРУЮЩИЕ

ТРЕБОВАНИЯ, ЖИЗНЕННЫЙ ЦИКЛ, ИСПЫТАНИЯ И

СЕРТИФИКАЦИЮ КОМПЛЕКСОВ ПРОГРАММ

CMMI - Capability Maturity Model Integration for Product and

Process Development - Интегрированная модель оценивания зре-

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

ISO 15288:2002. Системная инженерия. Процессы жизненного

цикла систем.

ISO 19760:2003. - Системная инженерия. Руководство по приме-

нению стандарта ISO 15288.

ISO 12207:1995. (ГОСТ Р - 1999). ИТ. Процессы жизненного

цикла программных средств.

ISO 12207:1995. - ИТ. Процессы жизненного цикла программных

средств. Изменения 1 и 2:2002-2004.

6. ISO 15271:1998. (ГОСТ Р - 2002). ИТ. Руководство по примене-

нию ISO 12207.

ISO 16326:1999. (ГОСТ Р - 2002). ИТ. Руководство по примене-

нию ISO 12207 при административном управлении проектами.

8. ISO 15504:1-5:2003-2006. ИТ. Процесс аттестации. 4.1. Концеп-

ция и словарь. Ч. 2. Выполнение аттестации. Ч. 3. Руководство по

производству аттестации. Ч. 4. Руководство пользователей для

процессов усовершенствования и определения зрелости процес-

сов.

Ч. 5. Образец модели процессов аттестации.

9. ГОСТ Р 51904 - 2002. Программное обеспечение встроенных сис-

тем. Общие требования к разработке и документированию.

10.

ISO

9000:2000. (ГОСТ Р - 2001). Система менеджмента (админи-

стративного управления) качества. Основы и словарь.

11.ISO

9001:2000. (ГОСТ Р - 2001 ). Система менеджмента (админи-

стративного управления) качества. Требования.

12.

ISO 9004:2000. (ГОСТ Р - 2001). Система менеджмента (админи-

стративного управления) качества. Руководство по улучшению

деятельности.

332

В. В.

Липаев.

Сертификация программных

средств

13.

ISO 90003:2004 - Руководство по применению стандарта ISO

9001:2000 к программным средствам.

14.

ГОСТ Р 40.003:2005 - Порядок сертификации систем менеджмен-

та качества на соответствие ГОСТ Р ИСО 9001 - 2001.

15.

Система сертификации ГОСТ Р. Временный порядок сертифи-

кации производств с учетом требований ГОСТ Р ИСО 9001 -

2001.

16.

Руководящие указания по аудиту систем менеджмента качества

ГОСТ Р ИСО 19011:2003.

17.

ISO 10005: 2005. (ГОСТ Р - 2007). Менеджмент организации (Ад-

министративное управление качеством). Руководящие указания по

планированию качества.

18.

ISO 10006: 1997. (ГОСТ). Руководство по качеству при управле-

нии проектом.

19.

ISO 10007: 2007. (ГОСТ Р - 2007). Административное управление

качеством. Руководящие указания при управлении конфигураци-

ей.

20.

ISO 10013: 2001. (ГОСТ Р - 2007). Менеджмент организации (Ад-

министративное управление качество). Руководство по докумен-

тированию систем менеджмента качества.

21.ISO 12182:1998. (ГОСТ Р- 2002). ИТ. Классификация программ-

ных средств.

22.

ISO 9126:1991. (ГОСТ - 1993). ИТ. Оценка программного продук-

та. Характеристики качества и руководство по их применению.

23.

ISO 9126-1-4: 2002. ИТ. ТО. Качество программных средств: 4.1.

Модель качества. 4.2. Внешние метрики. Ч. 3. Внутренние метри-

ки.

Ч. 4. Метрики качества в использовании.

24.

ISO 14598-1-6:1998-2000. Оценивание программного продукта.

4.1.

Общий обзор. 4.2. Планирование и управление. Ч. 3. Процес-

сы для разработчиков. 4.4. Процессы для покупателей. 4.5. Про-

цессы для оценщиков. 4.6. Документирование и оценивание моду-

лей.

25.ISO 25000:2005 ТО. - Руководство для применения новой серии

стандартов по качеству программных средств на базе обобщения

стандартов ISO 9126:1-4: 2002 и ISO 14598:1-6:1998-2000.

26.

ISO 15939: 2002 - Процесс измерения программных средств.

27.IEC 61508:1-6: 1998-2000. Функциональная безопасность элек-

трических / электронных и программируемых электронных сие-

Приложение.

Международные и государственные

стандарты..,

333

тем. Часть 3. Требования к программному обеспечению. Часть 6.

Руководство по применению стандартов IEC 61508-2 и IEC

61508-3.

28.

ISO

15408 -1-3.1999. (ГОСТ Р - 2002). Методы и средства обеспе-

чения безопасности. Критерии оценки безопасности информаци-

онных технологий. 4.1. Введение и общая модель. Ч. 2. Защита

функциональных требований. Ч. 3. Защита требований к качеству.

29.

ISO

13335 - 1-5. 1996-1998. ИТ. ТО. Руководство по управлению

безопасностью. 4.1. Концепция и модели обеспечения безопасно-

сти информационных технологий. 4.2. Планирование и управле-

ние безопасностью информационных технологий. Ч.З. Техника

управления безопасностью ИТ. 4.4. Селекция (выбор) средств

обеспечения безопасности. 4.5. Безопасность внешних связей.

30.

ISO

10181:1-7. ВОС. 1996-1998. Структура работ по безопасности

в открытых системах. 4.1. Обзор. 4.2. Структура работ по аутен-

тификации. 4.3. Структура работ по управлению доступом. 4.4.

Структура работ по безотказности. 4.5. Структура работ по кон-

фиденциальности. 4.6. Структура работ по обеспечению целост-

ности. 4.7. Структура работ по проведению аудита на безопас-

ность.

31.

ISO 14252:1996 (IEEE 1003.0). Руководство по функциональной

среде открытых систем POSIX.

32.

ISO 9945:1-4:2003 - ИТ. Интерфейсы переносимых операционных

систем. 4.1. Базовые определения. 4.2. Системные интерфейсы.

4.3.

Команды управления и сервисные программы. 4. 4. Обосно-

вание.

33.

ISO

13210:1994. ИТ. Методы тестирования для измерения соот-

ветствия стандартам POSIX.

34.

ISO

14756: 1999. ИТ. Измерение и оценивание производительно-

сти программных средств компьютерных вычислительных систем.

35.ISO 12119:1994. (ГОСТ Р - 2000 г). ИТ. Требования к качеству и

тестирование.

36.

ISO

14764: 1999. (ГОСТ Р - 2002). ИТ. Сопровождение программ-

ных средств.

37.

ISO

15846:1998. ТО. Процессы жизненного цикла программных

средств. Конфигурационное управление программными средства-

ми.

334

В. В.

Липаев.

Сертификация программных

средств

38.ISO 16085: 2004 - Характеристики процессов управление рисками

при разработке, применении и сопровождении программных сред-

ств.

39.

ISO 6592:2000 ОИ. - Руководство по документации для вычисли-

тельных систем.

40.

ISO 9294:1990 (ГОСТ-1993). ТО. ИТ. Руководство по управлению

документированием программного обеспечения.

41.

ISO 9127:1990 (ГОСТ-1993). ТО. ИТ. Руководство по управлению

документированием программного обеспечения.

42.

ISO 15910:1999 (ГОСТ Р - 2002) ИТ. Пользовательская докумен-

тация программных средств.

43.

ISO 18019:2004 ИТ. Руководство по разработке пользовательской

документации на прикладные программные средства для офисов,

бизнеса и профессиональных применений.

44.

ГОСТ Р 51901-2002. Управление надежностью. Анализ риска

технологических систем.

45.DO-178 В -1995. Соглашение по сертификации бортовых систем и

оборудования в части программного обеспечения.

Литература

335

Основная литература

Липаев В.В. Программная инженерия. Методологические ос-

новы. Учебник. - М.: ТЕИС. 2006.

Крайер Э. Успешная сертификация на соответствие нормам

ИСО серии 9000. Пер. с нем. - М.: ИЗДАТ. 1999.

Липаев В.В. Методы обеспечения качества крупномасштаб-

ных программных средств. - М: СИНТЕГ.

2003.

Фатрелл Р. Т., Шафер Д. Ф., Шафер Л. И. Управление про-

граммными проектами: достижение оптимального качества при ми-

нимальных затратах. Пер. с англ. - М.: Вильяме.

2003.

Липаев В.В. Тестирование крупных комплексов программ на

соответствие требованиям. Учебник. - М.: Глобус. 2008.

6. Дастин Э., Рэшка Д., Пол Д. Автоматизированное тести-

рование программного обеспечения. Внедрение, управление и экс-

плуатация. Пер. с англ. - М. ЛОРИ.

2003.

Липаев В.В. Человеческие факторы в программной инже-

нерии: рекомендации и требования к профессиональной квалифи-

кации специалистов. Учебник. - М.: СИНТЕГ. 2009.

Дополнительная литература

8. Блэк Р. Ключевые процессы тестирования. Пер. с англ. - М:

ЛОРИ. 2006.

9. Вигерс К.И. Разработка требований к программному обеспе-

чению. Пер. с англ. - М.: Русская редакция. 2004.

10.

Гецци К., Джазайери М., Мандриоли Д. Основы инженерии

программного обеспечения. Пер. с англ. - СПб.: БХВ-Петербург.

2005.

11.

Костогрызов А.И., Липаев В.В. Сертификация качества

функционирования автоматизированных информационных систем.

М.: Изд. Вооружение. Политика. Конверсия. 1996.

12.

Коберн А. Современные методы описания требований к сис-

темам. Пер. с англ. - М.: Лори.2002.

13.

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

средств. - М.: СИНТЕГ. 2004.

14.

Липаев В.В. Анализ и сокращение рисков проектов сложных

336

В. В.

Липаев.

Сертификация программных

средств

программных средств. - М: СИНТЕГ. 2004.

15.

Оценка и аттестация зрелости процессов создания и сопро-

вождения программных средств и информационных систем (ISO/IEC

TR 15504 - СММ). -

М.:

Книга

бизнес. 2001.

16.

Соммервилл И. Инженерия программного обеспечения. 6-е

издание. Пер. с англ. - М.: Вильяме. 2002.

17.

Трубачев А.П., Долинин М.Ю., Кобзарь М.Т. и др. Оценка

безопасности информационных технологий. Общие критерии. Пер. с

англ.

Под ред. В.А. Галатенко. -

М.:

СИП РИА, 2001.

18.

Тэллес М., Хсих Ю. Наука отладки. Пер. с англ. -

М.:

Кудиц-

образ. 2003.

Об

авторе

337

ОБ АВТОРЕ

Владимир Васильевич Липаев - профессор, главный научный

сотрудник Института системного программирования РАН (с 1995 г.).

Окончил физический факультет МГУ в 1950 году. С 1954 по 1988 год

работал в Московском НИИ приборной автоматики, в последние го-

ды - Главным конструктором Министерства радиопромышленности

СССР по автоматизации проектирования программного обеспечения,

руководителем комплексного проекта «Прометей», по технологии

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

систем реального времени.

Около 50 лет занимается исследованиями и разработкой про-

граммных комплексов для систем обработки радиолокационной ин-

формации, методов и инструментальных средств для создания управ-

ляющих программных продуктов реального времени высокого каче-

ства. Под его руководством разработан ряд больших инструменталь-

ных системы программной инженерии для автоматизации технологи-

ческих процессов жизненного цикла сложных комплексов программ,

широко использовавшихся в оборонной промышленности.

С 1970-го года им издано более 40 монографий и учебных посо-

бий в области методов, технологий, инструментальных средств, сер-

тификации и стандартизации программной инженерии. В последние

годы опубликовал два учебника для вузов по программной инжене-

рии и по тестированию крупных комплексов программ реального

времени, а также цикл из двенадцати монографий, для углубленного

освоения стандартизированных этапов, методов и процессов про-

мышленного производства крупных программных продуктов. Более

30 лет читал курсы лекций по программной инженерии в МИФИ,

МИРЭА, МФТИ.

В 1957 году защитил кандидатскую, а в 1965 году - докторскую

диссертацию, с 1970 года - профессор. Награжден орденами: Крас-

ной Звезды (1977 г.) и Трудового красного знамени (1988 г.). Заслу-

женный деятель науки и техники РСФСР (1983 г.), Лауреат премии

Совета министров СССР (1985 г.), Лауреат премии Правительства

Российской Федерации в области образования (2001 г.).

Книги издательства СИНТЕГ

(СИНТЕГ - аббревиатура слов «Системный ИНТЕГратор»)

Сдвинуты влево и дополнены знаком

"•"

коды, где тираж

закончился или от тиража остались отдельные экз. книг.

Код

Автор.

Наименование книги

Формат*Объем, с.» 1

Тираж*Год выпуска*

Кол.

книг в пачке*

ISBN*

Обложка: М-мягк./Т-тверд.

Системы и проблемы управления |

03*

18*

25*

26*

100

104

108

Управление большими системами. Мате-

риалы Международной научно-практической

конференции. Общая редакция - Бурков

В.Н., Новиков Д.А.

Прангишвили И.В., Абрамова Н.А., Спири-

донов В.Ф., Коврига СВ., Разбегин В.П.

Поиск подходов к решению проблем.

Международная конференция по проблемам

управления (29 июня - 2 июля 1999 года).

ИПУ РАН - 60 лет. Избранные труды. В двух

томах.

Прангишвили И.В. Системный подход и об-

щесистемные закономерности.

Фридман Л.М. Основы проблемологии.

Косяков Ю.Б. Мой мозг: строение, принципы

работы,

моделирование.

Прангишвили И.В., Бурков В.Н., Горгидзе

И.А., Джавахадзе Г.С, Хуродзе Р.А. Сис-

темные закономерности и системная оптими-

зация.

Райков

A.H.

Лепесток

опоры,

или филосо-

фия решений.

Кубышкин В.А., Финягина В.И. Подвижное

управление в системах с распределенными

параметрами

Новиков A.M., Новиков Д.А. Методология.

Учебно-методическое пособие.

Истомин А.Л. Исследование операций в

управлении вузом. Учебное пособие.

Шарова Е.В., Новикова М.Р., Куликов М.А.

Компенсаторные реакции головного мозга

при остром стволовом повреждении.

А5*432*1000*1997*10*

ISBN 5-89638-001-1*М

А5*284*1000*1999*16*

ISBN 5-89638-018-6*М

Т1:А5*316*600*1999*12*

ISBN 5-89638-025-9.M

Т2:А5*312*600*1999*16*

ISBN 5-89638-026-7*M

А5*528*1500*2000*8*

ISBN 5-89638-042-9*T

А5*228*1000*2001*24*

ISBN 5-89638-043-7*M

А5*164*1500*2001*30*

ISBN 5-89638-049-6*M

А5*208*500*2004*16*

ISBN 5-89638-072-0*T

А5*56*1000*2004*60*

ISBN 5-89638-079-8*M

А5*240*750*2005*14*

ISBN 5-89638-089-5*T

А5*348*2000*2007*6*

ISBN 978-5-89638-100-6*Т

А5*272*750*2008*16*

ISBN 978-5-89638-104-4*Т

А5*228*500*2009*16*

ISBN 978-5-89638-108-2*Т

Компьютерная поддержка принятия решений |

05*

Трахтенгерц. Э.А. Компьютерная поддержка

принятия решений.

Трахтенгерц Э.А. Субъективность в компью-

терной поддержке управленческих решений

А5*376*3000*1998*16*

ISBN 5-89638-003-8*M

А5*256*1500*2001*16*

ISBN 5-89638-041-0*М

Код

103*

111

112

Автор.

Наименование книги

Трахтенгерц Э.А. Компьютерная поддержка

переговоров при согласовании управленче-

ских решений.

Трахтенгерц Э.А., Шершаков В.М., Камаев

Д.А. Компьютерная поддержка управления

ликвидацией последствий радиационного

воздействия.

Трахтенгерц Э.А. Компьютерная поддержка

формирования целей и стратегий.

Трахтенгерц Э.А., Степин Ю.П., Андреев

А.Ф.

Компьютерная поддержка принятия

управленческих решений в нефтегазовой

промышленности.

Трахтенгерц Э.А., Степин Ю.П. Методы

ком-

пьютерной поддержки формирования целей

и стратегий в нефтегазовой промышленности

Трахтенгерц Э.А., Иванилов Е.Л., Юркевич

Е.В. Современные компьютерные технологии

управления информационно-аналитической

деятельностью.

Трахтенгерц Э.А. Компьютерные методы

реализации экономических и информацион-

ных управленческих решений. В 2-х томах.

Том 1. Методы и средства.

Том 2. Реализация решений.

Формат*Объем, е.*

Тираж*Год выпуска»

Кол.

книг в пачке*

ISBN*

Обложка: М-мягк./Т-тверд.

А5*284*1500*2003*18*

ISBN 5-89638-062-3*М

А5*464*1000*2004*8*

ISBN 5-89638-071-2*Т

А5*224*1000*2005*16*

ISBN 5-89638-084-4*T

А5*592*750*2005*8*

ISBN 5-89638-090-9*T

А5*348*500*2007*14*

ISBN 978-5-89638-099-3*T

А5*372*500*2007*12*

ISBN 978-5-89638-103-7*Т

Том

1 + Том

ISBN 978-5-89638-113-6

А5*168*500*2009*6*

ISBN 978-5-89638-111-2*Т

А5*232*500*2009*6*

ISBN 978-5-89638-112-9*Т

3. Управление организационными системами |

22*

23*

24*

Теория активных систем. Труды Юбилейной

международной научно-практической конфе-

ренции.

Общая редакция - Бурков В.Н., Но-

виков

Д.

А.

Бурков В.Н., Новиков Д.А. Теория активных

систем.

Состояние и перспективы. Учебное

пособие.

Новиков Д.А., Петраков С.Н. Курс теории

активных систем. Учебное пособие.

Бурков В.Н., Заложнев А.Ю., Новиков Д.А.

Теория графов в управлении организацион-

ными системами. Учебное пособие.

Юдицкий С.А. Сценарный подход к модели-

рованию поведения бизнес-систем.

Губко М.В., Новиков Д.А. Теория игр в

управлении организационными системами.

Учебное пособие.

Новиков Д.А., Чхартишвили А.Г. Рефлек-

сивные игры.

Новиков Д.А. Стимулирование в организа-

ционных системах. Учебное пособие.

А5*320*600*1999*16*

ISBN 5-89638-021-6*М

А5*128*1000*1999*20*

ISBN 5-89638-022-4*M

А5*108*1200*1999*40*

ISBN 5-89638-023-2*M

А5*124*1500*2001*24*

ISBN 5-89638-055-0*T

А5*112*1500*2001-4*40*

ISBN 5-89638-054-2*M

А5*148*1000*2002*20*

ISBN 5-89638-057-7*T

А5*160*1000*2003*20*

ISBN

5-89638-063-1

*Т

А5*312*500*2003*16*

ISBN 5-89638-065-8*T

Код

70»

Автор.

Наименование книги

Бурков В.Н., Новиков Д.А. Как управлять

организациями. Учебное пособие.

Бурков В.Н., Буркова И.В

др. Задачи

управления в социальных и экономических

системах. Учебное пособие.

Формат*Объем, с.» I

Тираж*Год выпуска*

Кол.

Книг в пачке» ISBN»

Обложка: М-мягк./Т-тверд.

А5*400*500*2004*10*

ISBN 5-89638-069-0*Т

А5*256*750*2005*16*

ISBN 5-89638-088-7*Т

4. Управление проектами |

01*

Бурков В.Н., B.H. Новиков B.H. Как управ-

лять проектами.

Симионова Н.Е. Управление реформирова-

нием строительной организации.

Смирнов B.C., Власов С.А., Ваулинский

Е.С., Лебедев Б.И. Методы и модели управ-

ления проектами в металлургии.

Бачурина С.С. Мегаполис: методы и модели

управления процессами комплексной рекон-

струкции сложившейся застройки.

А5*188*3000*1997*20*

ISBN 5-86639-029-9*M

А5*224*1000*1998*20*

ISBN 5-89638-012-7*M

А5*176*1500*2001*20*

ISBN 5-89638-048-8*T

А5*224*1000*2004-3*20*

ISBN 5-89638-081-Х*Т

5. Управление качеством программных средств |

07«

•

46*

65*

Липаев В.В. Документирование и управле-

ние конфигурацией программных средств.

Методы и стандарты.

Липаев В.В. Надежность программных

средств.

Липаев В.В. Системное проектирование

сложных программных средств для инфор-

мационных систем.

Липаев В.В. Обеспечение качества про-

граммных средств. Методы и стандарты.

Липаев В.В. Выбор и оценивание характери-

стик качества программных средств. Методы

и стандарты.

Липаев В.В. Системное проектирование

сложных программных средств для инфор-

мационных систем. Издание второе, перера-

ботанное и дополненное.

Липаев В.В. Фрагменты истории развития

отечественного программирования для спе-

циализированных ЭВМ в 50 - 80-е годы.

Липаев В.В. Методы обеспечения качества

крупномасштабных программных средств.

Липаев В.В. Функциональная безопасность

программных средств.

Липаев В.В. Технико-экономическое обосно-

вание проектов сложных программных

средств.

Липаев В.В. Анализ и сокращение рисков

проектов сложных программных средств.

Липаев В.В. Документирование сложных

программных средств.

А5*212*3000*1998*20*

ISBN 5-89638-004-6*M

А5*232*3000*1998*20*

ISBN 5-89638-008-9*M

А5*224*1400*1999*20*

ISBN 5-89638-019-4.М

А5*380*1000*2001*12*

ISBN 5-89638-044-5*M

А5*228*1500*2001*20*

ISBN 5-89638-053-4*M

А5*268*1500*2002*20*

ISBN 5-89638-060-7*М

А5*132*500*2003*30*

ISBN 5-89638-064-X*M

А5*520*650*2003*8*

ISBN 5-89638-068-2*T

А5*348*500*2004-1*12*

ISBN 5-89638-070-4*T

А5*284*500*2004*12*

ISBN 5-89638-082-8*T

А5*224*1000*2005*16*

ISBN 5-89638-086-0*T

А5*216*750*2005*16*

ISBN 5-89638-091-7*T |