Разработка методики количественной оценки «анализируемости» программных продуктов
Диссертация
На основании проведенного анализа состояния вопроса, в области оценивания и контроля «анализируемости» программных продуктов, выявлены основные недостатки существующих подходов, при анализе которых стала очевидна необходимость в формализованном определении «анализируемости», что и было сделано при помощи введения понятия, а — анализируемости и его формализованном определении. Предоставлен… Читать ещё >
Содержание
- Глава 1. Анализ проблемы оценки качества программного обеспечения
- Основные понятия и определения предметной области
- Состояние проблемы
- Определение понятия качества
- Международные стандарты оценки качества ПС
- Характеристики качества ПС
- Метрики характеристик качества ПС
- Цена качества
- Постановка задачи диссертационного исследования
- Выводы по главе 1
- Глава 2. Разработка методики количественной оценки, а — анализируемости программных продуктов
- Метрический анализ программного кода
- Запутывания программного кода (обфускация)
- Анализ метрик программного кода, запутывающих преобразований, анализируемости и их взаимного влияния
- Методика количественной оценки, а — анализируемости программных продуктов
- Формализация и определение понятия, а — анализируемость
- Требования к методике
- Разработка методики
- Разработка распознавателя
- Выводы по главе 2
- Глава 3. Разработка программного комплекса для количественной оценки, а — анализируемости программных продуктов на основе разработанной методики, методов и алгоритмов
- Алгоритм функционирования программного комплекса
- Разработка программного комплекса
- Функциональные возможности разработанной системы
- Выводы по главе 3
- Глава 4. Применение разработанных методик, методов, алгоритмов и программного комплекса для решения практических задач
- Проведение эксперимента
- Цели и задачи эксперимента
- Условия проведения эксперимента
- Ход и результаты эксперимента
- Анализ результатов эксперимента
- Возможные применения результатов диссертации
- Выводы по главе 4
Список литературы
- Большой Российский энциклопедический словарь. М.: Изд-во Большая Российская энциклопедия, 2007 г.
- ГОСТ 28 806–90. Качество программных средств. М.: Изд-во стандартов, 1991 г.
- ГОСТ Р ИСО/МЭК 9126 93. Информационная технология. Оценка программной продукции. Характеристики качества и руководство по их применению. М.: Изд-во стандартов, 1994 г.
- Крайер Э. Успешная сертификация на соответствие нормам ИСО серии 9000: Пер. с нем. М.: Изд-во ИЗДАТ, 1999 г.
- Липаев В.В. Оценка качества программных средств. Сетевой журнал — 2002 г., № 3 Электронный ресурс. Режим доступа: http://www.setevoi.rU/cgi-bin/text.pl/magazines/2002/3/52, свободный.
- Липаев В.В. Стандартизация характеристик и оценивания качества программных средств Приложение к журналу «Информационные технологии», 2001 г., № 4.
- Липаев В.В. Методы обеспечения качества крупномасштабных программных средств. М.: Изд-во Синтег, 2003 г.
- Липаев В.В. Выбор и оценивание характеристик качества программных средств. М.: Изд-во Синтег, 2001 г.
- Douglas L. Java Control Flow Obfuscation. A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Computer Science. University of Auckland. June 3, 1998 r.
- Романов В. Ю. Статический анализ программ. Метрики для измерения качества программного обеспечения. Электронный ресурс. Режим доступа: http://old.master.cmc.msu.ru/romanov/russian/pub/MartinMetrics.html, свободный.
- Christian С., Ginger М., Michael S. An Empirical Study of Java Bytecode Programs Электронный ресурс. Режим доступа: ftp://ftp.cs.arizona.edu/reports/2004/TR04-ll.pdf, свободный.
- Christian С., Clark Т., Gregg М. Dynamic Graph-Based Software Watermarking Электронный ресурс. Режим доступа: ftp://ftp.cs.arizona.edu/reports/2004/TR04−08.pdf, свободный.
- Christian С., Kelly Н. The Obfuscation Executive Электронный ресурс. -Режим доступа: ftp://ftp.cs.arizona.edu/reports/2004/TR04−03.pdf, свободный.
- Christian С., Clark Т., Douglas L. Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs. Электронный ресурс. Режим доступа: http://www.cs.arizona.edu/~collberg/Research/Publications/CollbergThombors onLow98a/A4.pdf, свободный.
- Lai H. A comparative survey of Java obfuscators available on the Internet. Электронный ресурс. Режим доступа: http://www.cs.auckland.ac.nz/~cthombor/Students/hIai/hongying.pdf, свободный.
- Чернов А. В., Анализ запутывающих преобразований программ. Труды Института Системного программирования РАН Электронный ресурс. -Режим доступа: http://www.citforum.ru/security/articles/analysis, свободный.
- Лифшиц Ю. Запутывание (обфускация) программ. Обзор. 19 декабря 2004 г. Электронный ресурс. Режим доступа: http://logic.pdmi.ras.ru/~yura/papers/lifshits2005obfuscation, свободный.
- Уоссермен Ф. Нейрокомпьютерная техника: Теория и практика. Перевод на русский язык, Ю. А. Зуев, В. А. Точенов, М.: Изд-во Мир, 1992 г.
- Яхъяева. Г. Э. Нечеткие множества и нейронные сети. М.: Изд-ва БИНОМ. Лаборатория знаний, Интернет-университет информационных технологий. 2008 г.
- Kevin S. Applying Neural Networks: A practical Guide. Publisher: Morgan Kaufmann- 1996 r.
- Терехов А. А., Туньон В. Современные модели качества программного обеспечения. BYTE/Россия, 1999 г., № 12.
- Аншина М. Страсти по качеству. Открытые системы 1998 г., № 6. Электронный ресурс. — Режим доступа: http://www.osp.rU/os/l 998/06/179 607/, свободный.
- Jeffrey V., Software Quality’s Eight Greatest Myths. IEEE Software -September/October 1999 r.
- IEEE Std 982.1 2005 IEEE Standard Dictionary of Measures of the Software Aspects of Dependability. ISBN: 0−7381−4846−6. Publication Date: 2006 r.
- IEEE Std 1012−1998 IEEE Standard for Software Verification and Validation. ISBN: 0−7381−0196−6. Publication Date: 20 Jul 1998 r.
- IEEE Standard for Software Verification and Validation Supplement to 10 121 998 — Content Map to IEEE 12 207.1. ISBN: 0−7381−1425−1. Publication Date: 21 Dec 1998 r.
- Сборник действующих международных стандартов ИСО серии 9000. Т. 1, 2, 3. М.: Изд-во ВНИИКИ, 1998 г.
- John J. Marciniak, Encyclopedia of Software Engineering, 2 Volume Set, 2nd Edition. ISBN: 978−0-471−37 737−5. Publication Date: January 2002 r.
- Глудкин О.П., Горбунов H.M., Гуров А. И., Зорин Ю. В. Всеобщее управление качеством: Учебник для вузов. М.: Изд-во Радио и связь, 1999 г.
- Гличев А.В. Основы управления качеством продукции. М.: Изд-во МАИ, 1998 г.
- Кулямин В. В. Технологии программирования. Компонентный подход Лекция 5. Качество ПО и методы его контроля Электронный ресурс. -Режим доступа: http://panda.ispras.ru/~kuliamin/sdt-course.html, свободный.
- Роберт У. Себеста Основные концепции языков программирования. Concepts of Programming Languages. — 5-е изд. — М.: Изд-во Вильяме, 2001 г.
- Гради Буч, Объектно-ориентированный анализ и проектирование с примерами приложений на С++. М.: Изд-во Бином, 1998 г.
- Антошина И.В., Домрачев В. Г., Ретинская И. В. Основные тенденции оценивания качества программных средств. Качество, инновации, образование № 4, 2002 г.
- Воробьев В.И., Копыльцов А. В., Пальчук Б. П., Юсупов P.M. Методы и модели оценивания качества программного обеспечения. С-Пб.: Изд-во СПИИРАН 1992 г.
- The International Obfuscated С Code Contest. Электронный ресурс. -Режим доступа: http://www.ioccc.org, свободный.
- Вайнштейн В., Македонский М., Попов А. Управление качеством в процессах разработки программного обеспечения. Компьютера 2003 г. № 4.
- Wheeler Sh., Duggins Sh., Improving Software Quality. ACM Proceedings of the 36th Annual Conference on South-East Regional Conference, April 1998 r.
- Eric В. Baum, David Н., What Size Net Gives Valid Generalization, MIT Press Cambridge, MA, USA, Neural Computation Spring 1989, Vol. 1, No. 1.
- Изосимов A.B., Рыжко А. Л., Метрическая оценка качества программ, М.: Изд-во МАИ, 1989 г.
- Холстед М.Х. Начала науки о программах. М.: Изд-во Финансы и статистика 1981 г.
- John С. Munson. Software Engineering Measurement. Auerbach Publications. Publication Date: 2003 r.
- Chidamber S.R., Kemerer C.F. A Metric Suite for Object Oriented Design. IEEE Transactions on Software Engineering vol. 20, no. 6. Publication Date: 1994 r.
- Горбань A.H. Обучение нейронных сетей. M.: Изд-во СП Параграф, 1990 г. 5 4. Благо датских В.А., Волнин В. А., Поскакалов К. Ф. Стандартизация разработки программных средств. М.: Изд-во Финансы и статистика, 2006 г.
- Макконнелл С. Совершенный код. Мастер класс., пер. с англ., М: Изд-во Русская редакция, 2007 г.
- Стружков С.А. Практическое применение методики количественной оценки «анализируемости» программных продуктов. Труды всероссийской научно-практической конференции «Транспорт России: проблемы и перспективы». М., 2009 г.
- Стружков С.А. Проблема формализации базовых показателей качества программного обеспечения на примере «сопровождаемости». Труды всероссийской научно-практической конференции «Транспорт России: проблемы и перспективы». М., 2008 г.