Дмитрий Волканов / Даниил Зорин, 3й курс, mod-sem

На этом форуме публикуются и уточняются постановки задач студентам, а также отслеживается ход их выполнения

Модератор: staff

Закрыто
Бычков Иван
Аспирант
Сообщения: 179
Зарегистрирован: 23 сен 2008 01:19 pm

Дмитрий Волканов / Даниил Зорин, 3й курс, mod-sem

Сообщение Бычков Иван »

Тема:
Исследование эффективности моделей оценки надёжности (reliability growth models) компонентов стенда полунатурного моделирования.

Расшифровка темы:
При разработке ПО важно определить время готовности выпуска продукта и характеристики надёжности ПО. Для решения этих задач на основе статистики по отказам ПО используются различные модели оценки надёжности ПО.

Актуальность:
Несмотря на наличие большого количества моделей повышения надёжности критерии выбора этих моделей для конкретного проекта достаточно нечёткие.

Цель работы:
Оценить эффективность моделей повышения надёжности и сформулировать по возможности критерии выбора модели повышения надёжности для конкретного проекта и написать средство, позволяющее оценить количественные характеристики надёжности разрабатываемого ПО.

План работы:
1.Знакомство с предметной областью.
а)теория надёжности
b)Дополнительные материалы по теории вероятности
2.Обзор существующих моделей повышения надёжности
3.Обзор существующих методик выбора модели повышения надёжности для конкретного проекта
4.Аппробация на одном из инструментов стенда.

Ожидаемый результаты:
1. Обзор существующих моделей повышения надёжности
2. Аппробация на одном из инструментов стенда.
Даниил Зорин
Выпускник
Сообщения: 4
Зарегистрирован: 12 окт 2008 08:39 pm
Контактная информация:

Сообщение Даниил Зорин »

Выложил в trac отчет о проделанной работе и последние версии документов.
Ссылка:
Здесь

Текущие результаты доступны на моей странице в trac:
https://trac.lvk.cs.msu.su/modsem/wiki/DaniilZorin-3

Копирую текст также сюда:


Отчет о научной работе за пятый семестр по курсовой работе по теме:
«Исследование применимости моделей оценки надёжности для разработки программного обеспечения БВС»
Студента 322 группы
Зорина Даниила Александровича

Научный руководитель:
Ассистент Волканов Дмитрий Юрьевич.

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

Обоснование актуальности задачи:
Несмотря на то, что в литературе рассмотрено множество моделей оценки надёжности, критерии выбора этих моделей для конкретного проекта достаточно нечёткие. Соответственно, для применения моделей оценки надежности и получения адекватных результатов необходимо найти способ сравнивать модели между собой и выбирать наиболее подходящую.

Текущие результаты:
Основным результатом за прошедший семестр является написанный обзор существующих моделей оценки надежности. Для этого прочитано две книги по данной теме и несколько статей и отчетов. Во время изучения материала были повторены и более детально изучены определенные разделы теории вероятностей и статистики.
Описан набор данных о тестировании, необходимы для исследования. Определены границы применимости моделей оценки надежности.
Создано общее описание программной реализации.
Разработана методика выбора модели оценки надёжности
Сделан доклад на спецсеминаре.

Планы на весенний семестр:
Реализовать программно некоторые из описанных в обзоре моделей.
Реализовать алгоритм выбора наилучшей модели.
Апробировать программу на статистике тестирования реального проекта.
Сделать выводы о необходимости усовершенствования методики выбора моделей.


Литература:

1.M.Xie Software Reliability Modelling. World Scientific, 1991
2.M.Limnios, N.Nikulin Recent Advances in Reliability Theory. Birkhäuser, 2000
3.C.Stringfellow An Empirical Method for Selecting Software Reliability Growth Models // Empirical Software Engineering. 2002. с.319-343
4.S.Yamada, H.Ohtera Software Reliability Growth Models with Testing Effort // IEEE Trans. On Reliability. 1986. vol. R-35. №1. с. 19-35
5.C.Huang, M.Lyu A Unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation // IEEE transactions on software engineering. 2003. 29. №3.
6.S.Alam Software Reliability Using Markov Chain Usage Model. Dhaka, Bangladesh: Depatment of Computer Science and engineering Bangladesh University of Engineering and Technology, 2005
7.M.Lyu Software Reliability Engineering: A Roadmap. 2007
8.B.Littlewood How to measure software reliability, and how not to // Proc. 3rd Int. Conf. Software Engineering.1978. с.37-45.
9.A.Wood Software Reliability Growth Models. Technical Report, 1996
10.Ширяев А. Н. Вероятность. М.: МЦНМО, 2004.
Даниил Зорин
Выпускник
Сообщения: 4
Зарегистрирован: 12 окт 2008 08:39 pm
Контактная информация:

