- •Восточно-сибирский государственный технологический университет
- •Метрология программного обеспечения
- •220400 «Программное обеспечение вычислительной техники и автоматизированных систем»
- •Введение
- •1. Роль стандартизации в развитии разработок в области информационных технологий.
- •1.1. Нормативно-методическая база стандартизации по
- •1.2. Основные направления стандартизации процессов разработки программных средств.
- •2. Стандартизация информационных технологий: состояние и перспективы развития.
- •2.1. Современное состояние стандартизации в мире
- •2.2. Состояние и проблемы стандартизации в России
- •3. Система показателей качественных и количественных характеристик программного продукта
- •3.1. Стандартизация характеристик качества
- •3.2. Выбор показателей качества
- •3.3. Оценки качества по
- •4. Модели и метрики оценки качества по
- •4.1. Оценка сопровождаемости программ.
- •4.2. Корректность
- •4.3. Метрики сложности программ
- •4.3.1. Метрики размера программ
- •4.3.2. Метрики сложности потока управления программ.
- •3.4.3. Метрики сложности потока данных
- •4.4. Модели надежности программ
- •4.4.1. Модели надежности по по структуре времени
- •4.4.2. Методы оценки числа оставшихся в по ошибок, основанные на метриках Холстеда
- •4.4.3. Методы оценки показателей надежности по, основанные на моделях «посева» и разметки ошибок и на моделях структуры входных данных.
- •4.4.4. Методы оценки, основанные на моделях структуры входных данных
- •4.4.5. Текстовые модели надежности по
- •4.5. Метрики стилистики и понятности программ
- •4.6. Метрика изменения длины программной документации.
- •4.7. Методы проведения контроля за качеством по
- •5. Сертификация программного обеспечения
- •5.1. Понятие сертификации
- •5.2. Виды сертификации программного обеспечения
- •5.3. Органы сертификации программного обеспечения в Российской Федерации
- •Список используемой литературы
Список используемой литературы
Липаев В.В. Управление разработкой программных средств: Методы, стандарты, технология. – М.: Финансы и статистика, 1993. – 160 с.: ил.
Васютович В. Состояние и перспективы развития стандартизации в области инормационных технологий и проектирования систем в России // Директор ИС. – 2001. - №8
Васютович В., Фаткин Н., Якимов О. Стандартизация IT и проектирования систем в России: состояние и перспективы развития // iBusiness. – 2002. - №9-10 – с. 32-35
Васютович В. Состояние и перспективы развития стандартизации в области информационных технологий и проектирования систем в России // Директор ИС. – 2001. - №8
Сертификация и качество программного обеспечения. Дистанционный курс обучения [Электрон. ресурс]./Сост.: Остривная Л.Г. – Способ доступа: URL: http://dl.sumdu.edu.ua/sertifikat. - Загл. с экрана.
Воас Д. Качество ПО: восемь мифов // Открытые системы. – 1999 - №9-10
Богданов Д.В., Путилов В.А., Фильчаков В.В. Стандартизация процессов обеспечения качества программного обеспечения- Аппатиты, КФ ПетрГУ, 1998 г. - 152 с
Богданов Д.В., Путилов В.А., Фильчаков В.В. Стандартизация процессов обеспечения качества программного обеспечения- Аппатиты, КФ ПетрГУ, 1998 г. - 152 с
Сертификация продукции. Международные стандарты и руководства ИСО/МЭК в области сертификации и управления качеством. – М.: Изд-во стандартов, 1990.
Липаев В.В. Управление разработкой программных средств: Методы, стандарты, технология. – М.: Финансы и статистика, 1993. – 160 с.: ил.
Липаев В.В. Тестирование программ. – М.: Радио и связь, 1986.
Липаев В.В. Управление разработкой программных средств: Методы, стандарты, технология. – М.: Финансы и статистика, 1993. – 160 с.: ил.
Сертификация продукции. Международные стандарты и руководства ИСО/МЭК в области сертификации и управления качеством. – М.: Изд-во стандартов, 1990.
Липаев В.В. Тестирование программ. – М.: Радио и связь, 1986.
Технология проектирования комплексов программ АСУ / Под ред. Ю.В. Асафьева, В.В. Липаева. – М.: Радио и связь, 1983.
Штрик А.А., Осовецкий Л.Г., Мессих И.Г. Структурное проектирование надежных программ встроенных ЭВМ. – Л.: Машиностроение, 1989.
Европейский стандарт EN 450014: Общие требования к декларации поставщика о соответствии. Москва, ВНИИС, 1993.
Воас Д. Процесс сертификации программ на базе информации об их использовании // Открытые системы. – 2000. - №10. – с. 4-6
Первая российская программа получила логотип "Designed for Microsoft Windows XP" [Электрон. ресурс]. / Способ доступа: URL: http://www.consultant.ru/News/PressXP . - Загл. с экрана.
Сертификация программных средств и информационных продуктов вычислительной техники [Электрон. ресурс]. / Способ доступа: URL: http://www.vniiki.ru/sertification_soft.asp
Система сертификации “РОСИНФОСЕРТ” [Электрон. ресурс]. / Способ доступа: URL: http://www.stankin.ru/rus_ver
Сертификация программных средств и баз данных [Электрон. ресурс]. / Способ доступа: URL: http://pserting.h1.ru/sertific.shtml
Колесов А. Россия пока не может позволить себе массовую компьютеризацию // Финансовые известия. – 1996. - №93. – С. 5
Сергеев А.П. Право интеллектуальной собственности в Российской Федерации. – М.: Теис, 1996. – 704с.
Еременко В.И., Подшибихин Л.И. Комментарий к закону Российской Федерации «О правовой охране программ для ЭВМ и баз данных» // Комментарий к законодательству об охране интеллектуальной собственности. – М.: Фонд «Правовая культура», 1997.
Еременко В.И., Подшибихин Л.И. Комментарий к закону Российской Федерации «О правовой охране программ для ЭВМ и баз данных» // Комментарий к законодательству об охране интеллектуальной собственности. – М.: Фонд «Правовая культура», 1997.
Еременко В.И., Подшибихин Л.И. Комментарий к закону Российской Федерации «О правовой охране программ для ЭВМ и баз данных» // Комментарий к законодательству об охране интеллектуальной собственности. – М.: Фонд «Правовая культура», 1997.
Еременко В.И., Подшибихин Л.И. Комментарий к закону Российской Федерации «О правовой охране программ для ЭВМ и баз данных» // Комментарий к законодательству об охране интеллектуальной собственности. – М.: Фонд «Правовая культура», 1997.
Ефимов А.В. Программа для ЭВМ как объект гражданского права // Юридический консультант, 1998. – №8
Майерс Г. Надежность программного обеспечения. М., Мир, 1980.
Липаев В.В. Оценка качества программных средств. http://www.interface.ru/ - 18.09.02
Стандартизация процессов обеспечения качества программного обеспечения. http://www.aanet.ru/ - 29.12.02
Липаев В.В. Качество программных средств. М., Янус-К, 2002.
Воас Д. Качество ПО: восемь мифов // Открытые системы. – 1999 - №9-10
Богданов Д.В., Путилов В.А., Фильчаков В.В. Стандартизация процессов обеспечения качества программного обеспечения- Аппатиты, КФ ПетрГУ, 1998 г. - 152 с
С. Черноножкин. Меры сложности программ (Обзор)//Системная информатика, № 5, Новосибирск: Наука, 1996, Вып. 5. - с.188-227.