41239

ЕМПІРИЧНА ІНЖЕНЕРІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Лекция

Информатика, кибернетика и программирование

Місце емпіричної інженерії програмного забезпечення в інженерії програмного забезпечення. Предмет та метод емпіричної інженерії програмного забезпечення. Емпіричні дослідження програмного забезпечення.

Украинкский

2013-10-23

48 KB

164 чел.

ЛЕКЦІЯ 1

ЕМПІРИЧНА ІНЖЕНЕРІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

  1.  Інженерія програмного забезпечення: пряма, зворотна, емпірична. Емпіричні та теоретичні дослідження. Місце емпіричної інженерії програмного забезпечення в інженерії програмного забезпечення.
  2.  Предмет та метод емпіричної інженерії програмного забезпечення. Емпіричні дослідження програмного забезпечення. Історія розвитку емпіричної інженерії програмного забезпечення. Методи емпіричної інженерії програмного забезпечення.
  3.  Структура емпіричних досліджень програмного забезпечення. Схема проведення емпіричних досліджень. Планування емпіричних досліджень програмного забезпечення. Формулювання гіпотези. Проведення оглядів попередніх досліджень.

ЛЕКЦІЯ 2

МЕТОДИ ЕМПІРИЧНОЇ ІНЖЕНЕРІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

  1.  Загально наукові методи емпіричного пізнання: спостереження, експеримент, вимірювання. Загально наукові методи теоретичного пізнання: абстрагування, ідеалізація, аксіоматичний метод, метод гіпотези. Загально наукові методи емпіричного та теоретичного пізнання: аналіз, синтез, індукція, дедукція, аналогія, моделювання.
  2.  Конкретно наукові методи емпіричного пізнання інженерії програмного забезпечення. Контрольовані експерименти. Дослідження ситуацій. Дослідження-огляди. Інші методи емпіричної інженерії програмного забезпечення.

ЛЕКЦІЯ 3

ВИМІРЮВАННЯ – ОСНОВНИЙ МЕТОД ДЛЯ ЗБОРУ ДАНИХ

  1.  Методики збору даних. Вимірювання програмного забезпечення – основна методика збору даних.
  2.  Метрики програмного забезпечення. Класифікація метрик: прямі та непрямі, зовнішні та внутрішні метрики. Визначення зв’язків між прямими та непрямими метриками за допомогою підходу GQM.
  3.  Вимірювання внутрішніх атрибутів продукту: розміру (довжини, повторного використання, функціональності, складності) та структури (потоку управління програм, потоку даних, об’єктно-орієнтовані). Вимірювання зовнішніх атрибутів продукту – якість програмного забезпечення. Вимірювання та прогноз.

ЛЕКЦІЯ 4

СТАТИСТИЧНА ОБРОБКА ДАНИХ

  1.  Первинний статистичний аналіз. Вибірка. Побудова гістограми. Відтворення розподілів. Аналіз неперервних та дискретних даних. Нормальний закон розподілу. Математичне сподівання, середнє квадратичне відхилення, дисперсія. Вилучення аномальних значень. Критерії однорідності та незалежності. Перевірка гіпотез. Перевірка гіпотези про вид розподілу.
  2.  Кореляційний аналіз. Обчислення коефіцієнтів кореляції. Парна рангова кореляція. Методи параметричної та непараметричної статистики.
  3.  Регресійний аналіз: лінійний та нелінійний. Побудова лінії регресії: метод найменших квадратів, ортогональні поліноми Чебишева, зведення лінійний залежностей до нелінійних, ітераційні процедури. Оцінка параметрів регресії. Дисперсійний аналіз. Багатовимірний регресійний аналіз. Статистичні висновки.

ЛЕКЦІЯ 5

ЗАСОБИ АВТОМАТИЗАЦІЇ ЕМПІРИЧНИХ ДОСЛІДЖЕНЬ

  1.  Автоматизація збору даних. Автоматизація вимірювання. Вимірювачі програмного забезпечення: Analist4j, CCCC, HPMas, iPlasma.
  2.  Засоби для обробки результатів вимірювань програмного забезпечення: математичні програмні середовища MatLab, MatCad, Maple, Mathematica, MS Excel; статистичні програмні середовища загального призначення Statistica, SPSS, SAS, Systat, Minitab, Statgraphics.
  3.  Автоматизація аналізу даних. Використання CAESE-засобів для емпіричної інженерії програмного забезпечення. Особливості та структура CAESE-засобів. Відмінності між CASE та CAESE засобами. CAESE – засоби: Ginger 2, Erix, Emerald, GQM tool, Software quality improvement tool by Tian, Troster, Pаlma, Testing, Composition languagesKoala, Data mining, VizzAnalizer.