Сообщение Даниил Зорин »

Отчет о научной работе за сентябрь — март по курсовой работе по теме:
«Исследование применимости моделей оценки надёжности для разработки программного обеспечения с открытым исходным кодом»
Студента 322 группы
Зорина Даниила Александровича

Научный руководитель:
Ассистент Волканов Дмитрий Юрьевич.

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

Обоснование актуальности задачи:
Несмотря на то, что в литературе рассмотрено множество моделей оценки надёжности, критерии выбора этих моделей для конкретного проекта нечёткие. Соответственно, для применения моделей оценки надежности и получения адекватных результатов необходимо найти способ сравнивать модели между собой и выбирать наиболее подходящую. Выбор моделей невозможен в отрыве от конкретной предметной области. В настоящее время широко распространена разработка программного обеспечения с открытым исходным кодом. Автору известна лишь одна работа, посвященная проблеме выбора модели оценки надежности для таких проектов.

Текущие результаты:
1. Написан обзор предметной области. Для этого был изучен общий математический аппарат, применяющийся при исследованиях, связанных с моделями оценки надежности, после чего рассмотрены различные существующие модели, обращая внимание на формальную математическую постановку, данные, получающиеся в результате расчетов, ограничения, которым должен соответствовать проект, чтобы модель была применима и преимущества/недостатки перед другими моделями.
2. Для подготовки к практическому исследованию:
1. Из рассмотренных моделей выбраны нескольких наиболее часто используемых и основанных на различных изначальных предположениях.
2. Сформулированы требования, какая статистика по проекту должна быть доступна для исследования.
3. Описан алгоритм выбора наиболее подходящей модели оценки надежности.
4. Выбраны проекты для анализа. В качестве основного проекта взят проект Eclipse, дополнительные проеты — Mozilla Firefox и Linux Kernel
3. Разработано программное средство, позволяющее:
1. Рассчитывать оценки параметров по выбраным моделям.
2. Рассчитывать точность моделей и выбирать наилучшую.
3. Выводить результаты в наглядном виде (график, XML)

Планы на оставшуюся часть весеннего семестра:
1. Разработка и реализация программы, загружающей статистику из Bugzilla
2.Проведение экспериментов. Загрузка статистики и практическое применение реализованных моделей. Результатом должно быть сравнение моделей на примере выбранного проекта и вывод о применимости той или иной модели в рассматриваемой ситуации.
3.Сделать выводы о необходимости усовершенствования алгоритма выбора модели.


Литература:
[Al-Ekram2002] R.Al-Ekram Software Reliability Growth Modeling and Prediction 2002
[Alam2005] S.Alam Software Reliability Using Markov Chain Usage Model. Dhaka, Bangladesh: Depatment of Computer Science and engineering Bangladesh University of Engineering and Technology, 2005
[Farr] W.Farr Software Reliability Modelling Survey.
[Huang2003] C.Huang, M.Lyu A Unified Scheme of Some Nonhomogenous Poisson Process Models for 6. Software Reliability Estimation // IEEE transactions on software engineering. 2003. 29. №3.
[Kapur] P.K.Kapur Software reliability growth and innovation diffusion models: an interface
[Limnios2000] M.Limnios, N.Nikulin Recent Advances in Reliability Theory. Birkhäuser, 2000
[Littlewood] B.Littlewood How to measure software reliability, and how not to.
[Lyu2007] M.Lyu Software Reliability Engineering: A Roadmap. 2007
[Musa] J.D.Musa, K.Okumoto A logarithmic Poisson Execution time model for software reliability measurement
[Ohba] M.Ohba, X.Chou Does imperfect debugging affect software reliability growth
[Stringfellow] C.Stringfellow An Empirical Method for Selecting Software Reliability Growth Models.
[Wood96] A.Wood Software Reliability Growth Models. Technical Report, 1996
[Xie91] M.Xie Software Reliability Modelling. World Scientific, 1991
[Yamada] S.Yamada, H.Ohtera Software Reliability Growth Models with Testing Effort.
[Ширяев2004] Ширяев А. Н. Вероятность. М.: МЦНМО, 2004.
[得能2006] 得能貢一、山田茂 マルコフモデルに基づくソフトウェアの運用信頼性評価法と最適リリース問題への応用。 鳥取大学工学部社会開発システム工学科、2006.
[梅田2008] 梅田浩志 信頼度成長モデルを用いての信頼度成長曲線の作図プログラム作成。
鳥取環境大学環境情報学部情報システム学科、 2008
[田村] 田村慶信、山田茂、木村光宏 デスクトップ環境におけるソフトウエア信頼性評価法に関する一考察
Закрыто