СПИСОК ОСНОВНОЇ РЕКОМЕНДОВАНОЇ ЛІТЕРАТУРИ

  1.  Forrest Shull, Janice Singer, Dag I.K. Sjoberg Guide to Advanced Empirical Software Engineering. – Springer-Verlag London Limited 2008.-394p.
  2.  Norman E. Fenton, Shari Lawrence Pfleeger Software Metrics: A Rigorous and Practical Approach.- Cambridge University Press,1996.-638p.
  3.  Соммервил Иан, Инженерия программного обеспечения, 6-е издание. : Пер. с англ. – М. : Издательский дом «Вильямс», 2002. – 624 с. : ил. – Парал. тит. англ.
  4.  John C. Munson Software Engineering Measurement. Auerbach Publications, 2003.- 443 p.
  5.  Вентцель Е.С. Теория вероятностей: Учеб. для вузов. – 7-е изд. стер. – М.: Высш. шк., 2001. – 575 с.: ил.


 

А также другие работы, которые могут Вас заинтересовать

31841. Направления повышения эффективности управления активными операциями ОАО Банк «Финансы и Кредит» 986.5 KB
  Обеспеченность имеет целью с помощью гарантии или залога защитить интересы банка и обезопасится от убытков в случае невозврата долга вследствие неплатежеспособности заемщика 6. Оценка личных качеств руководителей фирмы КЛАССИФИКАЦИЯ БАНКОВСКИХ КРЕДИТОВ 1 по основным категориям заемщиков отраслям народного хозяйства населению государственным органам власти производственные пополнения оборотных средств и основных средств потребительские на потребительские цели населения срочные предоставлены на определенный в договоре срок: ...
31842. АКЦИЗНИЙ ПОДАТОК 2.72 MB
  Сутність акцизного податку. Субєкти та обєкти оподаткування акцизним податком. Види підакцизних товарів та ставки податку. Порядок обчислення сум податку які підлягають сплаті до бюджету.
31845. «Лексика с семантикой эстетической оценки в трилогии Л.Н. Толстого “Детство. Отрочество. Юность”». (опыт анализа частотности и семантики) 493 KB
  Алтухов Лексика с семантикой эстетической оценки в трилогии Л. Место и значение эстетической рефлексии и оценки в трилогии Л. Лексические единицы с семантикой положительной эстетической оценки в трилогии Льва Николаевича Толстого Детство. Лексические единицы с семантикой отрицательной эстетической оценки в трилогии Льва Николаевича Толстого Детство.
31846. Разработка рекомендаций по повышению эффективности ресурсной политики ПАО АКБ «Аркада» 1.9 MB
  1 Банковские ресурсы и ресурсная политика банка. Нормативно-правовая база регулирующая деятельность коммерческого банка по формированию ресурсов. Анализ ресурсной политики банка на примере ПАО АКБ Аркада. Структурно-динамический анализ ресурсов банка ПАО АКБ Аркада.
31847. Политика управления кредитным риском и методами оценки кредитоспособности заемщика ОАО Банк «Финансы и Кредит» 1.48 MB
  Экономическая сущность понятие и необходимость осуществления анализа кредитоспособности заемщика и методы оценки кредитного риска. Кредитный риск и его источники Сравнительная характеристика методик оценки кредитного риска. Нормативноправовое регулирование кредитных рисков и оценки кредитоспособности заемщика коммерческого банка Анализ кредитоспособности заемщика и оценка кредитного риска.
31848. Комплементарная логика на транзисторах металл-оксид (К-МОП) 429.5 KB
  С приходом переключающих запускающих сигналов переход триггера из одного состояния в другое происходит лавинообразно и потенциалы на выходах меняются на противоположные. В интервале между переключающими сигналами состояние триггера не меняется т. При лавинообразных переключениях на выходе триггера формируются прямоугольные импульсы с крутыми фронтами. При двух последовательных переключениях триггера на выходе формируется один импульс т.